TeX source:

|0〉