![寓意符号](https://linux22.com/image/244128/%E5%AF%93%E6%84%8F%E7%AC%A6%E5%8F%B7.png)
我正在寻找一个好的暗示符号。我知道我应该使用,但它比和\to
长,这让我有点烦。是否可以输入长度完全相同的箭头?\land
\lor
答案1
查看“综合 LaTeX 符号列表”(texdoc symbols
将提供给您,或者转到谷歌),我看到至少两种可能性:包stmaryrd
提供\shortarrow
,并且MnSymbol
包重新定义\rightarrow
为更短。特别是第二个,提供了一个吨新的数学符号无疑会覆盖所有已经存在的东西,所以你可能需要小心。
答案2
我认为你要找的是\implies
。这比标准的宽度要长to
,但你可以\scalebox
使用包裹graphicx
重新调整其大小以使其宽度相同:
或者,您也可以将 缩放\to
为 的宽度\land
:
笔记:
- 为了使
\ScaledImplies
具有与相同的大小和间距\to
,我进行了缩放\Longrightarrow
(这是包装\implies
中的符号amsmath
所基于的,并带有一些额外的间距)。
进一步增强:
- 我使用该
pgf
包进行数学计算。很可能有一种方法可以在没有此包的情况下进行相同的计算,因此可以优化此代码以使其不需要该pgf
包。
代码:
\documentclass{article}
\usepackage{amsmath}
\usepackage{graphicx}
\usepackage{pgf}
\makeatletter
\newdimen\@widthOfTo%
\newdimen\@widthOfLand%
\newdimen\@widthOfImplies%
\settowidth{\@widthOfTo}{$\to$}%
\settowidth{\@widthOfLand}{$\land$}%
\settowidth{\@widthOfImplies}{$\Longrightarrow$}%
\pgfmathsetmacro{\@scaleFactorImplies}{\@widthOfTo/\@widthOfImplies}%
\pgfmathsetmacro{\@scaleFactorTo}{\@widthOfLand/\@widthOfTo}%
\newcommand*{\ScaledImplies}{\mathrel{\raisebox{0.3ex}{\scalebox{\@scaleFactorImplies}{\ensuremath{\Longrightarrow}}}}}%
\newcommand*{\ScaledTo}{\mathbin{\raisebox{0.3ex}{\scalebox{\@scaleFactorTo}{\ensuremath{\to}}}}}%
\makeatother
\begin{document}
$a \to b$\par
$a \ScaledImplies b$\par
$a \implies b$\par
\bigskip
$a \land b$\par
$a \ScaledTo b$\par
$a \to b$\par
\end{document}
答案3
cm 扩展字体中有一个“短”双向上箭头,可以旋转以达到此目的:
\documentclass{article}
\usepackage{graphicx}
\newcommand{\implyarrow}{%
\mathrel{\raisebox{1.3ex}{\rotatebox[origin=c]{90}{\mathhexbox37F}}}}
\begin{document}
$a \implyarrow b \Rightarrow c$\\
$a \land b$
\end{document}
屈服