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

The macro \mu and the micro sign #3795

Open
xchatiii opened this issue Dec 4, 2024 · 1 comment
Open

The macro \mu and the micro sign #3795

xchatiii opened this issue Dec 4, 2024 · 1 comment
Labels
enhancement New feature or (non bug related) change to the program. good-first-issue These issues are relatively simple and good to get yourself acquainted with the codebase.

Comments

@xchatiii
Copy link

xchatiii commented Dec 4, 2024

Environment

IntelliJ IDEA 2024.3 (Ultimate Edition) on Windows and TeXiFy IDEA 0.9.9.

Image explains everything

image

Apparently there are two versions of μ (Greek Small Letter Mu (U+03BC)) and µ (Micro Sign (U+00B5)), the former of which is accounted by the plugin. I'm not sure how this can be fixed (convert to \mu?), but I don't think leaving it as is is a good choice.

As a side note, people suggested using the package siunitx to typeset a real micro sign anyway.

@xchatiii xchatiii added the untriaged Issue type still needs to be triaged or verified. label Dec 4, 2024
@PHPirates
Copy link
Collaborator

Thanks for the suggestion, indeed the nicest way would be to replace with siunitx commands, but this would probably be quite some work for a very rare case.
I think it should be fine to add \micro to the autocompletion list in LatexSiunitxCommand with the micro sign as display (maybe there are more commands like that?). At least that should clear up the confusion that it is not a mu.

@PHPirates PHPirates added enhancement New feature or (non bug related) change to the program. good-first-issue These issues are relatively simple and good to get yourself acquainted with the codebase. and removed untriaged Issue type still needs to be triaged or verified. labels Dec 4, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or (non bug related) change to the program. good-first-issue These issues are relatively simple and good to get yourself acquainted with the codebase.
Projects
None yet
Development

No branches or pull requests

2 participants