TeX source:

|w\rangle\in W