new font bguq (20jul12)

git-svn-id: svn://tug.org/texlive/trunk@27110 c570f23f-e606-0410-a88d-b1316a301751

12 files changed, 314 insertions, 0 deletions

diff --git a/Master/texmf-dist/tex/latex/bguq/Ubguq04.fd b/Master/texmf-dist/tex/latex/bguq/Ubguq04.fd
new file mode 100644
index 00000000000..022b7ab75f3
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/bguq/Ubguq04.fd
@@ -0,0 +1,4 @@
+\DeclareFontFamily{U}{bguq04}{}
+\DeclareFontShape{U}{bguq04}{m}{n}{%
+<5><6><7><8><9><10><10.95><12><14.4><17.28> bguq10t04
+}{}
diff --git a/Master/texmf-dist/tex/latex/bguq/Ubguq05.fd b/Master/texmf-dist/tex/latex/bguq/Ubguq05.fd
new file mode 100644
index 00000000000..3ed3331a0c1
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/bguq/Ubguq05.fd
@@ -0,0 +1,4 @@
+\DeclareFontFamily{U}{bguq05}{}
+\DeclareFontShape{U}{bguq05}{m}{n}{%
+<5><6><7><8><9><10><10.95><12><14.4><17.28> bguq10t05
+}{}
diff --git a/Master/texmf-dist/tex/latex/bguq/Ubguq06.fd b/Master/texmf-dist/tex/latex/bguq/Ubguq06.fd
new file mode 100644
index 00000000000..0ea46defd64
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/bguq/Ubguq06.fd
@@ -0,0 +1,4 @@
+\DeclareFontFamily{U}{bguq06}{}
+\DeclareFontShape{U}{bguq06}{m}{n}{%
+<5><6><7><8><9><10><10.95><12><14.4><17.28> bguq10t06
+}{}
diff --git a/Master/texmf-dist/tex/latex/bguq/Ubguq07.fd b/Master/texmf-dist/tex/latex/bguq/Ubguq07.fd
new file mode 100644
index 00000000000..934f7673445
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/bguq/Ubguq07.fd
@@ -0,0 +1,4 @@
+\DeclareFontFamily{U}{bguq07}{}
+\DeclareFontShape{U}{bguq07}{m}{n}{%
+<5><6><7><8><9><10><10.95><12><14.4><17.28> bguq10t07
+}{}
diff --git a/Master/texmf-dist/tex/latex/bguq/Ubguq08.fd b/Master/texmf-dist/tex/latex/bguq/Ubguq08.fd
new file mode 100644
index 00000000000..96c18880b42
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/bguq/Ubguq08.fd
@@ -0,0 +1,4 @@
+\DeclareFontFamily{U}{bguq08}{}
+\DeclareFontShape{U}{bguq08}{m}{n}{%
+<5><6><7><8><9><10><10.95><12><14.4><17.28> bguq10t08
+}{}
diff --git a/Master/texmf-dist/tex/latex/bguq/Ubguq09.fd b/Master/texmf-dist/tex/latex/bguq/Ubguq09.fd
new file mode 100644
index 00000000000..5c49e25fd32
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/bguq/Ubguq09.fd
@@ -0,0 +1,4 @@
+\DeclareFontFamily{U}{bguq09}{}
+\DeclareFontShape{U}{bguq09}{m}{n}{%
+<5><6><7><8><9><10><10.95><12><14.4><17.28> bguq10t09
+}{}
diff --git a/Master/texmf-dist/tex/latex/bguq/Ubguq10.fd b/Master/texmf-dist/tex/latex/bguq/Ubguq10.fd
new file mode 100644
index 00000000000..b3f9b24c4c3
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/bguq/Ubguq10.fd
@@ -0,0 +1,4 @@
+\DeclareFontFamily{U}{bguq10}{}
+\DeclareFontShape{U}{bguq10}{m}{n}{%
+<5><6><7><8><9><10><10.95><12><14.4><17.28> bguq10t10
+}{}
diff --git a/Master/texmf-dist/tex/latex/bguq/Ubguq11.fd b/Master/texmf-dist/tex/latex/bguq/Ubguq11.fd
new file mode 100644
index 00000000000..f5dfcdb495b
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/bguq/Ubguq11.fd
@@ -0,0 +1,4 @@
+\DeclareFontFamily{U}{bguq11}{}
+\DeclareFontShape{U}{bguq11}{m}{n}{%
+<5><6><7><8><9><10><10.95><12><14.4><17.28> bguq10t11
+}{}
diff --git a/Master/texmf-dist/tex/latex/bguq/Ubguq12.fd b/Master/texmf-dist/tex/latex/bguq/Ubguq12.fd
new file mode 100644
index 00000000000..696a7af6136
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/bguq/Ubguq12.fd
@@ -0,0 +1,4 @@
+\DeclareFontFamily{U}{bguq12}{}
+\DeclareFontShape{U}{bguq12}{m}{n}{%
+<5><6><7><8><9><10><10.95><12><14.4><17.28> bguq10t12
+}{}
diff --git a/Master/texmf-dist/tex/latex/bguq/begriff-bguq.sty b/Master/texmf-dist/tex/latex/bguq/begriff-bguq.sty
new file mode 100644
index 00000000000..9cda902b988
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/bguq/begriff-bguq.sty
@@ -0,0 +1,230 @@
+% begriffHeck.sty - a LaTeX2e package for typesetting begriffsschrift
+
+% Copyright (C) 2003 by Josh Parsons <josh@coombs.anu.edu.au>
+% 
+% This program is free software; you can redistribute it and/or modify
+% it under the terms of the GNU General Public License as published by
+% the Free Software Foundation; either version 2 of the License, or
+% (at your option) any later version.
+% 
+% This program is distributed in the hope that it will be useful,
+% but WITHOUT ANY WARRANTY; without even the implied warranty of
+% MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+% General Public License for more details.
+% 
+% You should have received a copy of the GNU General Public License
+% along with this program; if not, write to the Free Software
+% Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111,
+% USA.
+
+% Changes made in October 2004 by Richard Heck <heck@fas.harvard.edu>
+% Purpose of changes: To make the format of the formulae closer to how
+% they are set in Frege's published works.
+%
+% Minor changes by Josh Parsons to fix problem with linespacing (May 2005)
+
+%%% identification
+\NeedsTeXFormat{LaTeX2e}
+\ProvidesPackage{begriff-bguq}
+
+% bguq : setup for bguq option
+\RequirePackage{ifthen}
+\newboolean{with@bguq}
+\setboolean{with@bguq}{false}
+\DeclareOption{bguq}{\setboolean{with@bguq}{true}}
+
+%%% initial code
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% thickness of lines
+\newlength{\BGthickness}
+\setlength{\BGthickness}{0.4pt}
+
+% additional length after a quantifier, conditional, negation, or assertion
+\newlength{\BGafterlen}
+\setlength{\BGafterlen}{2pt}
+
+% additional length before a quantifier, conditional, or negation
+\newlength{\BGbeforelen}
+\setlength{\BGbeforelen}{2pt}
+
+% space inserted before a formula
+\newlength{\BGspace}
+\setlength{\BGspace}{3pt}
+
+% total width of diagram
+% Heck (10/2004): Due to changes below, this is the total width of the DIAGRAM
+% and does not include the width of the terminal formulae. In previous versions,
+% it did include them.
+\newlength{\BGlinewidth}
+\setlength{\BGlinewidth}{\linewidth}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+%%% options
+%\DeclareOption{nothanks}{
+%	\renewcommand{\mythanks}[1]{}
+%	\let\@mythanks\relax
+%}
+\ProcessOptions
+
+%%% package dependencies
+
+%%% main code
+\ifthenelse{\boolean{with@bguq}}{%
+  \newcommand{\quanttype}{bguq }}{%
+  \newcommand{\quanttype}{qbezier }}
+\typeout{Begriffsschrift: 20 May 2005 (with \quanttype quantifier)}
+
+% bguq : info on quantifier
+
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% variable-sized parenthesis
+\newcommand{\BGbracket}[1]{%
+\setbox0=\hbox{\ensuremath{#1}}%
+\dimen0=\dp0%
+\addtolength{\dimen0}{.5\baselineskip}%
+\left(\vbox to \dp0 {\vskip.5\baselineskip\box0\vss}\right)%
+}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% generate a terminal node with fill-line to the left
+\newcommand{\BGterm}[1]{\unskip%
+\setbox0=\hbox{%
+\setlength{\BGlinewidth}{0pt}%
+\vrule height \baselineskip depth 0pt width 0pt% strut
+\vrule height \BGthickness width \BGafterlen depth 0pt%
+\ensuremath{\hskip\BGspace #1}%
+}%
+% Heck (10/2004): Removed the following line, so that the terminal formulae will
+% be left-aligned, as in Frege's published works.
+%\addtolength{\BGlinewidth}{-\wd0}%
+\vrule height \BGthickness width \BGlinewidth depth 0pt%
+\box0%
+\setlength{\BGlinewidth}{0pt}%
+}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% box up some maths and subtract its width from linewidth
+% Heck (10/2004): Because of the changes above, this should no longer be needed.
+% It remains for compatibility with previous versions.
+\newcommand{\BGstem}[1]{\unskip%
+\setbox0=\hbox{%
+\setlength{\BGlinewidth}{0pt}%
+\ensuremath{\hskip\BGspace #1}%
+}%
+\addtolength{\BGlinewidth}{-\wd0}%
+\box0%
+\hskip\BGspace%
+}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% generate a conditional \BGconditional{antecedent}{consequent}
+\newcommand{\BGconditional}[2]{\unskip%
+\addtolength{\BGlinewidth}{-\BGbeforelen}%
+\setbox0=\hbox{%
+\addtolength{\BGlinewidth}{-\BGafterlen}%
+\vrule height \baselineskip depth 3pt width 0pt% strut
+\vrule height \BGthickness width \BGafterlen depth 0pt%
+\ensuremath{\hskip\BGspace #1}%
+}%
+\setbox1=\hbox{%
+\addtolength{\BGlinewidth}{-\BGafterlen}%
+\vrule height 0pt depth .3\baselineskip width 0pt% strut
+\vrule height \BGthickness width \BGafterlen depth 0pt%
+\ensuremath{\hskip\BGspace #2}%
+}%
+\dimen0=0pt%
+\addtolength{\dimen0}{\dp1}%
+\addtolength{\dimen0}{\ht0}%
+\addtolength{\dimen0}{\lineskip}%
+\hbox{%
+\vrule width \BGbeforelen height \BGthickness depth 0pt%
+\kern-\BGthickness%
+\vrule width \BGthickness height \BGthickness depth \dimen0%
+\vtop{\box1\box0}%
+}%
+}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% generate an assertion sign
+\newcommand{\BGassert}[0]{%
+\addtolength{\BGlinewidth}{-\BGafterlen}%
+\addtolength{\BGlinewidth}{-\BGthickness}%
+\vrule width \BGthickness height 5pt depth 5pt%
+\vrule depth 0pt height \BGthickness width \BGafterlen%
+\hskip \BGspace%
+}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% generate a content stroke
+\newcommand{\BGcontent}[0]{%
+\addtolength{\BGlinewidth}{-\BGafterlen}%
+\vrule depth 0pt height \BGthickness width \BGafterlen%
+\hskip \BGspace%
+}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% generate a negation
+\newcommand{\BGnot}[0]{\unskip%
+\addtolength{\BGlinewidth}{-\BGbeforelen}%
+\addtolength{\BGlinewidth}{-\BGafterlen}%
+\vrule width \BGbeforelen height \BGthickness depth 0pt%
+\kern-\BGthickness%
+\vrule width \BGthickness height \BGthickness depth 3pt%
+\vrule depth 0pt height \BGthickness width \BGafterlen%
+\hskip \BGspace%
+}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% generate a universal quantifier
+\newcommand{\BGquant}[1]{\unskip%
+\addtolength{\BGlinewidth}{-\BGbeforelen}%
+\addtolength{\BGlinewidth}{-8pt}%
+\addtolength{\BGlinewidth}{-\BGafterlen}%
+\hbox{%
+\vrule width \BGbeforelen height \BGthickness depth 0pt%
+% bguq : draw the quantifier stroke depending in the value
+% of the with@bguq variable
+\ifthenelse{\boolean{with@bguq}}{%
+  % using bguq
+  \ensuremath\bguq
+  \kern-\bguqwidth
+  \vbox{%
+    \hbox to \bguqwidth%
+          {\hfill$\scriptstyle{\mathfrak{#1}}$\hfill}%
+    \vskip1pt}%
+}{%
+  % using qbezier
+  \setlength{\unitlength}{1pt}%
+  \kern-\BGthickness%
+  \begin{picture}(8,0)(0,0)%
+    \linethickness{\BGthickness}%
+    \qbezier(0,0)(4,-4)(8,0)%
+  \end{picture}%
+  \kern-8pt%
+  \vbox{\hbox to 8pt {%
+      \hskip1pt\hskip\BGthickness\hss$_{\mathfrak{#1}}$\hss}\vskip1pt}%
+}%
+% Heck (10/2004): Added "\mathfrak", since variables are 
+% always fraktur over quantifiers
+\vrule width \BGafterlen height \BGthickness depth 0pt%
+}%
+\hskip\BGspace%
+}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% Heck (10/2004): Convenience functions
+% Heck: What I'd like to do is add another (optional) argument to 
+% \BGif, so that if it is p, the premise is treated as \BGterm;
+% if it is c, the conculsion is; if it is d, both are. But this will
+% do for now.
+\newcommand{\BGif}[2]{\BGconditional{#1}{#2}}
+% Treat premise as a terminal node
+\newcommand{\BGifp}[2]{\BGconditional{\BGterm{#1}}{#2}}
+% Treat conclusion as a terminal node
+\newcommand{\BGifc}[2]{\BGconditional{#1}{\BGterm{#2}}}
+% Treat both as terminal nodes
+\newcommand{\BGifb}[2]{\BGconditional{\BGterm{#1}}{\BGterm{#2}}}
+\newcommand{\BGneg}[0]{\BGnot}
+\newcommand{\BGall}[1]{\BGquant{#1}}
diff --git a/Master/texmf-dist/tex/latex/bguq/bguq.cfg b/Master/texmf-dist/tex/latex/bguq/bguq.cfg
new file mode 100644
index 00000000000..0385c7ceb9f
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/bguq/bguq.cfg
@@ -0,0 +1,2 @@
+Map bguq.map
+
diff --git a/Master/texmf-dist/tex/latex/bguq/bguq.sty b/Master/texmf-dist/tex/latex/bguq/bguq.sty
new file mode 100644
index 00000000000..3ab4e222e8d
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/bguq/bguq.sty
@@ -0,0 +1,46 @@
+%%
+%% This is file `bguq.sty',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% bguq.dtx  (with options: `package')
+%% docstrip wrapper for bguq
+%% \CharacterTable
+%%  {Upper-case    \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z
+%%   Lower-case    \a\b\c\d\e\f\g\h\i\j\k\l\m\n\o\p\q\r\s\t\u\v\w\x\y\z
+%%   Digits        \0\1\2\3\4\5\6\7\8\9
+%%   Exclamation   \!     Double quote  \"     Hash (number) \#
+%%   Dollar        \$     Percent       \%     Ampersand     \&
+%%   Acute accent  \'     Left paren    \(     Right paren   \)
+%%   Asterisk      \*     Plus          \+     Comma         \,
+%%   Minus         \-     Point         \.     Solidus       \/
+%%   Colon         \:     Semicolon     \;     Less than     \<
+%%   Equals        \=     Greater than  \>     Question mark \?
+%%   Commercial at \@     Left bracket  \[     Backslash     \\
+%%   Right bracket \]     Circumflex    \^     Underscore    \_
+%%   Grave accent  \`     Left brace    \{     Vertical bar  \|
+%%   Right brace   \}     Tilde         \~}
+\NeedsTeXFormat{LaTeX2e}
+\ProvidesPackage{bguq}
+             [2012/07/19 0.3
+              Begriffsschrift universal quantifier package]
+\def\bguqfont{bguq08}
+\DeclareOption{4}{\def\bguqfont{bguq04}}
+\DeclareOption{5}{\def\bguqfont{bguq05}}
+\DeclareOption{6}{\def\bguqfont{bguq06}}
+\DeclareOption{7}{\def\bguqfont{bguq07}}
+\DeclareOption{8}{\def\bguqfont{bguq08}}
+\DeclareOption{9}{\def\bguqfont{bguq09}}
+\DeclareOption{10}{\def\bguqfont{bguq10}}
+\DeclareOption{11}{\def\bguqfont{bguq11}}
+\DeclareOption{12}{\def\bguqfont{bguq12}}
+\ProcessOptions\relax
+\DeclareSymbolFont{\bguqfont}{U}{\bguqfont}{m}{n}
+\DeclareMathSymbol{\bguq}{\mathord}{\bguqfont}{"20}
+\newlength{\bguqwidth}
+\settowidth{\bguqwidth}{\ensuremath\bguq}
+\DeclareMathSizes{10}{10}{7}{5}
+\endinput
+%%
+%% End of file `bguq.sty'.