Antipode (source code)

= Antipode
{title2=$S$}

The convolution inverse $S$ of the identity on a <bialgebra>: $m(S\otimes1)\Delta=j\varepsilon=m(1\otimes S)\Delta$. Existence makes the <bialgebra> a <Hopf algebra>; $S$ reverses multiplication.