Add definition of notations in the environment
Add infix notations to the generated Coq code in order to improve readability of arithmetic expressions.
Add infix notations to the generated Coq code in order to improve readability of arithmetic expressions.