You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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!
The text was updated successfully, but these errors were encountered:
@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)
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!
The text was updated successfully, but these errors were encountered: