Clarity: HTML special character is converted to its corresponding HTML code