From c52706e4b2acc936f67a41c61fb2c39946a7e345 Mon Sep 17 00:00:00 2001 From: Alexander Rosenberg Date: Tue, 10 Sep 2024 23:07:53 -0700 Subject: [PATCH] Fix a very *REDACTED* mistake --- typeset.lisp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/typeset.lisp b/typeset.lisp index e4f4e8f..eeb7659 100644 --- a/typeset.lisp +++ b/typeset.lisp @@ -243,7 +243,7 @@ between each row." pretty-print pretty-print) (let ((format-str (if latin-truths - "~{$ ~:[\\textrm{F}~;\\textrm{T}~] $~^ & ~} \\\\~:[ ~;~% ~]" + "~{~:[F~;T~]~^ & ~} \\\\~:[ ~;~% ~]" "~{$ ~:[\\bot~;\\top~] $~^ & ~} \\\\~:[ ~;~% ~]"))) (dolist (row (extract-truth-table-values table)) (format str format-str row pretty-print)))