Correct HTML escape sequence for the default currency symbols.