Loading annotation for notational.net