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)
 }
     \]