From 2e711ba477b4c385a34e49f5283a7349d4b775b1 Mon Sep 17 00:00:00 2001 From: mark Date: Tue, 21 Jan 2025 21:46:18 -0800 Subject: [PATCH] Minor edits --- src/Advanced/Tropical Polynomials/parts/00 arithmetic.typ | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/Advanced/Tropical Polynomials/parts/00 arithmetic.typ b/src/Advanced/Tropical Polynomials/parts/00 arithmetic.typ index 5a85ba6..0ef2dad 100644 --- a/src/Advanced/Tropical Polynomials/parts/00 arithmetic.typ +++ b/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$