☰

空子句符号

tag-icon • tag-icon math-mode symbols
空子句符号

这是一个非常简单的问题。我想知道是否有人知道如何在 LaTeX 中生成空子句的符号（小的、字符大小的空方块）。我所说的“空子句”是指命题/一阶逻辑符号，它表示默认情况下不可满足的子句，并且是一组不可满足子句的反驳的结果。

答案1

您有多种选择。一些预定义的方块或手工制作的方块

\newcommand{\Hsquare}{%
  \text{\fboxsep=-.2pt\fbox{\rule{0pt}{1ex}\rule{1ex}{0pt}}}%
}

（需要\usepackage{amsmath}）。下面是一些正方形的表格：

在此处输入图片描述

在第二列中，您可以找到提供该符号的软件包（在旁边\Hsquare我本可以添加amsmath，但它不是字体软件包）。请注意，\text{\Squarepipe}如果您决定使用该符号，则应说明。

答案2

\usepackage{amssymb}
\newcommand{\littlesquare}{\scriptstyle{\square}}
\newcommand{\tinysquare}{\scriptscriptstyle{\square}}

用法

square $\square$, littlesquare $\littlesquare$, and tinysquare $\tinysquare$

在此处输入图片描述

相关内容