TeX source:
b \neq 1