https://123dok.net/document/q5m3j7o7-class-mathjax-formula-autonomous-categories-topological-vector-spaces.html