User:TheJames/LaTeX

This is just me fiddling around. Go away.

$$ \mathrm{Domain : people} $$

$$ \mathrm{S}x \mathrm{:} x \mathrm{smells} $$

$$ n \mathrm{: Neil} $$

$$ \forall x [[x = n] \rightarrow \mathrm{S}x] $$