diff options
Diffstat (limited to 'Master/texmf-dist/source')
| -rw-r--r-- | Master/texmf-dist/source/fonts/bguq/bguq.dtx | 150 | ||||
| -rw-r--r-- | Master/texmf-dist/source/fonts/bguq/bguq.ins | 14 |
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 + |