https://123dok.net/document/zlgxgo2o-local-tame-lifting-class-mathjax-formula-simple-characters.html