在对齐环境中右对齐一行

Question

在网站上搜索后，我发现了很多类似的相关问题，例如这，这或者这然而，到目前为止，我找到的所有问题的答案都没有准确地解决这个问题。

碰巧，我有一系列方程式，其中一些太长，无法容纳一行。我想将它们分成两部分，上部与 $=$ 符号对齐，下部与右边距对齐。在本例中，使用 \hspace 获得的输出应如下所示

\documentclass[11pt]{article}

\usepackage[english]{babel}
\usepackage{amsmath}

\begin{document}

Here I write a line to be sure of the precise and exact extension of the margin.

\begin{align*}
\mathrm{HTr}K^\Gamma_{\overline{M}_{-k}}(t) = &  \sum_{\gamma \in H(\Gamma)} \int_X \sum_{[\kappa] \in \Gamma\backslash\Gamma_\gamma} \sum_{n=1}^\infty  j(\kappa^{-1}\gamma^n\kappa,z)^k\times{} \\
& \hspace{4.6cm} \times K_{-k,\text{hyp}}(t;\kappa^{-1}\gamma^n\kappa(z),z) \mu_\text{hyp}(z) 
\intertext{Now I comment on the next step,}
= &  \sum_{\gamma \in H(\Gamma)} \int_X \sum_{[\kappa] \in \Gamma\backslash\Gamma_\gamma} \sum_{n=1}^\infty  j(\kappa^{-1}\gamma^n\kappa,z)^k\times{} \\
& \hspace{4.6cm} \times K_{-k,\text{hyp}}(t;\kappa^{-1}\gamma^n\kappa(z),z) \mu_\text{hyp}(z) 
\intertext{And finally it simplifies}
= & \; 0.
\end{align*}
\end{document}

有没有办法自动将第二行与右边距对齐？我想象在 align 环境中工作的一些类似 flushright 的东西，或者，正如目前的答案似乎暗示的那样，一种将方程式重新对齐到多行环境中的方法。

谢谢你！

Answer 1

你想要的环境是multline*，而不是align*：

\documentclass[11pt]{article}

\usepackage[english]{babel}
\usepackage{amsmath}

\DeclareMathOperator{\HTr}{HTr}

\begin{document}

Here I write a line to be sure of the precise and exact extension of the margin.
\begin{multline*}
\HTr K^\Gamma_{\overline{M}_{-k}}(t) =
  \sum_{\gamma \in H(\Gamma)} \int_X \sum_{[\kappa] \in \Gamma\setminus\Gamma_\gamma}
  \sum_{n=1}^\infty  j(\kappa^{-1}\gamma^n\kappa,z)^k\times{} \\
\times K_{-k,\mathrm{hyp}}(t;\kappa^{-1}\gamma^n\kappa(z),z) \mu_{\mathrm{hyp}}(z)
\end{multline*}
\end{document}

注意{}后面的\times。也是\mathrm{HTr}错误的，并且也是相同的\text{hyp}；你的\backslash应该是\setminus。

对于保持关系符号对齐的分割线，有multlined（需要mathtools）：

\documentclass[11pt]{article}

\usepackage[english]{babel}
\usepackage{mathtools}

\DeclareMathOperator{\HTr}{HTr}

\begin{document}

Here I write a line to be sure of the precise and exact extension of the margin.

\begin{align*}
\HTr K^\Gamma_{\overline{M}_{-k}}(t) 
&= \begin{multlined}[t]
   \sum_{\gamma \in H(\Gamma)} \int_X \sum_{[\kappa] \in \Gamma\setminus\Gamma_\gamma}
     \sum_{n=1}^\infty  j(\kappa^{-1}\gamma^n\kappa,z)^k\times{} \\[2ex]
   \times K_{-k,\text{hyp}}(t;\kappa^{-1}\gamma^n\kappa(z),z) \mu_{\mathrm{hyp}}(z)
   \end{multlined}
\intertext{Now I comment on the next step,}
&= \begin{multlined}[t]
   \sum_{\gamma \in H(\Gamma)} \int_X \sum_{[\kappa] \in \Gamma\setminus\Gamma_\gamma}
     \sum_{n=1}^\infty  j(\kappa^{-1}\gamma^n\kappa,z)^k\times{} \\[2ex]
   \times K_{-k,\mathrm{hyp}}(t;\kappa^{-1}\gamma^n\kappa(z),z) \mu_{\mathrm{hyp}}(z)
   \end{multlined}
\intertext{And finally it simplifies}
&= 0.
\end{align*}
\end{document}