diff --git a/Advanced/Tropical Polynomials/parts/00 arithmetic.typ b/Advanced/Tropical Polynomials/parts/00 arithmetic.typ
index b24fd56..5a85ba6 100644
--- a/Advanced/Tropical Polynomials/parts/00 arithmetic.typ	
+++ b/Advanced/Tropical Polynomials/parts/00 arithmetic.typ	
@@ -38,7 +38,7 @@ $
 #problem()
 Let's expand $#sym.RR$ to include a tropical additive identity.
 - What would be an appropriate name for this new number?
-- Give a reasonable defintion for...
+- Give a reasonable definition for...
   - the tropical sum of this number and a real number $x$
   - the tropical sum of this number and itself
   - the tropical product of this number and a real number $x$