'not' in GRZ-ops by ENUMSET1:def 1;
hence 'not' is Element of GRZ-symbols by XBOOLE_0:def 3; :: thesis: verum