KNU - relational operators

=, >, <, && (and), || (or), ! (not)
=> (implies)
forall, there exists, max, min (operators to be decided)
precondition: [ 0 <= x <= 9]
postcondition: [ 0 <= x <= 9, y^2 = x ]
short x = {2,4,5,>76};

unused operators:
~,!,@,#,$,^