TeX source:

|01\rangle