summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/fonts/bguq/bguq.dtx
blob: 703a9ab2036f07615445d1e6a2921de26a4f9a0f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
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