\input amstex \operatorname{arccot}