diff --git a/content/first-order-logic/syntax-and-semantics/unique-readability.tex b/content/first-order-logic/syntax-and-semantics/unique-readability.tex
index 514728a0..d9ecd727 100644
--- 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) +