Now using HTML for superindex