 Formal logarithm

Over a characteristic-zero field, a one-dimensional commutative formal group law has a unique strict isomorphism to the additive formal group, called its formal logarithm. It satisfies ${\log }_F(F(X,Y))={\log }_F(X)+{\log }_F(Y)$.