我如何实现这种类似数组的布局？

Question

这是 Eisenbud 的交换代数：

我喜欢居中部分的格式，我想知道它是如何实现的。我怀疑它是一个数组或 tikz 交换图，因为我如何才能让箭头像那样进入单元格内部？

谢谢你提供的所有帮助。

Answer 1

输出使用mathtools' 可扩展\xmapsto：

\documentclass{article}

\usepackage{mathtools}
\DeclareMathOperator{\Hom}{Hom}
\usepackage{lipsum}

\begin{document}

\lipsum[1]
\[
  \varphi 
  \xmapsto{\makebox[.35\linewidth]{\raisebox{.5\baselineskip}{$
    \Hom_R(M \otimes_R N, P) \cong
    \{ \text{Bilinear maps $M \times N$ to $P$} \}
  $}}}
  \varphi b.
\]
\lipsum[2]

\end{document}

Answer 2

以下是一种方法：

\documentclass{article}
\usepackage[showframe]{geometry} %
\usepackage{mathtools}
\DeclareMathOperator{\Hom}{Hom}

\begin{document}

\begin{alignat*}{2}
    \Hom(M & \otimes_R N, P)\simeq \bigl\{\text{Bilinear maps }M & & \times N\enspace \text{to}\enspace P\bigr\}\\
     & \;\varphi \mathrel{\mathrlap{\xmapsto{\hspace{11.65em}}}}  &  & \varphi b
\end{alignat*}

\end{document}