ProofWiki:Sandbox

This is a test $6^5 + \omega$