Loading annotation for typeset.io