summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2014-06-27 00:01:57 +0000
committerKarl Berry <karl@freefriends.org>2014-06-27 00:01:57 +0000
commitcb1aa3f3d4b4a433b414bf3f726163df5272e5ad (patch)
treea4984dd8707534f938fce1859b204077cff2c24c /Master/texmf-dist/tex
parent112ac9ab798410f2e0fe5c5319df57376ad2144a (diff)
grundgesetze
git-svn-id: svn://tug.org/texlive/trunk@34439 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex')
-rw-r--r--Master/texmf-dist/tex/latex/grundgesetze/grundgesetze.sty41
1 files changed, 24 insertions, 17 deletions
diff --git a/Master/texmf-dist/tex/latex/grundgesetze/grundgesetze.sty b/Master/texmf-dist/tex/latex/grundgesetze/grundgesetze.sty
index 1e72c1ad1ad..13eb68d4ca8 100644
--- a/Master/texmf-dist/tex/latex/grundgesetze/grundgesetze.sty
+++ b/Master/texmf-dist/tex/latex/grundgesetze/grundgesetze.sty
@@ -23,7 +23,7 @@
%% Right brace \} Tilde \~}
\NeedsTeXFormat{LaTeX2e}
\ProvidesPackage{grundgesetze}
- [2014/03/22 1.01 grundgesetze package]
+ [2014/06/16 1.02 grundgesetze package]
%% \end{itemize}
\newlength{\GGthickness}
\setlength{\GGthickness}{0.4pt}
@@ -39,13 +39,20 @@
\setlength{\GGlift}{2pt}
\newlength{\GGlinewidth}
\setlength{\GGlinewidth}{\linewidth}
-\RequirePackage{ifthen}
-\newboolean{bguq}
-\setboolean{bguq}{false}
-\DeclareOption{bguq}{\setboolean{bguq}{true}}
-\ProcessOptions
-\ifthenelse{\boolean{bguq}}{\RequirePackage[5]{bguq}}{}%
-\typeout{Grundgesetze Begriffsschrift: November 2013}
+\RequirePackage{kvoptions}
+\SetupKeyvalOptions{family=grundgesetze,prefix=grundgesetze@}
+\DeclareStringOption{bguq}[5]
+\ProcessKeyvalOptions{grundgesetze}
+\ifx\grundgesetze@bguq\@empty
+\else
+ \RequirePackage[\grundgesetze@bguq]{bguq}
+\fi
+\typeout{Grundgesetze Begriffsschrift: June 2014}
+\ifx\grundgesetze@bguq\@empty
+ \typeout{Universal quantifier by qbezier}
+\else
+ \typeout{Universal quantifier by bguq at size \grundgesetze@bguq}
+\fi
\newcommand{\GGbracket}[1]{%
\setbox0=\hbox{\ensuremath{#1}}%
\dimen0=0.5\dp0%
@@ -233,14 +240,7 @@
\hbox{%
\raisebox{\GGlift}{%
\vrule width \GGbeforelen height \GGthickness depth 0pt%
-\ifthenelse{\boolean{bguq}}{% using bguq
- \ensuremath\bguq
- \kern-\bguqwidth
- \vbox{%
- \hbox to \bguqwidth%
- {\hfill$\scriptstyle{#1}$\hfill}%
- \vskip1pt}%
-}{% using qbezier
+\ifx\grundgesetze@bguq\@empty% use qbezier
\setlength{\unitlength}{1pt}%
\kern-\GGthickness%
\begin{picture}(8,0)(0,0)%
@@ -253,7 +253,14 @@
\vbox{%
\hbox to 8pt {\hskip1pt\hskip\GGthickness\hss$_{#1}$\hss}\vskip1pt
}%
-}%
+\else% use the bguq font
+ \ensuremath\bguq
+ \kern-\bguqwidth
+ \vbox{%
+ \hbox to \bguqwidth%
+ {\hfill$\scriptstyle{#1}$\hfill}%
+ \vskip1pt}%
+\fi
\vrule width \GGafterlen height \GGthickness depth 0pt}%
}%
\hskip\GGspace%