Tous les symboles définis par l'utilisateur peuvent être utilisés en tant que grand opérateur s'ils sont précédés par oper comme dans l'exemple.
oper