with a vertical negation stroke. This negation symbol was reintroduced by Arend Heyting in 1930 to distinguish intuitionistic from classical negation. It also appears in Gerhard Gentzen's doctoral dissertation.

In the Tractatus Logico Philosophicus, Ludwig Wittgenstein pays homage to Frege by employing the term Begriffsschrift