LaTeX style for Event-B