Considere a seguinte equação:
que produzi com o seguinte código:
\begin{equation}
\begin{gathered}
\mathbb{P}\left\{\vect{x}_i \in \mathscr{N}(H_{\vect{\uplambda}})\right\} \geq \frac{2^{n - r}}{2^n} = 2^{-r} \quad \forall i, \, 1 \leq i \leq \ceil*{\frac k n} \\
\begin{aligned}
\Longrightarrow \mathbb{P}\left\{\vect{x}_1, \ldots, \vect{x}_{\ceil*{\frac k n}} \in\ \mathscr{N}(H_{\vect{\uplambda}})\right\} &= \prod\nolimits_{i = 1}^{\ceil*{\frac k n}} \mathbb{P}\left\{\vect{x}_i \in \mathscr{N}(H_{\vect{\uplambda}})\right\} \\ &\geq 2^{-\ceil*{\frac k n} r}
\end{aligned}
\end{gathered}\label{eq:prob}
\end{equation}
Agora, como você pode ver, os \mathbb{P}'s não estão muito bem alinhados (e o desalinhamento ficaria ainda maior se a linha 2 fosse maior). Então minha pergunta é: qual seria a melhor forma de alinhá-los?
Usando alignedambientes semelhantes, eu precisaria de 1 ponto de alinhamento na linha 1 (o \mathbb{P}), dois na linha 2 (o primeiro \mathbb{P}e o =) e um na linha 3 (o \geq). Não creio que seja possível ter um número variável de pontos de alinhamento, por isso estou perdido.
Ignore os comandos personalizados (como \vect, que é basicamente um wrapper para \bme \mathrm). Obrigado.
EDITAR:Aqui está um trecho completo que pode ser usado para reproduzir a equação:
\documentclass[a4paper]{article}
\usepackage{amsmath,amssymb,amsthm}
\usepackage{bm}
\usepackage{mathrsfs}
\usepackage{mathtools}
\usepackage{upgreek}
\newcommand{\vect}[1]{\bm{\mathrm{#1}}}
\DeclarePairedDelimiter{\ceil}{\lceil}{\rceil}
\begin{document}
\begin{equation}
\begin{gathered}
\mathbb{P}\left\{\vect{x}_i \in \mathscr{N}(H_{\vect{\uplambda}})\right\} \geq \frac{2^{n - r}}{2^n} = 2^{-r} \quad \forall i, \, 1 \leq i \leq \ceil*{\frac k n} \\
\begin{aligned}
\Longrightarrow \mathbb{P}\left\{\vect{x}_1, \ldots, \vect{x}_{\ceil*{\frac k n}} \in\ \mathscr{N}(H_{\vect{\uplambda}})\right\} &= \prod\nolimits_{i = 1}^{\ceil*{\frac k n}} \mathbb{P}\left\{\vect{x}_i \in \mathscr{N}(H_{\vect{\uplambda}})\right\} \\ &\geq 2^{-\ceil*{\frac k n} r}
\end{aligned}
\end{gathered}\label{eq:prob}
\end{equation}
\end{document}
Responder1
Use aninhado aligned. Lembre-se de que, por algum motivo, alignedadiciona algum espaço antes dele, que você deve remover manualmente, por exemplo \!. Além disso, você não precisa carregar amsmathse carregar mathtools.
\documentclass{article}
\usepackage{mathtools,amssymb}
\usepackage{bm}
\usepackage{mathrsfs}
\usepackage{upgreek}
\newcommand{\vect}[1]{\bm{\mathrm{#1}}}
\DeclarePairedDelimiter{\ceil}{\lceil}{\rceil}
\begin{document}
\begin{equation}
\begin{aligned}
&\mathbb{P}\left\{\vect{x}_i \in \mathscr{N}(H_{\vect{\uplambda}})\right\} \geq \frac{2^{n - r}}{2^n} = 2^{-r} \quad \forall i, \, 1 \leq i \leq \ceil*{\frac k n} \\
\Longrightarrow \;&\!\begin{aligned}[t]
\mathbb{P}\left\{\vect{x}_1, \ldots, \vect{x}_{\ceil*{\frac k n}} \in\ \mathscr{N}(H_{\vect{\uplambda}})\right\} &= \prod\nolimits_{i = 1}^{\ceil*{\frac k n}} \mathbb{P}\left\{\vect{x}_i \in \mathscr{N}(H_{\vect{\uplambda}})\right\} \\ &\geq 2^{-\ceil*{\frac k n} r}
\end{aligned}
\end{aligned}\label{eq:prob}
\end{equation}
\end{document}
Responder2
Uma alternativa ao aninhamento é usar um alinhamento único, mas ocultar a largura da primeira linha.
\documentclass[a4paper]{article}
\usepackage{amsmath,amssymb,amsthm}
\usepackage{bm}
\usepackage{mathrsfs}
\usepackage{mathtools}
\usepackage{upgreek}
\newcommand{\vect}[1]{\bm{\mathrm{#1}}}
\DeclarePairedDelimiter{\ceil}{\lceil}{\rceil}
\begin{document}
\begin{equation}
\begin{alignedat}{2}
&\mathbb{P}\left\{\vect{x}_i \in \mathscr{N}(H_{\vect{\uplambda}})\right\} \geq \frac{2^{n - r}}{2^n} = 2^{-r} \quad \forall i, \, 1 \leq i \leq \ceil*{\frac k n} \hspace{-\textwidth}\\
{}\Longrightarrow{}
&\mathbb{P}\left\{\vect{x}_1, \ldots, \vect{x}_{\ceil*{\frac k n}} \in\ \mathscr{N}(H_{\vect{\uplambda}})\right\} &&= \prod\nolimits_{i = 1}^{\ceil*{\frac k n}} \mathbb{P}\left\{\vect{x}_i \in \mathscr{N}(H_{\vect{\uplambda}})\right\} \\
&&&\geq 2^{-\ceil*{\frac k n} r}
\end{alignedat}
\label{eq:prob}
\end{equation}
\end{document}