And then `Pair(x, y)` is usually written as `x to ...

# getting-started

[karelpeeters]

And then Pair(x, y) is usually written as x to y, the one acceptable case for infix functions simple smile.