Some ways to display mathematics elegantly:
MathML Examples:
For diagrams or complicated graphs which cannot be rendered by MathML, it makes sense to use external LaTeX render, however.
- MathML rendering by LaTeX syntax: LaTeXMathML
- External LaTeX Rendering: CodeCogs' LaTeX Equation Editor
MathML Examples:
- The infinite strings $\Sigma^{\infty}$ is given by the projective limit of finite strings, i.e. $\Sigma^{\infty} = \lim_{\leftarrow} \Sigma^{n}$
- $\displaystyle{\bot \sqsubseteq \phi (\bot) \sqsubseteq \phi^{2}(\bot) \sqsubseteq \cdots}$ gives a least fixpoint if $\phi$ is order-preserving over $\mathbf{dcpo}$.
\xymatrix{ X \ar[r] \ar[d] & FX \ar[r] \ar[d] & F^{2}X \ar[r] \ar[d] & \dots \\ Y \ar[r] & FY \ar[r] & F^{2}Y \ar[r] & \dots }- Naturality of Five Snake
\xymatrix{ &&&A_2\ar[rr]\ar[dd]|\hole^(.36){a_2}&&B_2\ar[rr]\ar[dd]|\hole^(.36){b_2}&&C_2\ar[rr]\ar[dd]|\hole^(.36){c_2}&&0\\ &&A_1\ar[rr]\ar[dd]^(.36){a_1}\ar[ur]&&B_1\ar[rr]\ar[dd]^(.36){b_1}\ar[ur]&&C_1\ar[rr]\ar[dd]^(.36){c_1}\ar[ur]&&0\\ &0\ar[rr]|\hole&&A'_2\ar[rr]|\hole&&B'_2\ar[rr]|\hole&&C'_2&&\\ 0\ar[rr]&&A'_1\ar[rr]\ar[ur]&&B'_1\ar[rr]\ar[ur]&&C'_1\ar[ur]&& }
For diagrams or complicated graphs which cannot be rendered by MathML, it makes sense to use external LaTeX render, however.