某些字体中是否存在“矛盾”符号？

Question

在有人批评我之前，我有已检查解纤 和 texdoc symbols。事实上，后者让我想到了以下短语（第 3 节第 3 段）：

尽管对矛盾符号的要求很多comp.text.tex，但随后的讨论总是揭示出在证明中表示矛盾的无数种方法...由于缺乏符号共识，最好是拼出“矛盾！”而不是为此目的使用符号。

通常情况下，我会同意这个明智的建议。但有两件事阻止我这样做：

1. 在一个推介会简洁是理解的灵魂。

   也就是说，最好有一个有趣的符号，并且说“因此，我们有矛盾”，而不是用很长的词“矛盾！”然后仍然说“因此，我们有矛盾”。

2. 上述引文中的省略号列出了讨论中comp.text.tex可能讨论的各种符号。没有一个是正确的。正确的矛盾符号是（类似于）：

   \ \/ /
    \/\/
    /\/\    
   / /\ \
   

   即四条对角线，每个方向两条。它也应该比“常规”符号稍大一些，可能更像\prod或\sum。

所以，我的问题是：有没有带有这个符号的字体？

Answer 1

Unicode 符号“⨳”（U+2A33，由于某些神秘的原因，它被称为“SMASH PRODUCT”），您正在寻找的版本可通过现代 TeX 引擎使用（XeTeX，LuaTeX）：您必须加载unicode-math包和适当的 OpenType 数学字体，例如XITS Math，那么您就可以以 身份访问它\smashtimes。

\documentclass{article}
\usepackage{unicode-math}
\setmathfont{XITS Math}
\begin{document}
    $\smashtimes$
\end{document}

Answer 2

我的尝试基于 diabonas 的回答和 flying sheep 的评论：

\documentclass{article}
\usepackage{tikz}

\newcommand{\contradiction}{%
\begin{tikzpicture}[rotate=45,x=0.5ex,y=0.5ex]
\draw[line width=.2ex] (0,2) -- (3,2) (0,1) -- (3,1) (1,3) -- (1,0) (2,3) -- (2,0);
\end{tikzpicture}
}

\begin{document}

Contradiction? \contradiction

\end{document}

请耐心等待，我是 TikZ 新手。=P

Answer 3

下面是用四个符号拼凑出这个符号的宏\times：

\newcommand{\contradiction}{{\hbox{%
    \setbox0=\hbox{$\mkern-3mu\times\mkern-3mu$}%
    \setbox1=\hbox to0pt{\hss$\times$\hss}%
    \copy0\raisebox{0.5\wd0}{\copy1}\raisebox{-0.5\wd0}{\box1}\box0
}}}

此宏不需要额外的包或特殊字体；它使用的一切都是普通的 LaTeX。

解释一下它的工作原理：第二行（以 开头\setbox0）创建一个包含单个\times符号的框，并将该框存储在寄存器 0 中；这些\mkern命令在 的两侧添加一些负空间，\times以便框的左右两侧与\times符号的边缘齐平。下一行（以 开头\setbox1）在寄存器 1 中创建一个类似的框，不同之处在于此框的宽度为 0，\times符号水平居中（\hss代表“水平拉伸或收缩”；将其放在两侧可实现居中效果）。因此，这里的符号\times实际上延伸到零宽度框之外，两侧距离相等。第四行将寄存器 0 中的框的内容复制到输出，然后将寄存器 1 中的框的内容复制到输出，在将其提高寄存器 0 中框的宽度的一半（即符号宽度的一半\times）之后，然后将寄存器 1 中的框降低寄存器 0 中框的宽度的一半后将其移动到输出，然后将寄存器 0 中的框移动到输出。

Answer 4

此符号在旧版stix和stix2包中也可用，如\smashtimes。