bguq – Improved quantifier stroke for Begriffsschrift packages
The font contains a single character: the Begriffsschrift quantifier (in several sizes), as used to set the Begriffsschrift (concept notation) of Frege.
The font is not intended for end users; instead it is expected that it will be used by other packages which implement the Begriffsschrift. An (unofficial) modified version of Josh Parsons’ begriff is included as an example of implementation.
|License||The LaTeX Project Public License|
|Contained in||TeX Live as bguq|
|MiKTeX as bguq|
fonts for use in mathematics
fonts with specific small application areas
typesetting logician’s discussions
Download the contents of this package in one zip archive (144.8k).
Maybe you are interested in the following packages as well.
- eurosym: METAFONT and macros for Euro sign
- wnri: Ridgeway's fonts
- oands: Glyphs used when transliterating ancient scripts
- logic: A font for electronic logic design