TeX source:
-\ln(17)