Minor edits

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

@@ -61,7 +61,10 @@ Let's expand $#sym.RR$ to include a tropical additive identity.
 
 #problem()
 Do tropical additive inverses exist? \
-#note([Is there an inverse $y$ for every $x$ so that $x #tp y = #sym.infinity$?])
+#note([
+  Is there an inverse $y$ for every $x$ so that $x #tp y = #sym.infinity$? \
+  Remember that $#sym.infinity$ is the additive identity.
+])
 
 #solution([
   No. Unless $x = #sym.infinity$, there is no x where $min(x, y) = #sym.infinity$