ambiente de tabulação sem espaço vertical circundante

Question

Isso provavelmente se aplica a tabbinge enumeratebloqueia itemize, se não a outros.

Como se livrar (ou especificar) do espaçamento vertical padrão que "envolve"/envolve o bloco de itens? Normalmente eu quero isso, porque parece bom. Mas, para algumas provas, quero que todo o bloco de linhas tenha o mesmo espaçamento vertical que as linhas ao redor do bloco.

Então, para um exemplo de um determinado tabbingbloco, como este:

\begin{tabbing}
$f \in ND ~~~\= \iff \varphi_f(x)<x$ \quad \quad \quad \= by definition of $ND$ \\
$\varphi_f(x)<x \> \iff \varphi_g(x)<x$ \> by our assumption of $Range(\varphi_f) = Range(\varphi_g)$ \\
$\varphi_g(x)<x \> \iff g \in ND$ \> by definition of $ND$
\end{tabbing}

Este resultado é o padrão, mas não quero esse espaçamento vertical extra ao redor do bloco:

Answer 1

Eu sugiro que você use um arrayou um tabularambiente.

Primeiro a arraysolução baseada em:

\documentclass{article}
\usepackage{amsmath}  % for '\DeclareMathOperator' macro
\usepackage{array}    % for '\newcolumntype' macro
\DeclareMathOperator{\Range}{\mathit{Range}}
\newcolumntype{L}{>{$}l<{$}}
\newcommand{\ND}{\mathit{ND}}

\begin{document}
Assume $\Range(\varphi_f)=\Range(\varphi_g)$.

$\begin{array}{@{}l@{}l@{\qquad}L@{}}
f\in\ND &{}\iff\varphi_f(x)<x & by definition of $\ND$ \\
\varphi_f(x)<x &{}\iff\varphi_g(x)<x &  by our assumption of $\Range(\varphi_f)=\Range(\varphi_g)$ \\
\varphi_g(x)<x &{}\iff g\in\ND & by definition of $\ND$\\
\end{array}$

This weak form of \dots
\end{document}

Segundo, com o material de preâmbulo fornecido acima, é igualmente fácil atingir seu objetivo de formatação empregando um tabularambiente. Tudo que você precisa mudar é substituir

$\begin{array}{@{}l@{}l@{\qquad}L@{}}

com

\begin{tabular}{@{}L@{}L@{\qquad}l@{}}

e para substituir \end{array}$por \end{tabular}.