TeX source:
|1> is Ib|^2