workspace_user.gcl

WORKSPACE_ABS WORKSPACE_ADD WORKSPACE_AND WORKSPACE_APPEND WORKSPACE_ARCCOS WORKSPACE_ARCSIN WORKSPACE_ARCTAN WORKSPACE_COERCE WORKSPACE_COS WORKSPACE_DIVIDE WORKSPACE_EQUAL WORKSPACE_EXP WORKSPACE_GREATER_THAN WORKSPACE_GREATER_THAN_OR_EQUAL WORKSPACE_LESS_THAN WORKSPACE_LESS_THAN_OR_EQUAL WORKSPACE_LN WORKSPACE_LOG WORKSPACE_MODULO WORKSPACE_MULTIPLY WORKSPACE_NEGATED WORKSPACE_NOT WORKSPACE_NOT_EQUAL WORKSPACE_OR WORKSPACE_RAISED_TO WORKSPACE_SIN WORKSPACE_SQRT WORKSPACE_SUBTRACT WORKSPACE_TAN

WORKSPACE_NOT_EQUAL ( Workspace  W1, Workspace  W2   )