Source TeX:

\frac{\sqrt{2}}{0} \notin \mathbb{R}