Loading annotation for settheory.net