TeX source:
+5