TeX source:

|0\rangle