Using htmlspecialchars