Formal multiplication by scalars. See the documentation of the formal Lie multiplication for more information.
i1 : L = lieAlgebra{a,b} o1 = L o1 : LieAlgebra
i2 : (2@a)++(2@a) o2 = 2 a + 2 a o2 : L