I, the copyright holder of this work, release this work into the public domain. This applies worldwide. In some countries this may not be legally possible; if so: I grant anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law.
TeX Source
\begin{diagram}[vtrianglewidth=1.8em,tight]
& & H\otimes H & & \rTo^{\scriptstyle S\otimes \id} & & H\otimes H \\
& \ruTo^{\scriptstyle\Delta} & & & & & & \rdTo>{\scriptstyle\nabla} \\
H & & \rTo^{\scriptstyle \varepsilon} & & K & & \rTo^{\scriptstyle \eta} & & H \\
& \rdTo<{\scriptstyle\Delta} & & & & & & \ruTo>{\scriptstyle \nabla} \\
& & H\otimes H & & \rTo_{\scriptstyle \id\otimes S} & & H\otimes H \\
\end{diagram}
Captions
Add a one-line explanation of what this file represents