TeX source:
420=c