output <latex> as <math><semantic><annotation> for editor widget