Loading annotation for mathinsight.org