Source TeX:
b\ne 0