Tabulatorumgebung ohne umgebenden vertikalen Raum

Question

Dies gilt wahrscheinlich für - tabbing, enumerateund itemize-Blöcke, wenn nicht für andere.

Wie kann ich den standardmäßigen vertikalen Abstand, der den Block der Elemente „umschließt“ bzw. umgibt, entfernen (oder festlegen)? Normalerweise möchte ich das, da es gut aussieht. Für einige Beweise möchte ich jedoch, dass der gesamte Zeilenblock den gleichen vertikalen Abstand hat wie die Zeilen um den Block herum.

Hier ein Beispiel für einen bestimmten tabbingBlock wie diesen:

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

Dies ist das Standardergebnis, aber ich möchte diesen zusätzlichen vertikalen Abstand um den Block herum nicht:

Answer 1

Ich schlage vor, dass Sie entweder eine arrayoder eine tabularUmgebung verwenden.

Zuerst die array-basierte Lösung:

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

Zweitens ist es mit dem oben angegebenen Präambelmaterial genauso einfach, Ihr Formatierungsziel durch den Einsatz einer tabularUmgebung zu erreichen. Alles, was Sie ändern müssen, ist, zu ersetzen

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

mit

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

\end{array}$und durch ersetzen \end{tabular}.