TeX source:
r\neq0