TeX source:

|x\rangle