TeX source:
b≠0