Loading annotation for opentheory.net