copied examples from asciimath homepage

I think asciimath deserves a little bit more examples as it is relatively unknown.