防止使用“\left”累積空格。

Question

抱歉，如果之前有人問過這個問題，但谷歌搜尋似乎不適用於“\left”。或變化。

我使用的以下模式取自維基百科笛卡爾積部分關於無限乘積的公式，其中垂直條與括號高度匹配，這與\mid

\prod_{i \in I} X_i = \left\{\left. f : I \to \bigcup_{i \in I} X_i\ \right|\ (\forall i)(f(i) \in X_i)\right\}

渲染為：

但在第一個單字之前似乎有一個小的空格，隨著重複使用而累積。

\begin{align*}
& \left(a\right) \\
& \left(\left.a \ \right|\ b\right) \\
& \left(\left.\left.a\ \right|\ b\ \right|\ c\right) \\
& \left(\left.\left.\left.a\ \right|\ b\ \right|\ c\ \right|\ d\right)
\end{align*}

呈現為：

有沒有什麼方法可以實現正確高度的垂直條，而無需在左括號後面累積空格？

Answer 1

每個\left.or\right.都會新增 的空格\nulldelimiterspace，因此您可以透過以下方式刪除它

\kern-\nulldelimiterspace

另一方面，有更好的方法來輸入公式。我會選最後一個。

\documentclass{article}
\usepackage{amsmath}

\begin{document}

\noindent
First attempt (yours):
\[
\left\{ \left.f\colon I \to \bigcup_{i \in I} X_i\ \right|\ (\forall i)(f(i) \in X_i)\right\}
\]
Second attempt:
\[
\left\{ f\colon I \to \bigcup_{i \in I} X_i \;\middle|\; (\forall i)(f(i) \in X_i)\right\}
\]
Third attempt:
\[
\biggl\{ f\colon I \to \bigcup_{i \in I} X_i \biggm| (\forall i)(f(i) \in X_i)\biggr\}
\]
Fourth attempt:
\[
\Bigl\{ f\colon I \to \bigcup_{i \in I} X_i \Bigm| (\forall i)(f(i) \in X_i)\Bigr\}
\]

\end{document}