[gathering-options] Arrow symbol

[David M. Lloyd]

On 06/22/2011 09:53 AM, Mark Thornton wrote:
> On 22/06/11 14:43, Stephen Colebourne wrote:
>> Use ->
>>     {x ->    x + 1}
>>     (x) ->    {x + 1}
>>
>> Use =>
>>     {x =>    x + 1}
>>     (x) =>    {x + 1}
>>
>>
> To save others the trouble here are the obvious unicode arrows
>
> Use ?
>     {x ?  x + 1}
>     (x) ?  {x + 1}
>
> Use ?
>     {x ?  x + 1}
>     (x) ?  {x + 1}
>
> (with a larger arrow font size)
>     {x?   x + 1}
>     (x)?   {x + 1}
>
>
>
> Doesn't look that good in the font/size shown above

This came across as:

Content-Type: text/plain; charset="us-ascii"

So can't really tell what you were after.  But I can say that there are 
dozens of Unicode arrows... possibly thousands of Unicode candidates all 
told.  I'm not sure it's wise to open that particular can of worms.

-- 
- DML