Tropical typos

src/Advanced/Tropical Polynomials/parts/00 arithmetic.typ

@@ -104,7 +104,7 @@ Is there a tropical multiplicative identity? \
 Do tropical multiplicative inverses always exist? \
 #note([
   For every $x != #sym.infinity$, does there exist an inverse $y$ so that $x #tm y = i$, \
-  where $i$ is the additive identity?
+  where $i$ is the multiplicative identity?
 ])
 
 #solution([Yes, it is $-x$. For $x != 0$, $x #tm (-x) = 0$])