Not sign

Logicians write ¬p for “not p”. The hooked sign is credited to Arend Heyting, a Dutch mathematician, in a 1930 paper on the rules of intuitionistic logic; Giuseppe Peano had earlier used a tilde for negation. It was among the rare logic symbols included in early computer character sets.