This is so minor that it may as well be ignored, unless others have seen similar problems with other Unicode characters.

The &*9837; character is being displayed in a different color on my phone,...