entorno de tabulación sin espacio vertical circundante

Question

Esto probablemente se aplica a tabbingbloques enumeratey itemize, si no a otros.

¿Cómo deshacerse (o especificar) el espaciado vertical predeterminado que "envuelve"/rodea el bloque de elementos? Normalmente quiero esto, ya que se ve bien. Pero para algunas pruebas, quiero que todo el bloque de líneas tenga el mismo espacio vertical que las líneas alrededor del bloque.

Entonces, para ver un ejemplo de un tabbingbloque determinado, 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 es el predeterminado, pero no quiero este espacio vertical adicional alrededor del bloque:

Answer 1

Le sugiero que utilice un entorno arrayo un tabular.

Primero la arraysolución basada en:

\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}

En segundo lugar, con el material de preámbulo proporcionado anteriormente, es igual de fácil lograr su objetivo de formato empleando un tabularentorno. Todo lo que necesitas cambiar es reemplazar

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

con

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

y reemplazar \end{array}$con \end{tabular}.