Symbols like `<`, `<=` etc. are escaped before they are delivered to bots.
Symbols like
<,<=etc. are escaped before they are delivered to bots.