Add the overbar symbol to the html renderer.