Noncommutative formal power series
= Noncommutative formal power series
{title2=$F=\sum_w a_ww$}
A noncommutative formal power series is an element of a <noncommutative formal power series ring>. Its <constant term> is the coefficient of the empty <word>. Formal sums are interpreted coefficient by coefficient; analytic convergence is not required.