From 39086537c383c2013819d88293326f85f7209645 Mon Sep 17 00:00:00 2001
From: Bokuan Li <bokuan.li@mail.mcgill.ca>
Date: Thu, 6 Aug 2026 16:20:33 -0400
Subject: [PATCH] Fixed diagram.

---
 src/fa/norm/separable.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/fa/norm/separable.tex b/src/fa/norm/separable.tex
index 6a47c36..fe3cde1 100644
--- a/src/fa/norm/separable.tex
+++ b/src/fa/norm/separable.tex
@@ -77,7 +77,7 @@
     Finally, \autoref{lemma:compact-embed} provides yet another linear isometric embedding $C(\mathcal{C}; K) \to C([0, 1]; K)$. Composing the above maps as follows
     \[
     \xymatrix{
-E \ar@{->}[r] & C(B; K) \ar@{->}[r] & C(2^{\mathbb N^+}; K) \ar@{->}[r] & C(\mathcal{C}; K) \ar@{->}[r] & C([0, 1]; K)
+E \ar@{->}[r] & C(B; K) \ar@{->}[r] & C(2^{{\mathbb N}^+}; K) \ar@{->}[r] & C(\mathcal{C}; K) \ar@{->}[r] & C([0, 1]; K)
 }
     \]