Bene, adopererò anch'io il termine Operatore di Deferenziazione, quando non avrò fretta, ma se dovessi aver molta fretta lo chiamerò più velocemente axterisco.