TeX source:

|y\rangle