<--- Back to Details
First PageDocument Content
Computing / Begriffsschrift / Gottlob Frege / LaTeX / TeX / Quantification / Man page / Analytic philosophy / Philosophical logic / Logic
Date: 2012-08-05 11:47:40
Computing
Begriffsschrift
Gottlob Frege
LaTeX
TeX
Quantification
Man page
Analytic philosophy
Philosophical logic
Logic

The bguq macro package for LATEX 2ε J.J. Green Version[removed]This file defines the package bguq which provides LATEX 2ε access to the Begriffsschrift universal quantifier “ ” from the bguq font in a small

Add to Reading List

Source URL: mirrors.hust.edu.cn

Download Document from Source Website

File Size: 114,07 KB

Share Document on Facebook

Similar Documents

Draft version October 9, 2018 Preprint typeset using LATEX style emulateapj vCAN MOONS HAVE MOONS? Juna A. Kollmeier1 & Sean N. Raymond2

Draft version October 9, 2018 Preprint typeset using LATEX style emulateapj vCAN MOONS HAVE MOONS? Juna A. Kollmeier1 & Sean N. Raymond2

DocID: 1xVRt - View Document

LATEX Sugar for Isabelle Documents Florian Haftmann, Gerwin Klein, Tobias Nipkow, Norbert Schirmer August 15, 2018 Abstract This document shows how to typset mathematics in Isabelle-based

LATEX Sugar for Isabelle Documents Florian Haftmann, Gerwin Klein, Tobias Nipkow, Norbert Schirmer August 15, 2018 Abstract This document shows how to typset mathematics in Isabelle-based

DocID: 1xVCA - View Document

LATEX Sugar for Isabelle Documents Florian Haftmann, Gerwin Klein, Tobias Nipkow, Norbert Schirmer August 15, 2018 Abstract This document shows how to typset mathematics in Isabelle-based

LATEX Sugar for Isabelle Documents Florian Haftmann, Gerwin Klein, Tobias Nipkow, Norbert Schirmer August 15, 2018 Abstract This document shows how to typset mathematics in Isabelle-based

DocID: 1xUVj - View Document

LATEX Sugar for Isabelle Documents Florian Haftmann, Gerwin Klein, Tobias Nipkow, Norbert Schirmer August 15, 2018 Abstract This document shows how to typset mathematics in Isabelle-based

LATEX Sugar for Isabelle Documents Florian Haftmann, Gerwin Klein, Tobias Nipkow, Norbert Schirmer August 15, 2018 Abstract This document shows how to typset mathematics in Isabelle-based

DocID: 1xTqv - View Document

PDF Document

DocID: 1xEgP - View Document