https://123dok.net/document/y8g7lvg2-remarks-flat-differential-span-class-mathjax-formula-theory.html