[math-fun] Gelfond-Schneider, Lindemann-Weierstrass, and formatting