This is a very simple question. I was wondering if anybody might know of a way to generate the symbol for the empty clause in LaTeX (small, character-sized empty square). By “empty clause" I am referring to the propositional / first-order logic symbol which denotes a clause that is unsatisfiable by default, and is the result of a refutation from a set of unsatisfiable clauses.
[Tex/LaTex] Empty clause symbol
math-modesymbols
Best Answer
You have several options available. Some predefined squares or a hand-made one
(requires
\usepackage{amsmath}
). Here's a table with some of the squares:In the second column you find what package provides the symbol (next to
\Hsquare
I could have addedamsmath
, which is however not a font package). Note that you should say\text{\Squarepipe}
if you decide for that symbol.