TeX source:
\mathrm{IR}=17