TeX source:
BC ≠ 0