https://123dok.net/document/yr36r4wo-symmetric-monoidal-closed-structures-class-mathjax-formula-mathit.html