TeX source:
80\,=\,x