Loading annotation for activecalculus.org