pub const not: Symbol;