对齐非常长的有序对

Question

我想显示一个函数如何将一个非常长的值分配给有序对。我不确定 \mapsto 箭头应该放在哪里以及有序对中的第二个元素应该缩进多少。

这是一个 MWE。

\documentclass[paper=letter,fontsize=12pt]{scrreprt}
\usepackage[utf8]{inputenc}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{mathtools}

\begin{document}
\begin{equation}
        \Psi_{G}(s, t) \longmapsto \begin{aligned}
            &\big( \vee \!\{ m \in M_{G} \colon \Phi_{G}^{s}(m) - \Phi_{G}^{t}(m) > i \}, \\
            &\qquad \qquad \vee \!\{ m \in M_{G} \colon \Phi_{G}^{t}(m) - \Phi_{G}^{s}(m) > i \} \big) \text{.}
        \end{aligned}
    \end{equation}
\end{document}

该方程的形式如下。

Answer 1

这是我的建议：应该\mapsto与左括号保持水平。

\documentclass[paper=letter,fontsize=12pt]{scrreprt}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{mathtools}

\newcommand{\tbigvee}{\mathop{\mathchoice{\textstyle\bigvee}{\bigvee}{\bigvee}{\bigvee}}}

\begin{document}

\begin{equation}
\begin{aligned}
  \Psi_{G}(s, t) \mapsto {}
  &\bigl( \tbigvee \{ m \in M_{G} : \Phi_{G}^{s}(m) - \Phi_{G}^{t}(m) > i \}, \\
  &\qquad \tbigvee \{ m \in M_{G} : \Phi_{G}^{t}(m) - \Phi_{G}^{s}(m) > i \}
  \bigr).
\end{aligned}
\end{equation}

\end{document}

1. \big(和\big)是错误的，使用\bigl(和\bigr)
2. \longmapsto太长了（但这是个人观点）
3. \vee不是表示集合的上确界的正确符号；但是，在这种情况下，它\bigvee会太大，因此我提供了一个简化版本
4. \colon不是正确的符号；使用:以获得良好的间距

Answer 2

以下两种“外观”之一是否是您想要的？[双关语]

\documentclass[paper=letter,fontsize=12pt]{scrreprt}
%\usepackage[utf8]{inputenc} % that's the default nowadays
%\usepackage{amsmath} % amsmath is loaded automatically mathtools
\usepackage{amssymb}
\usepackage{mathtools} % for 'pmatrix*' env.
\usepackage{relsize}
\newcommand\Vee{\mathlarger{\vee}} % 20% linear enlargement

\begin{document}
\setcounter{chapter}{1} % just for this example

\begin{equation}
\Psi_{G}(s, t) \longmapsto 
\begin{aligned}[t]
\bigl(&\Vee \{ m \in M_{G} : \Phi_{G}^{s}(m) - \Phi_{G}^{t}(m) > i \}, \\
      &\Vee \{ m \in M_{G} : \Phi_{G}^{t}(m) - \Phi_{G}^{s}(m) > i \} \bigr) 
\end{aligned}
\end{equation}

\begin{equation}
\Psi_{G}(s, t) \longmapsto 
\begin{pmatrix*}[l]
   \Vee \{ m \in M_{G} : \Phi_{G}^{s}(m) - \Phi_{G}^{t}(m) > i \}, \\
   \Vee \{ m \in M_{G} : \Phi_{G}^{t}(m) - \Phi_{G}^{s}(m) > i \} 
\end{pmatrix*}
\end{equation}

\end{document}

Answer 3

也许给每个最高点起一个名字会让它更容易阅读：

\documentclass[paper=letter,fontsize=12pt]{scrreprt}
\usepackage[utf8]{inputenc}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{mathtools}

\begin{document}

For each $s$ and $t$, define
\begin{align*}
S(s,t)&=\bigvee \bigl\{ m \in M_{G} : \Phi_{G}^{s}(m) - \Phi_{G}^{t}(m) > i \bigr\} \\
\shortintertext{and}
T(s,t)&=\bigvee \bigl\{ m \in M_{G} : \Phi_{G}^{t}(m) - \Phi_{G}^{s}(m) > i \bigr\}.
\end{align*}
Then let 
\begin{equation}
    \Psi_{G}(s, t) \longmapsto \bigl(S(s,t),T(s,t)\bigr).
\end{equation}
\end{document}