pub const neg: Symbol;