From b28e5cf55e387387bb86890197cfa1f9aafc008f Mon Sep 17 00:00:00 2001
From: Jerry Tan <66892505+Friendseeker@users.noreply.github.com>
Date: Mon, 5 Feb 2024 13:46:54 -0800
Subject: [PATCH] Embed 0 in inline-math mode in unique-readability.tex (#359)

---
 .../syntax-and-semantics/unique-readability.tex               | 4 ++--
 1 file changed, 2 insertions(+), 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
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) +