TeX rendering for ERC