HTML code instead explicit dollar signs