Cambiar nombre de operador, se puede?

Versión para imprimir