TeX Quellcode:

7.225\neq -170