[gathering-options] Arrow symbol

[Stephen Colebourne]

As Remi suggested, it makes sense to run a thread to suggest choices
for the "arrow" symbol that is part of three of the four syntax
families.

- This thread is for GATHERING OPTIONS, not voting or discussing.
- You should only suggest an option if you personally prefer it to the
-> or => symbol
- You MUST include the two examples below converted to use your preferred symbol
- Suggesting a symbol does not imply that you want any syntax with an
arrow (ie. you can prefer strawman family, but suggest an arrow
symbol)
- Don't reply just to say "I don't want an arrow symbol"
- Don't reply to propose a syntax that is completely different to one
of the four syntax families

Use ->
  {x ->  x + 1}
  (x) ->  {x + 1}

Use =>
  {x =>  x + 1}
  (x) =>  {x + 1}


Stephen