Loading annotation for planetmath.org