Java Style Guide: Microseconds Unicode

I noticed this and I'm wondering if its intentional or overly pedantic.

In the Java style guide right away for the beginning, it lists the a unit abbreviation for Microseconds while clarifying good and bad ways to represent it.

However, it specifies using 0x03BC for "Greek Small Letter Mu", when there's also 0x00B5 for "Micro" sign.
Is this a possible minor incorrectness when the intent was to convey micro vs mu?

Really minor, but I figured I'd ask.