From 17154547dffc0caa6103cacf64144b0681f8947d Mon Sep 17 00:00:00 2001
From: Bokuan Li <bokuan.li@mail.mcgill.ca>
Date: Sun, 28 Jun 2026 23:11:52 -0400
Subject: [PATCH] More minor adjustments.

---
 src/measure/measurable-maps/approx.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/measure/measurable-maps/approx.tex b/src/measure/measurable-maps/approx.tex
index 1cb85ff..ed075f0 100644
--- a/src/measure/measurable-maps/approx.tex
+++ b/src/measure/measurable-maps/approx.tex
@@ -121,7 +121,7 @@
             \[
             f_N(x) \in \mathcal{A}(f(x)) \cap \bracsn{y_n|1 \le n \le N}
             \]
-            \item[(ii)] $d(f_n, f) \downto 0$ pointwise as $n \to \infty$.
+            \item[(ii)] $f_n \to f$ pointwise as $n \to \infty$.
         \end{enumerate}
 
         \item There exists a sequence $\seq{f_n}$ of $(\cm, \cb_Y)$-measurable simple functions such that $f_n \to f$ pointwise.