We 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.
![]()
If you specify two variables
and
with
and
, then both are of type integer (
).
is not another type. There is just the additional condition
.