TeX source:
|v\rangle\in V