"\left"를 사용하여 공백이 누적되는 것을 방지합니다.

Question

이전에 이런 질문을 했다면 죄송합니다. 인터넷 검색에서는 "\left"로는 잘 작동하지 않는 것 같습니다. 또는 변형.

나는 Wikipedia의 무한 제품에 대한 데카르트 제품 섹션의 공식에서 가져온 다음 패턴을 사용하고 있습니다. 여기서 수직 막대는 브래킷 높이와 일치합니다.\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.또는 마다 \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}