%%
%% 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/08/05 0.4
              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'.