summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/latex/grundgesetze
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2014-03-25 21:30:00 +0000
committerKarl Berry <karl@freefriends.org>2014-03-25 21:30:00 +0000
commitc775aa64db61c07e4045d0455f4bd11ccd071bb4 (patch)
tree9c6544317e8035df718c3626ba11c7da42383d50 /Master/texmf-dist/tex/latex/grundgesetze
parentf773331df58a7fd5a9e45fcb04799793085e41dd (diff)
grundgesetze (25mar14)
git-svn-id: svn://tug.org/texlive/trunk@33289 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/latex/grundgesetze')
-rw-r--r--Master/texmf-dist/tex/latex/grundgesetze/grundgesetze.sty298
1 files changed, 298 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex/latex/grundgesetze/grundgesetze.sty b/Master/texmf-dist/tex/latex/grundgesetze/grundgesetze.sty
new file mode 100644
index 00000000000..1e72c1ad1ad
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/grundgesetze/grundgesetze.sty
@@ -0,0 +1,298 @@
+%%
+%% This is file `grundgesetze.sty',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% grundgesetze.dtx (with options: `package')
+%% docstrip wrapper for grundgesetze
+%% \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{grundgesetze}
+ [2014/03/22 1.01 grundgesetze package]
+%% \end{itemize}
+\newlength{\GGthickness}
+\setlength{\GGthickness}{0.4pt}
+\newlength{\GGquantthickness}
+\setlength{\GGquantthickness}{0.75\GGthickness}
+\newlength{\GGafterlen}
+\setlength{\GGafterlen}{2pt}
+\newlength{\GGbeforelen}
+\setlength{\GGbeforelen}{2.4pt}
+\newlength{\GGspace}
+\setlength{\GGspace}{3pt}
+\newlength{\GGlift}
+\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}
+\newcommand{\GGbracket}[1]{%
+\setbox0=\hbox{\ensuremath{#1}}%
+\dimen0=0.5\dp0%
+\addtolength{\dimen0}{-1\GGlift}%
+\raisebox{-\dimen0}{%
+\ensuremath{\left(\raisebox{\dimen0}{\box0}\right)}}%
+}
+\newcommand{\GGsqbracket}[1]{%
+\setbox0=\hbox{\ensuremath{#1}}%
+\dimen0=0.5\dp0%
+\addtolength{\dimen0}{-1\GGlift}%
+\raisebox{-\dimen0}{%
+\ensuremath{\left[\raisebox{\dimen0}{\box0}\right]}}%
+}
+\newcommand{\GGterm}[1]{\unskip%
+\setbox0=\hbox{%
+\setlength{\GGlinewidth}{0pt}%
+\raisebox{\GGlift}{%
+\vrule height \GGthickness width \GGafterlen depth 0pt
+}%
+\ensuremath{\hskip\GGspace #1}%
+}%
+\raisebox{\GGlift}{%
+\vrule height \GGthickness width \GGlinewidth depth 0pt
+}%
+\box0%
+\setlength{\GGlinewidth}{0pt}%
+}
+\newcommand{\GGconditional}[2]{\unskip%
+\addtolength{\GGlinewidth}{-\GGbeforelen}%
+\setbox0=\hbox{%
+\addtolength{\GGlinewidth}{-\GGafterlen}%
+\raisebox{\GGlift}{%
+\vrule height 0.49\baselineskip depth 0.425\baselineskip width 0pt
+\vrule height \GGthickness width \GGafterlen depth 0pt
+}%
+\ensuremath{\hskip\GGspace #1}%
+}%
+\setbox1=\hbox{%
+\addtolength{\GGlinewidth}{-\GGafterlen}%
+\raisebox{\GGlift}{%
+\vrule height 0pt depth 0.425\baselineskip width 0pt%
+\vrule height \GGthickness width \GGafterlen depth 0pt}%
+\ensuremath{\hskip\GGspace #2}%
+}%
+\dimen0=0pt%
+\addtolength{\dimen0}{\dp1}%
+\addtolength{\dimen0}{\ht0}%
+\addtolength{\dimen0}{\lineskip}%
+\hbox{%
+\raisebox{\GGlift}{%
+\vrule width \GGbeforelen height \GGthickness depth 0pt%
+\kern-\GGthickness%
+\vrule width \GGthickness height \GGthickness depth \dimen0
+}%
+\vtop{\box1\box0}%
+}%
+}
+\newcommand{\GGjudge}[0]{%
+\addtolength{\GGlinewidth}{-\GGafterlen}%
+\addtolength{\GGlinewidth}{-\GGthickness}%
+\raisebox{\GGlift}{%
+\vrule width \GGthickness height 5pt depth 5pt%
+\vrule depth 0pt height \GGthickness width \GGafterlen}%
+\hskip \GGspace%
+}
+\newcommand{\GGassert}{\GGjudge}
+\newcommand{\GGjudgealone}[0]{%
+\addtolength{\GGlinewidth}{-\GGafterlen}%
+\addtolength{\GGlinewidth}{-\GGthickness}%
+\raisebox{\GGlift}{%
+\vrule width \GGthickness height 5pt depth 5pt%
+\vrule depth 0pt height \GGthickness width 12pt}%
+\hskip \GGspace%
+}
+\newcommand{\GGassertalone}{\GGjudgealone}
+\newcommand{\GGjudgelong}{\GGjudgealone}
+\newcommand{\GGassertlong}{\GGjudgealone}
+\newcommand{\GGjudgevar}[1]{%
+\addtolength{\GGlinewidth}{-\GGafterlen}%
+\addtolength{\GGlinewidth}{-\GGthickness}%
+\raisebox{\GGlift}{%
+\vrule width \GGthickness height 5pt depth 5pt%
+\vrule depth 0pt height \GGthickness width #1}%
+\hskip \GGspace%
+}
+\newcommand{\GGassertvar}[1]{\GGjudgevar{#1}}
+\newcommand{\GGdef}[0]{%
+\addtolength{\GGlinewidth}{-\GGafterlen}%
+\addtolength{\GGlinewidth}{-\GGthickness}%
+\raisebox{\GGlift}{%
+\vrule width \GGthickness height 5pt depth 5pt%
+\vrule depth 0pt height 0pt width \GGafterlen%
+\vrule width \GGthickness height 5pt depth 5pt%
+\vrule depth 0pt height \GGthickness width \GGafterlen}%
+\hskip \GGspace%
+}
+\newcommand{\GGdefalone}[0]{%
+\addtolength{\GGlinewidth}{-\GGafterlen}%
+\addtolength{\GGlinewidth}{-\GGthickness}%
+\raisebox{\GGlift}{%
+\vrule width \GGthickness height 5pt depth 5pt%
+\vrule depth 0pt height 0pt width \GGafterlen%
+\vrule width \GGthickness height 5pt depth 5pt%
+\vrule depth 0pt height \GGthickness width 12pt}%
+\hskip \GGspace%
+}
+\newcommand{\GGdeflong}{\GGdefalone}
+\newcommand{\GGdefvar}[1]{%
+\addtolength{\GGlinewidth}{-\GGafterlen}%
+\addtolength{\GGlinewidth}{-\GGthickness}%
+\raisebox{\GGlift}{%
+\vrule width \GGthickness height 5pt depth 5pt%
+\vrule depth 0pt height 0pt width \GGafterlen%
+\vrule width \GGthickness height 5pt depth 5pt%
+\vrule depth 0pt height \GGthickness width #1}%
+\hskip \GGspace%
+}
+\newcommand{\GGhorizontal}[0]{%
+\addtolength{\GGlinewidth}{-\GGafterlen}%
+\raisebox{\GGlift}{%
+\vrule depth 0pt height \GGthickness width 12pt}%
+\hskip \GGspace%
+}
+\newcommand{\GGcontent}{\GGhorizontal}
+\newcommand{\GGnot}[0]{\unskip%
+\addtolength{\GGlinewidth}{-\GGbeforelen}%
+\addtolength{\GGlinewidth}{-\GGafterlen}%
+\raisebox{\GGlift}{%
+\vrule width \GGbeforelen height \GGthickness depth 0pt%
+\kern-\GGthickness%
+\vrule width \GGthickness height \GGthickness depth 3pt%
+\vrule depth 0pt height \GGthickness width \GGafterlen}%
+\hskip \GGspace%
+}
+\newcommand{\GGnonot}[0]{\unskip%
+\addtolength{\GGlinewidth}{-\GGbeforelen}%
+\addtolength{\GGlinewidth}{-\GGafterlen}%
+\raisebox{\GGlift}{%
+\vrule width \GGafterlen height \GGthickness depth 0pt%
+\vrule width \GGthickness height \GGthickness depth 0pt%
+\vrule width \GGafterlen height \GGthickness depth 0pt}%
+\hskip \GGspace%
+}
+\newcommand{\GGnotalone}[0]{\unskip%
+\raisebox{\GGlift}{%
+\vrule width 4.2pt height \GGthickness depth 0pt%
+\kern-\GGthickness%
+\vrule width \GGthickness height \GGthickness depth 3pt%
+\vrule depth 0pt height \GGthickness width 3.8pt}%
+\hskip \GGspace%
+}
+\newcommand{\GGnonotalone}[0]{\unskip%
+\raisebox{\GGlift}{%
+\vrule width 4.2pt height \GGthickness depth 0pt%
+\kern-\GGthickness%
+\vrule width \GGthickness height \GGthickness depth 0pt%
+\vrule depth 0pt height \GGthickness width 3.8pt}%
+\hskip \GGspace%
+}
+\newcommand{\GGdnot}[0]{\unskip%
+\raisebox{\GGlift}{%
+\vrule width 1.5\GGbeforelen height \GGthickness depth 0pt%
+\kern-\GGthickness%
+\vrule width \GGthickness height \GGthickness depth 3pt%
+\vrule depth 0pt height \GGthickness width 1.5\GGafterlen%
+\vrule width \GGthickness height \GGthickness depth 3pt%
+\vrule depth 0pt height \GGthickness width 1.5\GGafterlen}%
+\hskip \GGspace%
+}
+\newcommand{\GGnodnot}[0]{\unskip%
+\raisebox{\GGlift}{%
+\vrule width 1.5\GGbeforelen height \GGthickness depth 0pt%
+\kern-\GGthickness%
+\vrule width \GGthickness height \GGthickness depth 0pt%
+\vrule depth 0pt height \GGthickness width 1.5\GGafterlen%
+\vrule width \GGthickness height \GGthickness depth 0pt%
+\vrule depth 0pt height \GGthickness width 1.5\GGafterlen}%
+\hskip \GGspace%
+}
+\newcommand{\GGquant}[1]{\unskip%
+\addtolength{\GGlinewidth}{-\GGbeforelen}%
+\addtolength{\GGlinewidth}{-7.2pt}%
+\addtolength{\GGlinewidth}{-\GGafterlen}%
+\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
+ \setlength{\unitlength}{1pt}%
+ \kern-\GGthickness%
+ \begin{picture}(8,0)(0,0)%
+ \linethickness{\GGquantthickness}%
+ \qbezier[100](0.3,0.2)(1,-2)(4,-2)%
+ \qbezier[100](4,-2)(7,-2)(7.7,0.2)%
+ \end{picture}%
+ \kern-8pt%
+ \kern-\GGthickness
+ \vbox{%
+ \hbox to 8pt {\hskip1pt\hskip\GGthickness\hss$_{#1}$\hss}\vskip1pt
+ }%
+}%
+\vrule width \GGafterlen height \GGthickness depth 0pt}%
+}%
+\hskip\GGspace%
+}
+\newcommand{\GGnoquant}[0]{\unskip%
+\addtolength{\GGlinewidth}{-\GGbeforelen}%
+\addtolength{\GGlinewidth}{-7.2pt}%
+\addtolength{\GGlinewidth}{-\GGafterlen}%
+\raisebox{\GGlift}{%
+\vrule width \GGafterlen height \GGthickness depth 0pt%
+\vrule depth 0pt height \GGthickness width 7.6pt%
+\vrule width \GGafterlen height \GGthickness depth 0pt}%
+\hskip \GGspace%
+}
+\newcommand{\GGoddspace}[0]{\unskip%
+\addtolength{\GGlinewidth}{-7.2pt}%
+\raisebox{\GGlift}{%
+\vrule width 7.2pt height \GGthickness depth 0pt}%
+\hskip \GGspace%
+}
+\newcommand{\GGtinyspace}[0]{\unskip%
+\addtolength{\GGlinewidth}{-2.8pt}%
+\raisebox{\GGlift}{%
+\vrule width 2.8pt height \GGthickness depth 0pt}%
+\hskip \GGspace%
+}
+\newcommand{\GGtiniestspace}[0]{\unskip%
+\addtolength{\GGlinewidth}{-1.6pt}%
+\raisebox{\GGlift}{%
+\vrule width 1.6pt height \GGthickness depth 0pt}%
+\hskip \GGspace%
+}
+\newcommand{\GGif}[2]{\GGconditional{#1}{#2}}
+\newcommand{\GGifp}[2]{\GGconditional{\GGterm{#1}}{#2}}
+\newcommand{\GGifc}[2]{\GGconditional{#1}{\GGterm{#2}}}
+\newcommand{\GGifb}[2]{\GGconditional{\GGterm{#1}}{\GGterm{#2}}}
+\newcommand{\GGneg}[0]{\GGnot}
+\newcommand{\GGall}[1]{\GGquant{\mathfrak{#1}}}
+\newcommand{\GGnoboth}[0]{\GGnonot\GGnoquant}
+\endinput
+%%
+%% End of file `grundgesetze.sty'.