u=x (symbol @) y
The "at sign" $@$ is used as infix notation for a "formal" Lie multiplication (and also formal multiplication by scalars) where no simplifications are performed. (The formal addition is written as ++ and / is used as formal subtraction.) In this sense, it is different from the use of SPACE as multiplication operator, which always gives an object of normal form as output. The formal operations are useful when relations are introduced in a big free Lie algebra, since then it might be too hard to compute the normal form of the relations, which is not needed in order to define a quotient Lie algebra. For an example, see Minimal models, Extalgebras and Koszul duals.


