![矛盾符号怎么排版?](https://linux22.com/image/351091/%E7%9F%9B%E7%9B%BE%E7%AC%A6%E5%8F%B7%E6%80%8E%E4%B9%88%E6%8E%92%E7%89%88%EF%BC%9F.png)
答案1
您可以添加负空格\!
,导致两个符号之间没有空格:
\documentclass{article}
\begin{document}
\[
\Rightarrow\!\Leftarrow
\]
\end{document}
正如@Rethliopuks 在评论中指出的那样,该包tipa
禁用了数学模式中作为负空间的使用\!
。如果你使用这个包(或任何其他禁用的包\!
),你可能会使用
\Rightarrow\mskip-\thinmuskip\Leftarrow
而是得到相同的结果(\mskip-\thinmuskip
是的默认定义\!
)。
答案2
这给出了你想要的(添加\!
):
\documentclass{article}
\begin{document}
\[
\Rightarrow\!\Leftarrow
\]
\end{document}
答案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}
应该用于这种情况。