non-commuting formal power series