周囲に垂直スペースのないタブ環境

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