[Tex/LaTex] Scaling of “\langle” and “\rangle” for large enclosed symbols

math-modetypography

My question is about what you guys think about the formatting of the inner product when we have large characters. Like, do you think that it is better to resize the braces "$\langle$" and "$\rangle$" according to the equation inside or do you think its better not. For example, which one is better graphically:

$$\langle x, \sum_{j\in I_{n^m-k}}p_j^i\xi_j+\sum_{j\in I_k}l_j^i\eta_j \rangle$$

or

$$\left\langle x, \sum_{j\in I_{n^m-k}}p_j^i\xi_j+\sum_{j\in I_k}l_j^i\eta_j \right\rangle$$

I will write a sequence of equalities of inner products and some of them have big symbols inside and others don't, like

$$\langle x, \zeta_i\rangle =\left\langle x, \sum_{j\in I_{n^m-k}}p_j^i\xi_j+\sum_{j\in I_k}l_j^i\eta_j \right\rangle = \sum_{j\in I_{n^m-k}}p_j^i\langle x, \xi_j\rangle+\sum_{j\in I_k}l_j^i\langle x, \eta_j\rangle.$$

Is that weird graphically for you? It is better to write like below?

$$\langle x, \zeta_i\rangle =\langle x, \sum_{j\in I_{n^m-k}}p_j^i\xi_j+\sum_{j\in I_k}l_j^i\eta_j \rangle = \sum_{j\in I_{n^m-k}}p_j^i\langle x, \xi_j\rangle+\sum_{j\in I_k}l_j^i\langle x, \eta_j\rangle.$$

Best Answer

Neither of those is good. As you can see the unscaled delimiters, as well as the automatically scaled ones, look out of place. Therefore, I advise you to use manually scaled delimiters. They come in four different sizes and different spacing variants for left, middle, and right delimiters. In ascending order:

left    middle  right
\bigl   \big    \bigr
\Bigl   \Big    \Bigr
\biggl  \bigg   \biggr
\Biggl  \Bigg   \Biggr

Here you can see an example of usage. Personally I also like to define a macro for the simple \langle ... \rangle combination, so I don't have to type so much.

\documentclass{article}
\def\<#1>{\mathinner{\langle#1\rangle}}
\begin{document}
\[
  \<x, \zeta_i>
  = \biggl< x, \sum_{j\in I_{n^m-k}}p_j^i\xi_j+\sum_{j\in I_k}l_j^i\eta_j \biggr>
  = \sum_{j\in I_{n^m-k}}p_j^i \<x, \xi_j> + \sum_{j\in I_k}l_j^i \<x, \eta_j>.
\]
\end{document}

You could also get away with \Big instead of \bigg and it would still look decent.

enter image description here

Related Question