def XMLescape(txt):
 return txt.replace('&', '&amp;').replace('<', '&lt;').replace('>', '&gt;').replace('"', '&quot;').replace(u'\x0c', '').replace(u'\x1b', '')

def XMLescape ( txt ) : return txt . replace ( '&' , '&amp;' ) . replace ( '<' , '&lt;' ) . replace ( '>' , '&gt;' ) . replace ( '"' , '&quot;' ) . replace ( u'\x0c' , '' ) . replace ( u'\x1b' , '' )
returns provided string with symbols & < > " replaced by their respective xml entities .