☰

寓意符号

tag-icon • tag-icon math-mode amsmath
寓意符号

我正在寻找一个好的暗示符号。我知道我应该使用，但它比和\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}

屈服

短向上箭头旋转指向右侧的示例

相关内容