Commutative Diagrams in Mathjax

It is possible to render commutative diagrams in MathJax. The following provide 2 such possibilities. Both can be tested in this online mathjax editor, useful to build the initial version of the latex code.

CD environment

This uses the CD environment provided by the amscd package. It does not support diagonal arrows. Documentation is available here.

Example 1

$$\begin{array}{ccc}K(X)& \stackrel{ch}{\to }& H(X;\mathbb{Q})\\ \Psi \downarrow & & \downarrow {\varphi }_t\\ K(Y)& \stackrel{ch}{\to }& H(Y;\mathbb{Q})\end{array}$$

Example 2

$$\begin{array}{ccccccc}\mathcal{L}& \to & \mathcal{K}& \to & \mathcal{K}& \to & \mathcal{L}\\ \mathcal{L}\downarrow & & \uparrow & & \uparrow \mathcal{R}& & \downarrow \\ \mathcal{L}& \to & \mathcal{K}& \to & \mathcal{K}& \to & \mathcal{L}\end{array}$$

Arrays

$$\begin{array}{ccccccccc}0& \stackrel{i}{\to }& A& \stackrel{f}{\to }& B& \stackrel{q}{\to }& C& \stackrel{d}{\to }& 0\\ \mathcal{F}\downarrow & \searrow & \downarrow & \nearrow & \downarrow & \searrow & \downarrow & \nearrow & \downarrow \\ 0& \stackrel{j}{\to }& D& \stackrel{g}{\to }& E& \stackrel{r}{\to }& F& \stackrel{e}{\to }& 0\end{array}$$

Cayley tables

$$\begin{array}{cccc}\times & {\sigma }_x& {\sigma }_y& {\sigma }_z\\ {\sigma }_x& 1_2& i{\sigma }_{}& -i{\sigma }_y\\ {\sigma }_y& i{\sigma }_{}& 1_2& i{\sigma }_x\\ {\sigma }_z& i{\sigma }_y& -i{\sigma }_z& 1_2\end{array}$$