Loading annotation for ncatlab.org