Here are some formulas:

• $\alpha$
• $x^n+y^n\ne z^n$

That’s it, nothing else is supported.