History of notations[edit] Negation: the symbol appeared in Heyting in 1930[3][4] (compare to Frege's symbol ⫟ in his Begriffsschrift[5]); the symbol appeared in Russell in 1908;[6] an alternative notation is to add a horizontal line on top of the formula, as in ; another alternative notation is to use a prime symbol as in . Conjunction: the symbol appeared in Heyting in 1930[3] (compare to Peano'
![Logical connective - Wikipedia](https://cdn-ak-scissors.b.st-hatena.com/image/square/c26fca765ab547b670d0df3097287a57edaecea1/height=288;version=1;width=512/https%3A%2F%2Fupload.wikimedia.org%2Fwikipedia%2Fcommons%2Fthumb%2F3%2F3e%2FLogical_connectives_Hasse_diagram.svg%2F1200px-Logical_connectives_Hasse_diagram.svg.png)