табуляция среды без окружающего вертикального пространства

Question

Вероятно, это относится к tabbing, enumerateи itemizeблокам, если не к другим.

Как избавиться (или указать) от вертикального интервала по умолчанию, который "оборачивает" / окружает блок элементов? Обычно я хочу этого, так как это выглядит красиво. Но для некоторых доказательств я хочу, чтобы весь блок строк имел тот же вертикальный интервал, что и линии вокруг блока.

Итак, для примера данного tabbingблока, такого как этот:

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

Это результат по умолчанию, но мне не нужен этот дополнительный вертикальный интервал вокруг блока:

Answer 1

Я предлагаю вам использовать либо окружение, arrayлибо tabularсреду.

Первое arrayрешение на основе :

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

Во-вторых, с материалом преамбулы, данным выше, так же легко достичь цели форматирования, используя tabularсреду. Все, что вам нужно будет изменить, это заменить

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

с

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

и заменить \end{array}$на \end{tabular}.