Freedom is an orthogonal issue to salvation. Using a GPL'ed vi clone may satisfy the demands of freedom, and yet be profane. A text editor should not merely be free; it should be an Emacs. Else, one might as well use GNU Cat or GNU Ed as one's text editor, or manipulate the inodes manually with magnets.
bguq
An improved quantifier stroke for Begriffsschrift.
- The $\rm\LaTeX$ package and its documentation
- The CTAN page
- The packages frege (Q. Pamp) and grundgesetze (M. Rossberg) use the quantifier