Support for ASCII input

Currently, the input verbatim translate Unicode symbols into macros from bsymb.sty. The package should also accept the ASCII combinations (see the Event-B Concise Summary http://wiki.event-b.org/images/EventB-Summary.pdf by Ken Robinson).