https://123dok.net/document/yj7v3opk-positivity-quadratic-base-change-class-mathjax-formula-functions.html