TeX source:
7.225\neq -170