pub const NOT_SIGN: char = '¬';