TeX source:

\mathbf{A}\left[\left.O_{2}\right|_{\mathrm{O}_{1}}\left(O_{0}, O_{0}\right)\right]