有没有一个符号是 \longto 减去小费

Question

我想知道是否有一个水平线数学符号

• 与 、 等长度相同\longto，\longmapsto但不包含任何箭头，并且
• 是\mathrel？

我目前正在使用\mathrel{-\!-}，但很难确定线的长度。

Answer 1

如果忽略\longmapsto下的断裂长度\scriptscriptstyle，则应该这样做：

\documentclass{article}

\DeclareDocumentCommand{\longdash}{}{%
  \mathrel{\relbar\mkern-6.5mu\relbar\mkern-6.5mu\relbar}}

\begin{document}

$a \longmapsto b_{a \longmapsto b_{a \longmapsto b}}$

$a \longdash b_{a \longdash b_{a \longdash b}}$

\end{document}

Answer 2

这是一种可以避免出现漏洞的方法\scriptscriptstyle：

\documentclass{article}

\makeatletter
\DeclareRobustCommand{\longdash}{%
  \mathrel{\mathpalette\longvdash@\relax}%
}
\DeclareRobustCommand{\longvdash}{\mapstochar\longdash}
\newcommand{\longvdash@}[2]{%
  \begingroup
  \sbox\z@{$\m@th#1\longrightarrow$}%
  \hb@xt@\wd\z@{\dashfill{#1}}%
  \endgroup
}
\newcommand{\dashfill}[1]{% modelled on \rightarrowfill
  $\m@th#1%
  \smash-\mkern-7mu
  \cleaders\hbox{$#1\mkern-2mu\smash-\mkern-2mu$}\hfill
  \mkern-7mu\smash-$%
}
\makeatother

\begin{document}

$a \longrightarrow b_{a \longrightarrow b_{a \longrightarrow b}}$

$a \longmapsto b_{a \longmapsto b_{a \longmapsto b}}$

$a \longdash b_{a \longdash b_{a \longdash b}}$

$a \longvdash b_{a \longvdash b_{a \longvdash b}}$

\end{document}