La liberté est une question orthogonale au salut. Employer un clone libre de vi peut satisfaire les demandes de la liberté, mais soit impie. Un éditeur de texte ne devrait pas simplement être libre ; ce devrait être un Emacs. Autrement, on pourrait aussi bien employer « GNU Cat » ou « GNU Ed » en tant que son éditeur de texte, ou manoeuvrez les noeuds d'index manuellement avec des aimants.
bguq
Un symbole quantificateur amélioré pour Begriffsschrift.
- Le paquetage $\rm\LaTeX$ et sa documentation
- La page CTAN
- Les paquetages frege (Q. Pamp) et grundgesetze (M. Rossberg) utilisent le quantificateur