函数定义中的动态大小箭头 \mapsto

Question

我有下图：

但是，这个看起来有点丑，我想要一个看起来更好的版本。例如，调整最后一个箭头的大小，使 T_\phi 向右移动。

这是我用来执行此操作的代码：

\begin{align*}
  \xi \colon &\lb \to \mathcal{L}(\hh)\\
  &\phi \mapsto T_\phi.
\end{align*}

在哪里\lb，\hh只需给出这些空间的名称。有人能建议我如何改进这个函数定义的外观吗？

Answer 1

就我个人而言，我认为最好使用：

\begin{align*}
  \xi \colon L^\infty(T) &\to \mathcal{L}(H^2)\\
  \phi &\mapsto T_\phi.
\end{align*}

无论如何，你可以通过以下方式获得你想要的东西

\documentclass{article}

\usepackage{amsmath}

\newcommand\phantomarrow[2]{%
  \setbox0=\hbox{$\displaystyle #1\to$}%
  \hbox to \wd0{%
    $#2\mapstochar
     \cleaders\hbox{$\mkern-1mu\relbar\mkern-3mu$}\hfill
     \mkern-7mu\rightarrow$}%
  \,}

\begin{document}

\begin{align*}
  \xi \colon &L^\infty(T) \to \mathcal{L}(H^2)\\
  &\phantomarrow{L^\infty(T)}{\phi} T_\phi.
\end{align*}

\end{document}

Answer 2

您可能还想尝试mathtools：

\documentclass{article}
\usepackage{amsmath}
\usepackage{mathtools}

\begin{document}

\begin{align*}
      \xi \colon &L^\infty(T) \to \mathcal{L}(H^2)\\
       &\phi \xmapsto{\phantom{L^\infty(T)}} T_\phi
\end{align*}

\end{document}

输出如下所示：