"arccot,arc cot"@la . . . "2"^^ . . . . . .