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