For example, if I type
`forall x in RR exists y in CC. (1-x^2 )/sqrt(1+y^4)=1`
it is seen as `forall x in RR exists y in CC. (1-x^2 )/sqrt(1+y^4)=1`. If you are going to post to the blog, you may be interested in the ASCIIMathML syntax reference page.