From c189b7da1a3899c4047f4da59197dfa6fdf4f6eb Mon Sep 17 00:00:00 2001
From: Bokuan Li <bokuan.li@mail.mcgill.ca>
Date: Mon, 1 Jun 2026 23:55:52 -0400
Subject: [PATCH] Fixed typo.

---
 src/op/banach/fc.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/op/banach/fc.tex b/src/op/banach/fc.tex
index af59ef3..9025453 100644
--- a/src/op/banach/fc.tex
+++ b/src/op/banach/fc.tex
@@ -130,7 +130,7 @@
         \item $\exp(x) = \sum_{n = 0}^\infty \frac{x^n}{n!}$. 
         \item $\exp(x) \in G_0(A)$ with $\exp(x)^{-1} = \exp(-x)$. 
         \item For any $y \in A$ commuting with $x$, $\exp(x + y) = \exp(x)\exp(y)$. 
-        \item Let $\ell: \complex \setminus (\infty, 0] \to \complex$ be the principal logarithm. If $\sigma_A(x) \subset \bracs{\lambda \in \complex| \text{Im}(\lambda) \in (-\pi, \pi)}$, then $\ell(\exp(x)) = x$. 
+        \item Let $\ell: \complex \setminus (-\infty, 0] \to \complex$ be the principal logarithm. If $\sigma_A(x) \subset \bracs{\lambda \in \complex| \text{Im}(\lambda) \in (-\pi, \pi)}$, then $\ell(\exp(x)) = x$. 
     \end{enumerate}
 \end{proposition}
 \begin{proof}