Table of Contents

]
Theorems and Definitions
On this wiki in particular, it is possible to create vanity boxes for popular theorems and definitions. These are most useful if created as their own pages starting with theorem:<theoremname> and definition:<definitionname>.
For instance, here is a page containing a box for the Van Kampen theorem: theorem:vankampen which is then included on the page about Van Kampen Theorem proper.
Once a unique theorem:<theoremname> or definition:<definitionname> page is created it can be included with a regular [[include theorem<theoremname>]] escape. For example:
[[include theorem:vankampen]]
Produces:
Creating new Theorem Box
[[include inc:theorem
title=Equipartition Theorem
body=For a system with a [[[Hamiltonian]]] [[$H(\mathbf{p}, \mathbf{q})$]] with generalized coordinates [[$\mathbf{q}$]] and momenta [[$\mathbf{p}$]]:[[$$\left\langle q_i \frac{\partial H}{\partial p_i} \right\rangle = k T$$]] for each quadratic degree of freedom, where [[$\langle \cdot \rangle$]] denotes the canonical [[[ensemble average]]].
]]
Produces:
Theorem. For a system with a Hamiltonian $H(\mathbf{p}, \mathbf{q})$ with generalized coordinates $\mathbf{q}$ and momenta $\mathbf{p}$:$$\left\langle q_i \frac{\partial H}{\partial p_i} \right\rangle = k T$$ for each quadratic degree of freedom, where $\langle \cdot \rangle$ denotes the canonical ensemble average. 
Creating new Definition Box
Similarly,
[[include inc:definition
title=[[[Regular Cell Complex]]] 
body=A //regular cell complex// is a topological space [[$X$]] partitioned into subspaces [[$\{X_\alpha\}_{\alpha\in PX}$]] satisfying the following conditions:
# For each [[$x \in X$]], every sufficiently small neighborhood of [[$x$]] intersects finitely many [[$X_\alpha$]].
# For all [[$\alpha, \beta$]], [[$X_\alpha \cap X_\beta \neq \emptyset$]] only if [[$X_\beta \subseteq X_\alpha$]].
# Every [[$X_\alpha$]] is homeomorphic to [[$\mathbb{R}^{n_\alpha}$]] for some [[$n_\alpha$]].
# For every [[$\alpha$]], there is a homeomorphism of a closed ball in [[$\mathbb{R}^{n_\alpha}$]] to [[$X_\alpha$]] that maps the interior of the ball homeomorphically onto [[$X_\alpha$]].]]
Will produce:
Definition. Regular Cell Complex: A regular cell complex is a topological space $X$ partitioned into subspaces $\{X_\alpha\}_{\alpha\in PX}$ satisfying the following conditions:
