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