From 593527cb4e6849a871fd0978020bf5bf99766a9a Mon Sep 17 00:00:00 2001 From: Mark Date: Mon, 20 Jan 2025 19:19:44 -0800 Subject: [PATCH] Typo --- Advanced/Tropical Polynomials/parts/00 arithmetic.typ | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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$