Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Change <> replacements? #78

Open
benknoble opened this issue May 17, 2022 · 0 comments
Open

Change <> replacements? #78

benknoble opened this issue May 17, 2022 · 0 comments

Comments

@benknoble
Copy link

["<" ""] [">" ""]

These particular characters don't exist in the font I use in my terminal, so they appear as the empty block replacement character.

Perhaps « and » are viable? Though they may clash with some Rhombus work, they are at least far more likely to be supported by fonts.

I might prefer the escaped &lt; though in spite of the comment about editors and Markdown: I use vim, and even the "plain" version is relatively readable.

The last alternative I can think of is to "escape" all <> pairs by surrounding them with backticks, since `#<void>` doesn't give Markdown any trouble (though getting the representation into code, as I did, is non-trivial 😄 ).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant