TeX source:
-(-42)=42