Use unicode \alpha in front-page example.

I tested this using BrowserStack on browsers going back to IE 6 on Windows XP.
It worked everywhere, even though lots of other parts of the (old) web pages didn't.
Use "explain" on the explanation button for the short front-page examples.