Use 'v' instead of '▽'

[rentruewang]

Use of ▽ always cause problems on Github. (and my editor which is vscode).

Is it possible for there to be a configuration where it uses 'v' instead? This has the benefit of being a normal ascii character so monospace fonts are guaranteed to space it correctly.

Thank you for reading!

[ArthurSonzogni]

There is a "ascii-only" option for the "GraphPlanar" tool. Do you mean adding the same for "GraphDAG"?

[rentruewang]

@ArthurSonzogni Yes that would be helpful. However, I think the problem for me is more about ▽ having a different width rather than enforcing ascii. (See below)

▽▽▽▽▽▽
aaaaaa
vvvvvv