Lo siento si ya se ha preguntado esto antes, pero buscar en Google parece no funcionar bien con "\left". o variaciones.
Estoy usando el siguiente patrón tomado de una fórmula en la sección de productos cartesianos de Wikipedia sobre productos infinitos, donde las barras verticales coinciden con la altura del soporte, a diferencia\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\}
Representado como:
Pero parece tener un pequeño espacio en blanco antes de la primera palabra que se acumula con el uso repetido.
\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*}
Se representa como:
¿Hay alguna manera de lograr barras verticales de altura correcta sin la acumulación de espacios en blanco después del corchete izquierdo?
Respuesta1
Cada \left.o \right.agrega espacio en la cantidad de \nulldelimiterspace, por lo que puedes eliminarlo
\kern-\nulldelimiterspace
Por otro lado, existen mejores formas de escribir la fórmula. Yo iría con el último.
\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}
