:: deftheorem defines arccos SIN_COS6:def 3 :
arccos = (cos | [.0,PI.]) " ;