From d6443c8e1ba759d9b6289abbcd2696a61f52fb06 Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Mon, 23 Jul 2012 17:21:55 +0000 Subject: new font bguq (20jul12) git-svn-id: svn://tug.org/texlive/trunk@27110 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf-dist/tex/latex/bguq/Ubguq04.fd | 4 + Master/texmf-dist/tex/latex/bguq/Ubguq05.fd | 4 + Master/texmf-dist/tex/latex/bguq/Ubguq06.fd | 4 + Master/texmf-dist/tex/latex/bguq/Ubguq07.fd | 4 + Master/texmf-dist/tex/latex/bguq/Ubguq08.fd | 4 + Master/texmf-dist/tex/latex/bguq/Ubguq09.fd | 4 + Master/texmf-dist/tex/latex/bguq/Ubguq10.fd | 4 + Master/texmf-dist/tex/latex/bguq/Ubguq11.fd | 4 + Master/texmf-dist/tex/latex/bguq/Ubguq12.fd | 4 + Master/texmf-dist/tex/latex/bguq/begriff-bguq.sty | 230 ++++++++++++++++++++++ Master/texmf-dist/tex/latex/bguq/bguq.cfg | 2 + Master/texmf-dist/tex/latex/bguq/bguq.sty | 46 +++++ 12 files changed, 314 insertions(+) create mode 100644 Master/texmf-dist/tex/latex/bguq/Ubguq04.fd create mode 100644 Master/texmf-dist/tex/latex/bguq/Ubguq05.fd create mode 100644 Master/texmf-dist/tex/latex/bguq/Ubguq06.fd create mode 100644 Master/texmf-dist/tex/latex/bguq/Ubguq07.fd create mode 100644 Master/texmf-dist/tex/latex/bguq/Ubguq08.fd create mode 100644 Master/texmf-dist/tex/latex/bguq/Ubguq09.fd create mode 100644 Master/texmf-dist/tex/latex/bguq/Ubguq10.fd create mode 100644 Master/texmf-dist/tex/latex/bguq/Ubguq11.fd create mode 100644 Master/texmf-dist/tex/latex/bguq/Ubguq12.fd create mode 100644 Master/texmf-dist/tex/latex/bguq/begriff-bguq.sty create mode 100644 Master/texmf-dist/tex/latex/bguq/bguq.cfg create mode 100644 Master/texmf-dist/tex/latex/bguq/bguq.sty (limited to 'Master/texmf-dist/tex/latex') 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 +% +% 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 +% 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'. -- cgit v1.2.3