Since all of the escaping has the same form (append \\), maybe consider writing a function that you pass a list of symbols to?