"|->" is missing as an operator in builtins.py

[rocky]

|-> an alternate operator form for a function. It should be included in builtins.py under the tuple for OPERATORS

[rsmenon]

Thanks for bringing this up. Looks like this might have been added in version 12.2 for Function, along with //= for ApplyTo (and possibly others). Unfortunately I don't have access to v12.2 to study the behaviour, but I'll try to get my hands on it and do a larger update with other new operators and symbols.