TeX source:

|1\rangle