-
-
Notifications
You must be signed in to change notification settings - Fork 5.6k
Open
Labels
REPLJulia's REPL (Read Eval Print Loop)Julia's REPL (Read Eval Print Loop)completionsTab and autocompletion in the replTab and autocompletion in the replunicodeRelated to unicode characters and encodingsRelated to unicode characters and encodings
Description
I don't love that we have our own custom mapping from strings to unicode characters. It is not friendly to users who switch between Julia and other programs that define similar though not identical mappings.
Given that we do have this mapping, I think we should
- 1. Continue to add common characters to it as requested (and document some guidelines for what characters to support)
- [ ] 2. Support all Unicode symbols by official name (e.g.(bad idea)\MUSICAL_SYMBOL_SINGLE_BARLINE
) - 3. Try to find and adopt a canonical mapping from strings to characters that is more ergonomic than unicode (e.g. latex?)
Originally posted by @LilithHafner in #54182 (comment)
Metadata
Metadata
Assignees
Labels
REPLJulia's REPL (Read Eval Print Loop)Julia's REPL (Read Eval Print Loop)completionsTab and autocompletion in the replTab and autocompletion in the replunicodeRelated to unicode characters and encodingsRelated to unicode characters and encodings