https://5dok.net/document/oz1mvp3z-description-of-the-language-automath.html