What is the name of this operator: "-->"? | Hacker News Reader