创建更长的箭头

Question

我目前使用两个关系符号，如下所示。但是，由于我需要在箭头上方和下方输入大量信息，因此我希望箭头更长。在我的设置中，下面的示例已经显示了我需要放在上方/下方的最长项目。

\tau\tau'如果箭头线与箭头完全在右侧，那就太好了。如果线稍微向左延伸一点，那就太好了。

一个想法是水平拉伸箭头符号。但是，我猜这也会拉伸箭头。另一个想法可能是组合多个符号 - 因为创建一条长线应该是可行的。

然而，我对此并没有经验，因此想听听您的意见。

Answer 1

我不喜欢 MnSymbol。下面是一组没有它的宏；通过旋转符号获得干草叉amssymb：

\documentclass{article}
\usepackage{amsmath,amssymb,graphicx,stmaryrd}

\newcommand{\rightpitch}{%
  \mathrel{% it's a relation
    \text{% scaled according to math style
      \smash{\raisebox{-.225ex}{% lowered a bit
        \rotatebox[origin=c]{90}{$\pitchfork$}%
      }}%
    }%
   \vphantom{\rightarrow}%
  }%
}

\makeatletter
\newcommand{\xrightpitch}[2][]{%
  \ext@arrow 0359\xrightpitchfill@{#1}{#2}%
}
\newcommand{\xrightpitchfill@}{%
  \arrowfill@\relbar\relbar\rightpitch
}
\newcommand{\xrightarrowtriangle}[2][]{%
  \ext@arrow 0359\xrightarrowtrianglefill@{#1}{#2}%
}
\newcommand{\xrightarrowtrianglefill@}{%
  \arrowfill@\relbar\relbar{\mathrel{\smash{\rightarrowtriangle}\vphantom{\rightarrow}}}%
}
\makeatother

\begin{document}
$a\rightpitch b\rightarrowtriangle c$

$a\xrightpitch{\tau\tau'}b\xrightarrowtriangle[\equiv'_n]{\tau\tau'}c$

$a_{\xrightpitch{\tau\tau'}}$
\end{document}

感谢 Herbert Voß 的宏“数学模式” x。我把它砸了，\rightarrowtriangle因为它对于手头的目的来说太高了。

Answer 2

MnSymbol这是一个仅使用字体和包的解决方案nccmath。我定义了\longlpitchfork和longrtrianglearrow命令，它们的长度与\longrightarrow（在 MinionPro 版本中！）相同：

\documentclass[12pt]{article}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage[mathlf, minionint]{MinionPro}

\usepackage{mathtools}
\usepackage{nccmath}

\renewcommand\dint{\displaystyle\int}
\newcommand\mint{\medint\int}
\newcommand\longlpitchfork{\mathrel{\relbar\mkern-3.15mu\leftpitchfork}}%\relbar\mkern-3.15mu
\newcommand\longrtrianglearrow{\mathref{\relbar\mkern-8.5mu\relbar\mkern-9.3mu\medmath{\smalltriangleright}}}

\begin{document}

\[ \begin{array}{l}
       \overset{τ τ '}{\longlpitchfork}\\
       \overset{τ τ '}{\longrightarrow}  \\
       \overset{τ τ '}{\longrtrianglearrow}
   \end{array} \]

\end{document} 

最后，这里是可扩展的箭头，仅使用Herbert Voss 在§38MnSymbol中描述的字体和宏：Math Mode

    \documentclass[12pt]{article}
    \usepackage[utf8]{inputenc}
    \usepackage[T1]{fontenc}
    \usepackage[mathlf, minionint]{MinionPro}
    \makeatletter

    \newcommand{\xrightfork}[2][]{%
      \ext@arrow 0079\xrightforkfill@{#1}{#2}%
    }
    \newcommand{\xrightforkfill@}{%
      \arrowfill@\relbar\relbar{\mathrel{\smash{\leftpitchfork}}}
    }

    \newcommand{\righttrianglearrow}{%
      \mathrel{% it's a relation
    \relbar\mkern-5mu\smalltriangleright%
      }%
    }
    \newcommand{\xrighttrianglearrow}[2][]{%
      \ext@arrow 0079\xrighttrianglearrowfill@{#1}{#2}%
    }
    \newcommand{\xrighttrianglearrowfill@}{%
      \arrowfill@\relbar\relbar\righttrianglearrow
    }

    \makeatother

    \begin{document}

    \[ \begin{array}{l@{\qquad}l}
     \xrightfork[\equiv ']{\text{either }τ \text{ or else }τ '} & \xrighttrianglearrow[\equiv ']{\text{either }τ \text{ or else }τ '}\\[2ex]
     \xrightfork[\equiv ']{τ \text{ or }τ '} & \xrighttrianglearrow[\equiv ']{τ \text{ or }τ '}
       \end{array} \]

    \end{document} 

测试文件的结果如下：