Power series are represented in
Mathematica as
SeriesData objects.
By using
SeriesData objects, rather than ordinary expressions, to represent power series,
Mathematica can keep track of the order and expansion point, and do operations on the power series appropriately. You should not normally need to know the internal structure of
SeriesData objects.
You can recognize a power series that is printed out in standard output form by the presence of an
O[x] term. This term mimics the standard mathematical notation
O (x), and represents omitted terms of order
x. For various reasons of consistency,
Mathematica uses the notation
O[x]^n for omitted terms of order
xn, corresponding to the mathematical notation
O (x)n, rather than the slightly more familiar, though equivalent, form
O (xn).
Any time that an object like
O[x] appears in a sum of terms,
Mathematica will in fact convert the whole sum into a power series.