TeX Quellcode:
7.225\neq -170