Also note that the backslash is not appearing in the HTML output; it probably needs escaping with a second one like "\\"