@Katajanmarja: Thanks for this thread, I will try to remember...

Katajanmarja
2012-05-28T07:07:32-04:00

Thanks for this thread, I will try to remember in the future.

Earlier, many people including myself used the rigtwards arrow symbol, e.g.

create implication aaa_aaa → bbb_bbb

I found that one slightly easier to perceive and a lot more aesthetic, but aesthetics of writing is obviously not the primary goal on this forum. So, does an arrow sign work just as well for syntax purposes? Or is "->" (technically speaking, a hyphen-minus immediately followed by a greater-than sign) strictly the way to go?