Notes for AKT-091006/0:36:44

Check that [math]\displaystyle{ W_{\mathcal{G}, R} }[/math] satisfies AS, IHX and STU relations. (They are all encoded in the Lie-algebra structure)