Name:

! boolean NOT operator

Library name:

sollya_obj_t sollya_lib_negate(sollya_obj_t)

Usage:

! expr : boolean -> boolean

Parameters:

Description:

Example 1:

   > ! false;
   true

Example 2:

   > ! (1 == exp(0));
   false
See also: &&, ||
Go back to the list of commands