-
Notifications
You must be signed in to change notification settings - Fork 26
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
Use the same $\mu$ character that the REPL produces with \mu-TAB #23
Conversation
Is this a breaking change, or does normalization hide the issue? |
If users have units written to a disk file, this would be breaking. (I will be one such user affected by this change.) However, after talking with Keno, we both wonder whether the better approach might be to change the \mu rendered in the REPL. For both him and me, the one that \mu-TAB produces is not the one that is suggested by our OS. So if you use the character generator rather than the LaTeX mode, you get conflicts. CC @stevengj, @JeffBezanson. |
Technically, the micro sign µ in micrometers etc. is a different codepoint than the greek small mu that is produced by However, I think that this distinction is not worth preserving, and we are better off with using the same |
No, Yes, typing option-m on MacOS produces the micro sign, not mu. But using Greek input mode on MacOS (which is what I used to use for Greek letters in Julia prior to the LaTeX substitutions) produces mu. |
As discussed in JuliaLang/julia#5903, it might be worthwhile to normalize µ (micro) to μ (mu) in identifiers, as one of a limited set of additions to NFC normalization. |
I'll be happy with any decision that synchronizes these two. |
Now that tab completion is more prevalent, I think this should be merged, even if it's not the µ you get from the keyboard. |
Why not just export both versions? |
Oh, huh, somehow I had not considered that option ;). Great idea! |
Done |
No description provided.