https://123dok.net/document/z1d40j1v-span-class-mathjax-formula-prop-span-corresponding-bialgebras.html