Rodin HandbookThis work is sponsored by the Deploy Project This work is sponsored by the ADVANCE Project This work is licensed under a Creative Commons Attribution 3.0 Unported License 
2.5.6 ArithmeticWe have the usual operations on integers, , , and (ASCII: +, , * and /). They can be compared with the usual equality operators: , , , (ASCII: <, <=, >=, >). (ASCII: INT) denotes the set of all integer numbers. and (ASCII: NAT and NAT1 respectively) are the subsets of natural numbers.
