Display Greek small letter mu

[covracer]

%time foo() output is often copied into code comments to explain
performance improvements. The \xb5 Latin Extended micro sign and the
\u03bc Greek small letter mu have different codes but often look
identical.

Output mu to align with:

• The International System of Units (SI) brochure, such as Table 7 SI prefixes
• NFKC normalized Python code and domain names. For example:

python -c 'print("""class C:
    \xb5=1
print(hex(ord(dir(C)[-1])))""")' | tee /dev/fd/2 | python -

class C:
    µ=1
print(hex(ord(dir(C)[-1])))

0x3bc

• Section 2.5 Duplicated Characters of Unicode Technical Report 25

...U+03BC μ is the preferred character in a Unicode context.

• Ruff confusable mapping updates, currently in the "preview" stage

Add a unit test for UTF-8 display and
https://bugs.launchpad.net/ipython/+bug/348466 ASCII fallback.

[Carreau]

Seem reasonable to me. Out of curiosity how did you came across this ?

[covracer]

I worked on a Django app with duplicate entries in its units model/table, one using micro and the other mu. Wanting a linter or autoformatter to prevent the confusion led me to Ruff. Ruff's "ecosystem" checks of Pandas led me to %time output.