In a totally different context (but with same semantics), it's known as the ChucK operator, or "chucking". https://chuck.cs.princeton.edu/doc/language/oper.htm

In a totally different context (but with same semantics), it's known as the ChucK operator, or "chucking". https://chuck.cs.princeton.edu/doc/language/oper.html https://chuck.cs.princeton.edu/doc/language/oper.html