What is the name of this operator: “-->”?