矛盾符号怎么排版？

Question 1

您可以添加负空格\!，导致两个符号之间没有空格：

\documentclass{article}
\begin{document}
\[
\Rightarrow\!\Leftarrow
\]
\end{document}

正如@Rethliopuks 在评论中指出的那样，该包tipa禁用了数学模式中作为负空间的使用\!。如果你使用这个包（或任何其他禁用的包\!），你可能会使用

\Rightarrow\mskip-\thinmuskip\Leftarrow

而是得到相同的结果（\mskip-\thinmuskip是的默认定义\!）。

Answer

您可以添加负空格\!，导致两个符号之间没有空格：

\documentclass{article}
\begin{document}
\[
\Rightarrow\!\Leftarrow
\]
\end{document}

正如@Rethliopuks 在评论中指出的那样，该包tipa禁用了数学模式中作为负空间的使用\!。如果你使用这个包（或任何其他禁用的包\!），你可能会使用

\Rightarrow\mskip-\thinmuskip\Leftarrow

而是得到相同的结果（\mskip-\thinmuskip是的默认定义\!）。

Question 2

这给出了你想要的（添加\!）：

\documentclass{article}
\begin{document}
\[
\Rightarrow\!\Leftarrow
\]
\end{document}

Answer

这给出了你想要的（添加\!）：

\documentclass{article}
\begin{document}
\[
\Rightarrow\!\Leftarrow
\]
\end{document}

Question 3

数学符号通常有边距，至少在 Computer Modern 字体中如此。对于\Leftarrow和，边距为 1mu \Rightarrow。

\documentclass{article}
\usepackage{amsmath}

\begin{document}

\setlength{\fboxsep}{0pt}\setlength{\fboxrule}{0.1pt} % just for the example

\fbox{$\Rightarrow$} \fbox{$\Leftarrow$}
$\Rightarrow\Leftarrow$

\fbox{$\Rightarrow\mspace{-1mu}$} \fbox{$\mspace{-1mu}\Leftarrow$}
$\Rightarrow\mspace{-2mu}\Leftarrow$

\fbox{$\Rightarrow\mspace{-1.5mu}$} \fbox{$\mspace{-1.5mu}\Leftarrow$}
$\Rightarrow\mspace{-3mu}\Leftarrow$

\fbox{$\Rightarrow\mspace{-2mu}$} \fbox{$\mspace{-2mu}\Leftarrow$}
$\Rightarrow\mspace{-4mu}\Leftarrow$

\end{document}

从上面的图片来看，我猜你想要

\newcommand{\contradiction}{%
  \ensuremath{{\Rightarrow\mspace{-2mu}\Leftarrow}}%
}

是的\ensuremath，因为\contradiction既可以在显示中（在证明期间）使用，也可以在文本中使用。

使用宏更好，因为它可以根据实际使用的字体进行定制。例如，如果fourier使用，图片是

所以可能\mspace{-3mu}应该用于这种情况。

Answer