summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/fonts/bguq
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2012-07-23 17:21:55 +0000
committerKarl Berry <karl@freefriends.org>2012-07-23 17:21:55 +0000
commitd6443c8e1ba759d9b6289abbcd2696a61f52fb06 (patch)
treecba2aae4adfec17c5a0c24106465da205432b60a /Master/texmf-dist/source/fonts/bguq
parentdadf86ec2d90ed4529037604a8dcea9f660045b8 (diff)
new font bguq (20jul12)
git-svn-id: svn://tug.org/texlive/trunk@27110 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/source/fonts/bguq')
-rw-r--r--Master/texmf-dist/source/fonts/bguq/bguq.dtx150
-rw-r--r--Master/texmf-dist/source/fonts/bguq/bguq.ins14
2 files changed, 164 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/fonts/bguq/bguq.dtx b/Master/texmf-dist/source/fonts/bguq/bguq.dtx
new file mode 100644
index 00000000000..703a9ab2036
--- /dev/null
+++ b/Master/texmf-dist/source/fonts/bguq/bguq.dtx
@@ -0,0 +1,150 @@
+% \iffalse meta-comment
+%
+% Copyright 2012 J.J. Green
+% $Id: bguq.dtx,v 1.6 2012/07/18 22:45:37 jjg Exp $
+%
+% Changes:
+% 0.1 - 2012/07/16 - first working version
+% 0.2 - 2012/07/18 - code tidying, comments
+% 0.3 - 2012/xx/xx - documentation fixes
+%
+% \fi
+%
+% \CheckSum{844}
+%% \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 \~}
+%
+% \iffalse % this is a METACOMMENT !
+%
+%<package>\NeedsTeXFormat{LaTeX2e}
+%<package>\ProvidesPackage{bguq}
+%<-driver> [2012/07/19 0.3
+%<package> Begriffsschrift universal quantifier package]
+%
+%<*driver>
+\documentclass[10pt]{ltxdoc}
+\OnlyDescription
+\usepackage[8]{bguq}
+\usepackage[bguq]{begriff-bguq}
+\setlength{\BGthickness}{0.8pt}
+\usepackage{amssymb}
+\providecommand\dst{\expandafter{\normalfont\scshape docstrip}}
+\renewcommand{\quad}{{\hskip1em plus 2em}}
+\begin{document}
+\DocInput{bguq.dtx}
+\end{document}
+%</driver>
+% \fi
+%
+% \GetFileInfo{bguq.sty}
+% \title{The \texttt{bguq} macro package for \LaTeXe}
+% \author{J.J. Green}
+% \date{Version \fileversion{} \filedate}
+% \maketitle
+%
+% \setcounter{StandardModuleDepth}{1}
+%
+% \noindent
+% This file defines the package |bguq| which provides \LaTeXe\ access
+% to the \textit{Begriffsschrift} universal quantifier ``$\bguq$''
+% from the \texttt{bguq} font in a small number of sizes. These are
+% are designed for setting the \textit{Begriffsschrift} diagrams used
+% by Frege.
+%
+% The package takes a single option which is an integer between
+% 4 and 12, this specifying the line-thickness of the quantifier
+% stroke in units of $1/10$\,pt for a document font-size of 10\,pt.
+% If the option is not specified then the value \texttt{8} will be
+% assumed. Note that the size of the symbol produced will depend on
+% the font size of the document (since the symbol needs to be wide
+% enough to accomodate the variable quantified) and the line-thickness
+% is scaled similarly --- in a 12\,pt document the line will be 1.2
+% times thicker, and so on.
+%
+% The package provides only two commands: the |\bguq| macro which,
+% in math-mode, produces the quantifer symbol, and |\bguqwidth| which
+% is a the width of the symbol (for use in fancy placement). It is not
+% expected that these commands will be used by end-users directly,
+% rather they are intended for package writers.
+%
+% Below we see the result of a test implementation in the
+% \texttt{begriff} package by Josh Parsons and Richard Heck.
+% \[
+% \BGnot\BGquant{\mathfrak{g}}2+3.\mathfrak{g}=5\mathfrak{g},
+% \]
+%
+% \StopEventually{}
+%
+% \section{The \dst{} modules}
+%
+% The following modules are used in the implementation to direct
+% \dst{} in generating the external files:
+% \begin{center}
+% \begin{tabular}{ll}
+% driver & produce a documentation driver file \\
+% package & produce a package file \\
+% \end{tabular}
+% \end{center}
+%
+% \section{The Implementation}
+% \subsection{The macro package}
+%
+%<*package>
+% There is one font file for each possible thickness of
+% the Begriff stroke, indicated by an integer giving the
+% value in units of $1/10$pt. We have an option for each
+% of the integers $4,\ldots,12$, and that option detemines
+% the variable |\bguqfont| (with default value for $8/10$pt).
+% \begin{macrocode}
+\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
+% \end{macrocode}
+% The symbol font declared is just the value of |\bguqfont|.
+% \begin{macrocode}
+\DeclareSymbolFont{\bguqfont}{U}{\bguqfont}{m}{n}
+% \end{macrocode}
+%
+% There is a single special symbol defined from this font:
+% \begin{macrocode}
+\DeclareMathSymbol{\bguq}{\mathord}{\bguqfont}{"20}
+\newlength{\bguqwidth}
+\settowidth{\bguqwidth}{\ensuremath\bguq}
+% \end{macrocode}
+% The character sizing
+% \begin{macrocode}
+\DeclareMathSizes{10}{10}{7}{5}
+% \end{macrocode}
+%</package>
+% \end{macrocode}
+%
+% The next line goes into all files and in addition prevents \dst{}
+% from adding any further code from the main source file (such as a
+% character table).
+% \begin{macrocode}
+\endinput
+% \end{macrocode}
+%
+% \DeleteShortVerb{\|}
+% \Finale
diff --git a/Master/texmf-dist/source/fonts/bguq/bguq.ins b/Master/texmf-dist/source/fonts/bguq/bguq.ins
new file mode 100644
index 00000000000..1e4366f8291
--- /dev/null
+++ b/Master/texmf-dist/source/fonts/bguq/bguq.ins
@@ -0,0 +1,14 @@
+% -*- tex -*-
+% fge.ins
+% docstrip wrapper for fge
+% J.J. Green 2005
+% $Id: bguq.ins,v 1.1 2012/07/16 22:04:14 jjg Exp $
+\def\batchfile{bguq.ins}
+\input docstrip.tex
+\preamble
+docstrip wrapper for bguq
+\endpreamble
+\keepsilent
+\generateFile{bguq.sty}{t}{\from{bguq.dtx}{package}}
+\endinput
+