What font do you use for this? It looks weird with my defaults.

I once seriously considered trying to build something that included math symbols in the syntax. It's pretty cool to see that I don't have to.