https://123dok.net/document/yj763j5y-power-types-in-explicit-mathematics.html