TeX source:

80¢