HTML test document for itex2MML