TeX source:

|10\rangle