\ProvidesPackage{coronet} \renewcommand{\rmdefault}{cot} \endinput