LaTeX on Calculemus

Calculemus! is set up to display mathematical symbols using LaTeX, when viewed in Firefox^* or IExplorer+MathML. (This is how I did it.) If you are contributing posts or comments here, just type your pretty LaTeX code between dollar-signs.
Example:

Enter this:	To get this:
<ol> <li> $\nabla (x=y)$</li> <li> $\hat{x}[\nabla(x=a)]b$</li> <li> $\lnot \nabla(a=a)$</li> <li> $\lnot\hat{x}[\nabla(x=a)]a$</li> <li> $a \neq b$</li> <li> $\Delta (a\neq b)$</li> </ol>	$\nabla (x=y)$ $\hat{x}[\nabla(x=a)]b$ $\lnot \nabla(a=a)$ $\lnot\hat{x}[\nabla(x=a)]a$ $a \neq b$ $\Delta (a\neq b)$

It works in the posts and the comments as well, but in the comment-writing mode it will show just the code (see the post in full-view mode for the magic).

See this page for the supported LaTeX commands, and don’t forget to check out Peter Smith‘s LaTeX for Logicians page.

---

^* For me it looks best when viewed in Firefox, with ClearType turned on.