From 9f5fc0fb1a72a6f9c5067fb0296ca36d62ce456a Mon Sep 17 00:00:00 2001 From: Richard Zach Date: Mon, 5 Feb 2024 14:49:07 -0700 Subject: [PATCH] fix a space --- .../first-order-logic/syntax-and-semantics/main-operator.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/first-order-logic/syntax-and-semantics/main-operator.tex b/content/first-order-logic/syntax-and-semantics/main-operator.tex index a6527a7d..a95d1761 100644 --- a/content/first-order-logic/syntax-and-semantics/main-operator.tex +++ b/content/first-order-logic/syntax-and-semantics/main-operator.tex @@ -71,7 +71,7 @@ We call !!{formula}s by the names in \olref{tab:main-op} depending on which symbol their !!{main operator} is.\iftag{defNot,defOr,defAnd,defIf,defIff,defTrue,defFalse,defEx,defAll} -{Recall, however, that defined operators do not officially appear in +{ Recall, however, that defined operators do not officially appear in !!{formula}s. They are just abbreviations, so officially they cannot be the main operator of a formula. In proofs about all !!{formula}s they therefore do not have to be treated separately.}