Question: Why do I get back ticks when typesetting with HTML decimal code

Why are characters printed with additional back ticks when decimal HTML code is used (see output (3) below). lprint((3)) does not print them.

Looks like an exception. Is there a reason for that? Can it be used for something?

With HTML entitiy

`‰`

`‰`

(1)

With HTML hex code

`‰`

`‰`

(2)

With HTML decimal code

`‰`

`‰`

(3)
 

 

Download back_ticks_with_decimal_code.mw

Please Wait...