TeX source:
|a\rangle = \begin{bmatrix}a_0\\a_1\end{bmatrix}, \qquad |b\rangle = \begin{bmatrix}b_0\\b_1\end{bmatrix},