TeX Quellcode:

w^2+17 > 0