• EvenQ[expr] gives True if expr is an even integer, and False otherwise.
is manifestly an even integer (i.e., has head Integer
, and is even).
• You can use EvenQ[x] ^= True to override the normal operation of EvenQ, and effectively define x to be an even integer.
• New in Version 1.