Loading annotation for math.mit.edu