TeX source:

\sigma|j\rangle = |j\rangle \implies (\sigma - \mathbf{I})\mathbf{A} = \mathbf{0},