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)))