HRIZM

世には便利なもんがあるもんだ！
MathJaxとは、Ajaxで(？)TeX形式の文字列を数式に変換してくれる便利なサービス。
http://www.mathjax.org/
導入してみるにあたって、MathJaxの使い方をかなり参考にさせていただいた(黒木玄先生に感謝)。ちなみに超無断リンク。怒られたらリンク外します。

たとえば、おなじみ数の集合:$\N$, $\Z$, $\Q$, $\R$, $\C$.
ほかにも$\zeta(2)$なんかだと:
\[\sum_{n=1}^\infty \frac{1}{n^2} = \frac{\pi^2}{6}.\]
Axiom of Extensionality(外延性公理)は:
\[\forall{x}\forall{y}(\forall{z}(z\in{x} \leftrightarrow z\in{y}) \rightarrow x=y).\]
ゲーデルの完全性定理は:
\[T\vdash\varphi \Leftrightarrow T\models\varphi.\]
うおおー。ちなみに数学についての細かい部分のツッコミはナシで。ナシで！！