Mathematical typesetting for the web