TeX source:
v(x)\neq 0