Embed 0 in inline-math mode in unique-readability.tex (#359)

OpenLogicProject · Feb 5, 2024 · b28e5cf · b28e5cf
1 parent 2323423
commit b28e5cf
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/content/first-order-logic/syntax-and-semantics/unique-readability.tex b/content/first-order-logic/syntax-and-semantics/unique-readability.tex
@@ -74,10 +74,10 @@
 \end{prob}
 
 \begin{enumerate}
-\tagitem{prvFalse}{\indcase{!A}{\lfalse}{$\indfrm$ has 0 left and 0
+\tagitem{prvFalse}{\indcase{!A}{\lfalse}{$\indfrm$ has $0$ left and $0$
     right parentheses.}}{}
 
-\tagitem{prvTrue}{\indcase{!A}{\ltrue}{$\indfrm$ has 0 left and 0
+\tagitem{prvTrue}{\indcase{!A}{\ltrue}{$\indfrm$ has $0$ left and $0$
     right parentheses.}}{}
 
 \item \indcase{!A}{\Atom{R}{t_1,\dots,t_n}}{$l(\indfrm) = 1 + l(t_1) +