Fix typo

Author: Bolpat

reals.tex

@@ -801,7 +801,7 @@ \subsection{Construction of Cauchy reals}
 \Q$ is a traditional Cauchy sequence\index{Cauchy!sequence} of rational numbers, and let $M : \Qp \to \N$ be its
 modulus of convergence. Then $\rcrat \circ x \circ M : \Qp \to \RC$ is a Cauchy
 approximation, using the first constructor of $\closesym$ to produce the necessary witness.
-Thus, $\rclim(\rcrat \circ x \circ m)$ is a real number. Various famous
+Thus, $\rclim(\rcrat \circ x \circ M)$ is a real number. Various famous
 real numbers such as $\sqrt{2}$, $\pi$, $e$, \dots{} are all limits of such Cauchy sequences of
 rationals.