The thin arrow token ("->").
->
ThinArrowToken ::= "->"
XPath 4.0 (Editor's Draft) InlineFunctionExpr