Grazie Enrico,
penso però sarebbe più bello che i \vdots fossero posizionati a metà del simbolo di uguaglianza. Ho trovato questa soluzione che produce il risultato voluto, ma vorrei sapere se c’è un modo più semplice o se è per qualche motivo sconsigliabile:
\newcommand\centerinspace[2]{\mathmakebox[\widthof{$\displaystyle{}#2{}$}]{#1}}
\[
\left\lbrace
PROTECTED3
\right.
\]
Ottengo un risultato nettamente migliore con
`\[
\left\lbrace
\begin{aligned}
a_1 &= b_1 \\
&\mathrel{\cvdots} \\
a_n &= b_n
\end{aligned}
\right.
\]`
dando la definizione
`\newcommand{\cvdots}[1][=]{\vcenter{\sbox0{$#1$}
\hbox to\wd0{\hss$\vphantom{A}\smash{\vdots}$\hss}}}`
L’argomento opzionale serve per dare, eventualmente, un altro simbolo rispetto alla cui larghezza centrare i puntini (per esempio \cvdots[\sum]).
Se si dovessero usare i puntini verticali anche in pedici o apici, o magari in smallmatrix, ecco qui:
`\usepackage{mathdots}
\newcommand{\cvdots}[1][=]{\mathpalette\inncvdots{#1}}
\newcommand{\inncvdots}[2]{\vcenter{\sbox0{$#1#2$}
\hbox to\wd0{\hss$#1\vphantom{A}\smash{\vdots}$\hss}}}`
Ciao
Enrico