Here are some test expressions to be rendered by MathJax: $$\displaystyle\sum_{x \leftarrow S} x^2$$ and $$\left|x\right|=(\mathtt{if}\; x\geq 0\;\mathtt{then}\;x\;\mathtt{else}\;-x)$$