TeX source:
R=4.00