PHP Manual / Strings / htmlspecialchars
These characters need to be escaped before they can be written to HTML.