On Thu, Aug 2, 2018 at 7:04 AM Stefan Monnier <monnier@iro.umontreal.ca>
wrote:

>
> I'd go with
>
>   -
>   ---
>   -----
>   -------
>   ---------
>
> so it can't be confused with an arrow at small sizes.


I also think it's the best option.

Philippe