Replace HTML special chars by their HTML entity

&lt; < &gt; >