Definition:

operator