我在用安基创建布尔恒等式的抽认卡。对于否定变量,我更喜欢使用上划线而不是素数。这可以用 LaTeX 实现吗?
编辑:页眉和页脚如下:
\documentclass[12pt]{article}
\special{papersize=3in,5in}
\usepackage[utf8]{inputenc}
\usepackage{amssymb,amsmath}
\pagestyle{empty}
\setlength{\parindent}{0in}
\begin{document}
\end{document}
答案1
正如 egreg 在评论中提到的,\overline{x}
这是一个很好的解决方案。以下是我能想到的可用于否定的各种符号:
$x' \quad x^\prime \quad \overline{x} \quad \bar{x} \quad \lnot x \quad {\sim} x$
另外,为了方便以后参考,你应该看看如何查找符号或识别数学符号或字符?。
答案2
如果你觉得更冒险一点,accents
包裹允许你堆叠<accent>
使用<stuff>
\accentset{<accent>}{<stuff>}
以下是通过新定义的宏进行\overline
的\bar
和之间的比较\accentset
\negbool[<thickness>]{<stuff>}
为 设定了厚度规则<thickness>
(默认为0.4pt
)<stuff>
。它允许你使用更多的自由,并且在其倾斜的底部可以更好地放置“上划线”:
\documentclass{article}
\usepackage{calc}% http://ctan.org/pkg/calc
\usepackage{accents}% http://ctan.org/pkg/accents
\newcommand*{\negbool}[2][0.4pt]{\ensuremath{\accentset{\rule{\widthof{#2}}{#1}}{#2}}}
\begin{document}
$\overline{x} \quad \bar{x} \quad \negbool{x} \quad \negbool[1pt]{x}$
\end{document}