在 LaTeX 中是否有可以执行此操作的软件包？

Question

我想做这样的事

代码是什么？它是否使用包来完成该$$f\mapsto f\circ \pi$$部分？

Answer 1

您可以使用以下内容。

\documentclass{article}

\usepackage{amsmath}

\begin{document}

\begin{align*}
  \pi^{\ast} \colon C^{k}(P,N) &\to     C^{k}(M,N)  \\[-1ex]
  f                            &\mapsto f \circ \pi
\end{align*}

\end{document}

记住用于\colon地图；否则:您将得到冒号周围的错误间距。

Answer 2

您可以使用比使用五个参数具有更好语法的自定义命令：

\documentclass{article}
\usepackage{xparse,array}

\NewDocumentCommand{\map}{s m >{\SplitArgument{1}{\to}}m >{\SplitArgument{1}{\mapsto}}m}
 {\IfBooleanTF{#1}{\onelinemap{#2}#3#4}{\twolinemap{#2}#3#4}}

\NewDocumentCommand{\onelinemap}{mmmmm}
 {#1\colon #2\to#3,\quad #4\mapsto #5}

\NewDocumentCommand{\twolinemap}{mmmmm}
 {\begin{array}{@{}r@{}>{{}}l@{}}
  #1\colon #2 & \to #3\\
  #4 & \mapsto #5
  \end{array}}

\begin{document}
\[
\map*{\pi}{C^k(P,N) \to C^k(M,N)}{f \mapsto \pi\circ f}
\]
\[
\map{\pi}{C^k(P,N) \to C^k(M,N)}{f \mapsto \pi\circ f}
\]
\end{document}

-variant*打印一行版本。