nLab
Sandbox

Every wiki needs a sandbox! Just test between the horizontal rules below (*** in the source) and don't worry about messing things up.

Section

Another section

---

hello $x_2^3$	*hello* $x_2^3$
hello $x_2^3$	*hello* $x_2^3$

hello $x_2^3$	*hello* $x_2^3$
hello $x_2^3$	*hello* $x_2^3$

---

$$\begin{array}{c} \cdots &\to& C_3 &\stackrel{\delta}{\to} & C_2 & \stackrel{\delta}{\to} & C_1 & \stackrel{\overset{\delta_t}{\to}} {\underset{\delta_s}{\to}} & C_0 \\ & & \downarrow & & \downarrow & & \downarrow^{\rlap{\delta_s}} & & \downarrow^{\rlap{=}} \\ \cdots &\to& C_0 &\stackrel{=}{\to}& C_0 &\stackrel{=}{\to}& C_0 &\stackrel{=}{\to}& C_0 \end{array}$$

---

$$\underset{\circlearrowleft}{\bullet} \underset{}{\leftrightarrow} \underset{\circlearrowleft}{\bullet}$$

	type theory	category theory
	syntax	semantics
	natural deduction	universal construction
	dependent sum type	dependent sum

	type theory	category theory
	syntax	semantics
	natural deduction	universal construction
	dependent sum type	dependent sum

---

?? ***

category: meta