summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/latex/frege
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2012-08-15 23:11:17 +0000
committerKarl Berry <karl@freefriends.org>2012-08-15 23:11:17 +0000
commit918743319a7d3927555f1bf0ed598c6886bd700c (patch)
treea2d5a0cfd98707f73e66dcdb90d17de729f59895 /Master/texmf-dist/tex/latex/frege
parentda0e0b99c435f4dbdf0423f98a795ea6410b05e7 (diff)
frege (15aug12)
git-svn-id: svn://tug.org/texlive/trunk@27417 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/latex/frege')
-rw-r--r--Master/texmf-dist/tex/latex/frege/frege.sty2285
1 files changed, 1542 insertions, 743 deletions
diff --git a/Master/texmf-dist/tex/latex/frege/frege.sty b/Master/texmf-dist/tex/latex/frege/frege.sty
index 2b3b6854d53..6aab127c03a 100644
--- a/Master/texmf-dist/tex/latex/frege/frege.sty
+++ b/Master/texmf-dist/tex/latex/frege/frege.sty
@@ -1,7 +1,7 @@
% frege.sty - a LaTeX2e package for typesetting begriffsschrift
-% by Quirin Pamp <Quirin.Pamp.2009 at my.bristol.ac.uk>
+% by Quirin Pamp <Quirin.Pamp.2009@my.bristol.ac.uk>
%
-% based on begriffHeck.sty released under GNU General Public License
+% based on begriff.sty released under GNU General Public License
% Copyright (C) 2003 by Josh Parsons <josh@coombs.anu.edu.au>
% with changes made in October 2004 by Richard Heck <heck@fas.harvard.edu>
% and minor changes by Josh Parsons to fix problem with linespacing (May 2005)
@@ -19,7 +19,7 @@
% You should have received a copy of the GNU General Public License
% along with this program; if not, write to the Free Software
% Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111,
-% USA. (or just search for it online... Seriously.)
+% USA (or just search for it online).
%%% changes as compared to begriff.sty:
% correct relative lengths of various content strokes;
@@ -43,27 +43,42 @@
% changed \Fbaselength to be the full rather than half the unit length;
% fixed a bug where the scalefactor introduced in 1.1 does not always reset;
+%%% changes in version 1.3:
+% made the (): in \Fargument user defined, so as to make the option properly
+% optional (note to self: don't code past midnight);
+% added a strut to \Fargument so as to produce optically correct centering;
+% added optional shorthands for all new commands for better flow of usage;
+% added option bguq for using bguq font (by J.J. Green) for the quantifier;
+
%%% planned changes for future versions:
-% incorporation of other frege related material such as fge.sty so as to put
-% all frege related material in a single package;
+% solving the problem of nested arguments;
+% the fregean conjunction;
% a vertical shorthand stroke as I have seen in Begriffsschrift?!;
+% scaling with font size;
+% scaling of bguq character with \Flinewidth;
%%% identification:
-\NeedsTeXFormat{LaTeX2e}
-\ProvidesPackage{frege}[2012/07/16 v1.2]
-\typeout{Fregean Begriffsschrift: 2012/07/16 v1.2}
-
-%%% options:
-% This package currently has no options.
+\NeedsTeXFormat{LaTeX2e}%
+\ProvidesPackage{frege}[2012/08/04 v1.3]%
+\typeout{Fregean Begriffsschrift: 2012/08/04 v1.3}%
%%% package dependencies:
-\RequirePackage{amssymb}
+\RequirePackage{amssymb}%
+\RequirePackage{ifthen}%
+
+%%% options:
+% bguq option, if used package bguq must be installed:
+\newboolean{bguq}%
+\setboolean{bguq}{false}%
+\DeclareOption{bguq}{\setboolean{bguq}{true}}%
+\ProcessOptions\relax%
+\ifthenelse{\boolean{bguq}}{\RequirePackage[5]{bguq}}{}%
%%% variable decleration:
\newlength{\temp}%
\newlength{\tempp}%
\newlength{\Fbaselength}%
-\setlength{\Fbaselength}{20pt}%
+\setlength{\Fbaselength}{20pt}% 20pt since v1.2
\newlength{\Funitlength}%
\newlength{\Flinewidth}%
\setlength{\Flinewidth}{0.5pt}%
@@ -89,6 +104,39 @@
\newlength{\Fblockwidth}%
\newlength{\Fpremiselength}%
\newlength{\Fthereforelength}%
+\newlength{\Fbguqwidth}% since v1.3
+\ifthenelse{\boolean{bguq}}{\setlength{\Fbguqwidth}{\bguqwidth}}{}%
+
+%%% shorthand commands since v1.3:
+\newcommand{\Fb}[1]{\Fbox{#1}}%
+\newcommand{\Fbb}[1]{\Fbracket{#1}}%
+\newcommand{\Fcdt}[3][]{\Fconditional[#1]{#2}{#3}}%
+\newcommand{\Farg}[4][]{\Fargument[#1]{#2}{#3}{#4}}%
+\newcommand{\Fs}[1][1]{\Fstrut[#1]}%
+\newcommand{\F}[1][1]{\Fcontent[#1]}%
+\newcommand{\Fn}[1][1]{\Fncontent[#1]}%
+\newcommand{\Fnn}[1][1]{\Fnncontent[#1]}%
+\newcommand{\Fa}[1][1]{\Facontent[#1]}%
+\newcommand{\Fan}[1][1]{\Fancontent[#1]}%
+\newcommand{\Fann}[1][1]{\Fanncontent[#1]}%
+\newcommand{\Fq}[1][1]{\Fquant[#1]}%
+\newcommand{\Fnq}[1][1]{\Fnquant[#1]}%
+\newcommand{\Fnnq}[1][1]{\Fnnquant[#1]}%
+\newcommand{\Fqn}[1][1]{\Fquantn[#1]}%
+\newcommand{\Fqnn}[1][1]{\Fquantnn[#1]}%
+\newcommand{\Fnqn}[1][1]{\Fnquantn[#1]}%
+\newcommand{\Fnnqn}[1][1]{\Fnnquantn[#1]}%
+\newcommand{\Fnqnn}[1][1]{\Fnquantnn[#1]}%
+\newcommand{\Fnnqnn}[1][1]{\Fnnquantnn[#1]}%
+\newcommand{\Faq}[1][1]{\Faquant[#1]}%
+\newcommand{\Fanq}[1][1]{\Fanquant[#1]}%
+\newcommand{\Fannq}[1][1]{\Fannquant[#1]}%
+\newcommand{\Faqn}[1][1]{\Faquantn[#1]}%
+\newcommand{\Faqnn}[1][1]{\Faquantnn[#1]}%
+\newcommand{\Fanqn}[1][1]{\Fanquantn[#1]}%
+\newcommand{\Fannqn}[1][1]{\Fannquantn[#1]}%
+\newcommand{\Fanqnn}[1][1]{\Fanquantnn[#1]}%
+\newcommand{\Fannqnn}[1][1]{\Fannquantnn[#1]}%
%%% main body/new commands:
% boxing complex expressions with a centered baseline:
@@ -99,7 +147,7 @@
\parbox{\temp}{\rule{0pt}{\tempp}\ensuremath{#1}}%
}%
-% bracketed Fbox:
+% bracketed Fbox v1.1:
\newcommand{\Fbracket}[1]{\ensuremath{\left(\Fbox{#1}\right)}}%
% conditional stroke \Fconditional[content]{consequent}{antecedent}:
@@ -137,7 +185,7 @@
\parbox[t]{\temp}{\usebox{\Fconsequent}\\\usebox{\Fantecedent}}}%
}%
-% argument presentation \Fargument[premise 0]{premise 1}{premise 2}{conclusion}
+% argument presentation \Fargument[premise 0]{premise 1}{premise 2}{conclusion} v1.2
\newcommand{\Fargument}[4][]%
{%
\settowidth{\Fantecedentwidth}{\ensuremath{#2}}%
@@ -147,9 +195,9 @@
\rule{0pt}{\Fconsequentwidth}}}%
\setlength{\Fthereforelength}{\Fblockwidth}%
\addtolength{\Fthereforelength}{1em}%
- \settowidth{\Fpremiselength}{\ensuremath{\left(#1\right):}}%
+ \settowidth{\Fpremiselength}{\ensuremath{#1}}%
\mbox{%
- \raisebox{.69\baselineskip}{\ensuremath{\left(#1\right)\kern-4pt:}}%
+ \raisebox{.69\baselineskip}{\ensuremath{#1}}%
\hskip .5em%
\parbox[b]{\Fblockwidth}{%
\ensuremath{#2}\\%
@@ -161,10 +209,11 @@
\addtolength{\temp}{0.5\lineskip}%
\rule[\temp]{\Fthereforelength}{\Flinewidth}}}%
\kern-\Fblockwidth%
- \ensuremath{#4}}%
+ \ensuremath{#4}%
+ \rule{0.5\Fpremiselength}{0pt}}%
}%
-% strut (for use with argument):
+% strut (for use with argument) v1.2:
\newcommand{\Fstrut}[1][1]%
{%
\setlength{\Funitlength}{\Fbaselength}%
@@ -247,7 +296,7 @@
\hskip\Fspace%
}%
-% negated asserted content stroke:
+% asserted negated content stroke:
\newcommand{\Fancontent}[1][1]%
{%
\setlength{\Funitlength}{\Fbaselength}%
@@ -271,7 +320,7 @@
\hskip\Fspace%
}%
-% twice negated asserted content stroke:
+% asserted twice negated content stroke:
\newcommand{\Fanncontent}[1][1]%
{%
\setlength{\Funitlength}{\Fbaselength}%
@@ -305,803 +354,1553 @@
% universal quantifier:
\newcommand{\Fquant}[2][1]%
{%
- \setlength{\Funitlength}{\Fbaselength}%
- \setlength{\Fbaselength}{#1\Fbaselength}%
- \unskip%
- \setlength{\temp}{.5\Fbaselength}%
- \addtolength{\temp}{-0.5\Fquantwidth}%
- \rule[\Fraiseheight]{\temp}{\Flinewidth}%
- \setlength{\unitlength}{\Fquantwidth}%
- \raisebox{\Fraiseheight}{%
- \begin{picture}(1,0)(0,0)%
- \linethickness{\Flinewidth}%
- \qbezier(0,0)(0.5,-0.6666)(1,0)%
- \end{picture}}%
- \kern-\Fquantwidth%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \raisebox{\temp}{\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
- \setlength{\temp}{.5\Fbaselength}%
- \addtolength{\temp}{-0.5\Fquantwidth}%
- \rule[\Fraiseheight]{\temp}{\Flinewidth}%
- \setlength{\Fbaselength}{\Funitlength}%
- \hskip\Fspace%
+ \ifthenelse{\boolean{bguq}}%
+ {%
+ \setlength{\Funitlength}{\Fbaselength}%
+ \setlength{\Fbaselength}{#1\Fbaselength}%
+ \unskip%
+ \setlength{\temp}{0.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fbguqwidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \raisebox{\temp}{\ensuremath{\bguq}}%
+ \kern-\Fbguqwidth%
+ \raisebox{\temp}%
+ {\makebox[\Fbguqwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
+ \setlength{\temp}{0.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fbguqwidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\Fbaselength}{\Funitlength}%
+ \hskip\Fspace%
+ }%
+ {%
+ \setlength{\Funitlength}{\Fbaselength}%
+ \setlength{\Fbaselength}{#1\Fbaselength}%
+ \unskip%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fquantwidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\unitlength}{\Fquantwidth}%
+ \raisebox{\Fraiseheight}{%
+ \begin{picture}(1,0)(0,0)%
+ \linethickness{\Flinewidth}%
+ \qbezier(0,0)(0.5,-0.6666)(1,0)%
+ \end{picture}}%
+ \kern-\Fquantwidth%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \raisebox{\temp}%
+ {\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fquantwidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\Fbaselength}{\Funitlength}%
+ \hskip\Fspace%
+ }%
}%
% negated universal quantifier
\newcommand{\Fnquant}[2][1]%
{%
- \setlength{\Funitlength}{\Fbaselength}%
- \setlength{\Fbaselength}{#1\Fbaselength}%
- \unskip%
- \setlength{\temp}{0.25\Fbaselength}%
- \addtolength{\temp}{-0.25\Fquantwidth}%
- \addtolength{\temp}{-0.5\Flinewidth}%
- \rule[\Fraiseheight]{\temp}{\Flinewidth}%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \addtolength{\temp}{-\Fnegshort}%
- \rule[\Fnegshort]{\Flinewidth}{\temp}%
- \setlength{\temp}{.25\Fbaselength}%
- \addtolength{\temp}{-0.25\Fquantwidth}%
- \addtolength{\temp}{-0.5\Flinewidth}%
- \rule[\Fraiseheight]{\temp}{\Flinewidth}%
- \setlength{\unitlength}{\Fquantwidth}%
- \raisebox{\Fraiseheight}{%
- \begin{picture}(1,0)(0,0)%
- \linethickness{\Flinewidth}%
- \qbezier(0,0)(0.5,-0.6666)(1,0)%
- \end{picture}}%
- \kern-\Fquantwidth%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \raisebox{\temp}{\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
- \setlength{\temp}{.5\Fbaselength}%
- \addtolength{\temp}{-0.5\Fquantwidth}%
- \rule[\Fraiseheight]{\temp}{\Flinewidth}%
- \setlength{\Fbaselength}{\Funitlength}%
- \hskip\Fspace%
+ \ifthenelse{\boolean{bguq}}%
+ {%
+ \setlength{\Funitlength}{\Fbaselength}%
+ \setlength{\Fbaselength}{#1\Fbaselength}%
+ \unskip%
+ \setlength{\temp}{0.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fbguqwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fbguqwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \raisebox{\temp}{\ensuremath{\bguq}}%
+ \kern-\Fbguqwidth%
+ \raisebox{\temp}%
+ {\makebox[\Fbguqwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fbguqwidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\Fbaselength}{\Funitlength}%
+ \hskip\Fspace%
+ }%
+ {%
+ \setlength{\Funitlength}{\Fbaselength}%
+ \setlength{\Fbaselength}{#1\Fbaselength}%
+ \unskip%
+ \setlength{\temp}{0.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fquantwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fquantwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\unitlength}{\Fquantwidth}%
+ \raisebox{\Fraiseheight}{%
+ \begin{picture}(1,0)(0,0)%
+ \linethickness{\Flinewidth}%
+ \qbezier(0,0)(0.5,-0.6666)(1,0)%
+ \end{picture}}%
+ \kern-\Fquantwidth%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \raisebox{\temp}%
+ {\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fquantwidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\Fbaselength}{\Funitlength}%
+ \hskip\Fspace%
+ }%
}%
% twice negated universal quantifier
\newcommand{\Fnnquant}[2][1]%
{%
- \setlength{\Funitlength}{\Fbaselength}%
- \setlength{\Fbaselength}{#1\Fbaselength}%
- \unskip%
- \setlength{\temp}{.5\Fbaselength}%
- \addtolength{\temp}{-0.5\Fquantwidth}%
- \addtolength{\temp}{-2\Flinewidth}%
- \addtolength{\temp}{-\Fnegsep}%
- \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \addtolength{\temp}{-\Fnegshort}%
- \rule[\Fnegshort]{\Flinewidth}{\temp}%
- \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \addtolength{\temp}{-\Fnegshort}%
- \rule[\Fnegshort]{\Flinewidth}{\temp}%
- \setlength{\temp}{.5\Fbaselength}%
- \addtolength{\temp}{-0.5\Fquantwidth}%
- \addtolength{\temp}{-2\Flinewidth}%
- \addtolength{\temp}{-\Fnegsep}%
- \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
- \setlength{\unitlength}{\Fquantwidth}%
- \raisebox{\Fraiseheight}{%
- \begin{picture}(1,0)(0,0)%
- \linethickness{\Flinewidth}%
- \qbezier(0,0)(0.5,-0.6666)(1,0)%
- \end{picture}}%
- \kern-\Fquantwidth%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \raisebox{\temp}{\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
- \setlength{\temp}{.5\Fbaselength}%
- \addtolength{\temp}{-0.5\Fquantwidth}%
- \rule[\Fraiseheight]{\temp}{\Flinewidth}%
- \setlength{\Fbaselength}{\Funitlength}%
- \hskip\Fspace%
+ \ifthenelse{\boolean{bguq}}%
+ {%
+ \setlength{\Funitlength}{\Fbaselength}%
+ \setlength{\Fbaselength}{#1\Fbaselength}%
+ \unskip%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fbguqwidth}%
+ \addtolength{\temp}{-2\Flinewidth}%
+ \addtolength{\temp}{-\Fnegsep}%
+ \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fbguqwidth}%
+ \addtolength{\temp}{-2\Flinewidth}%
+ \addtolength{\temp}{-\Fnegsep}%
+ \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \raisebox{\temp}{\ensuremath{\bguq}}%
+ \kern-\Fbguqwidth%
+ \raisebox{\temp}%
+ {\makebox[\Fbguqwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fbguqwidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\Fbaselength}{\Funitlength}%
+ \hskip\Fspace%
+ }%
+ {%
+ \setlength{\Funitlength}{\Fbaselength}%
+ \setlength{\Fbaselength}{#1\Fbaselength}%
+ \unskip%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fquantwidth}%
+ \addtolength{\temp}{-2\Flinewidth}%
+ \addtolength{\temp}{-\Fnegsep}%
+ \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fquantwidth}%
+ \addtolength{\temp}{-2\Flinewidth}%
+ \addtolength{\temp}{-\Fnegsep}%
+ \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
+ \setlength{\unitlength}{\Fquantwidth}%
+ \raisebox{\Fraiseheight}{%
+ \begin{picture}(1,0)(0,0)%
+ \linethickness{\Flinewidth}%
+ \qbezier(0,0)(0.5,-0.6666)(1,0)%
+ \end{picture}}%
+ \kern-\Fquantwidth%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \raisebox{\temp}%
+ {\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fquantwidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\Fbaselength}{\Funitlength}%
+ \hskip\Fspace%
+ }%
}%
% universal quantifier with negated content:
\newcommand{\Fquantn}[2][1]%
{%
- \setlength{\Funitlength}{\Fbaselength}%
- \setlength{\Fbaselength}{#1\Fbaselength}%
- \unskip%
- \setlength{\temp}{.5\Fbaselength}%
- \addtolength{\temp}{-0.5\Fquantwidth}%
- \rule[\Fraiseheight]{\temp}{\Flinewidth}%
- \setlength{\unitlength}{\Fquantwidth}%
- \raisebox{\Fraiseheight}{%
- \begin{picture}(1,0)(0,0)%
- \linethickness{\Flinewidth}%
- \qbezier(0,0)(0.5,-0.6666)(1,0)%
- \end{picture}}%
- \kern-\Fquantwidth%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \raisebox{\temp}{\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
- \setlength{\temp}{.25\Fbaselength}%
- \addtolength{\temp}{-0.25\Fquantwidth}%
- \addtolength{\temp}{-0.5\Flinewidth}%
- \rule[\Fraiseheight]{\temp}{\Flinewidth}%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \addtolength{\temp}{-\Fnegshort}%
- \rule[\Fnegshort]{\Flinewidth}{\temp}%
- \setlength{\temp}{.25\Fbaselength}%
- \addtolength{\temp}{-0.25\Fquantwidth}%
- \addtolength{\temp}{-0.5\Flinewidth}%
- \rule[\Fraiseheight]{\temp}{\Flinewidth}%
- \setlength{\Fbaselength}{\Funitlength}%
- \hskip\Fspace%
-}
+ \ifthenelse{\boolean{bguq}}%
+ {%
+ \setlength{\Funitlength}{\Fbaselength}%
+ \setlength{\Fbaselength}{#1\Fbaselength}%
+ \unskip%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fbguqwidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \raisebox{\temp}{\ensuremath{\bguq}}%
+ \kern-\Fbguqwidth%
+ \raisebox{\temp}%
+ {\makebox[\Fbguqwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
+ \setlength{\temp}{0.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fbguqwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fbguqwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\Fbaselength}{\Funitlength}%
+ \hskip\Fspace%
+ }%
+ {%
+ \setlength{\Funitlength}{\Fbaselength}%
+ \setlength{\Fbaselength}{#1\Fbaselength}%
+ \unskip%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fquantwidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\unitlength}{\Fquantwidth}%
+ \raisebox{\Fraiseheight}{%
+ \begin{picture}(1,0)(0,0)%
+ \linethickness{\Flinewidth}%
+ \qbezier(0,0)(0.5,-0.6666)(1,0)%
+ \end{picture}}%
+ \kern-\Fquantwidth%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \raisebox{\temp}%
+ {\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fquantwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fquantwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\Fbaselength}{\Funitlength}%
+ \hskip\Fspace%
+ }%
+}%
% universal quantifier with twice negated content:
\newcommand{\Fquantnn}[2][1]%
{%
- \setlength{\Funitlength}{\Fbaselength}%
- \setlength{\Fbaselength}{#1\Fbaselength}%
- \unskip%
- \setlength{\temp}{.5\Fbaselength}%
- \addtolength{\temp}{-0.5\Fquantwidth}%
- \rule[\Fraiseheight]{\temp}{\Flinewidth}%
- \setlength{\unitlength}{\Fquantwidth}%
- \raisebox{\Fraiseheight}{%
- \begin{picture}(1,0)(0,0)%
- \linethickness{\Flinewidth}%
- \qbezier(0,0)(0.5,-0.6666)(1,0)%
- \end{picture}}%
- \kern-\Fquantwidth%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \raisebox{\temp}{\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
- \setlength{\temp}{.5\Fbaselength}%
- \addtolength{\temp}{-0.5\Fquantwidth}%
- \addtolength{\temp}{-2\Flinewidth}%
- \addtolength{\temp}{-\Fnegsep}%
- \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \addtolength{\temp}{-\Fnegshort}%
- \rule[\Fnegshort]{\Flinewidth}{\temp}%
- \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \addtolength{\temp}{-\Fnegshort}%
- \rule[\Fnegshort]{\Flinewidth}{\temp}%
- \setlength{\temp}{.5\Fbaselength}%
- \addtolength{\temp}{-0.5\Fquantwidth}%
- \addtolength{\temp}{-2\Flinewidth}%
- \addtolength{\temp}{-\Fnegsep}%
- \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
- \setlength{\Fbaselength}{\Funitlength}%
- \hskip\Fspace%
+ \ifthenelse{\boolean{bguq}}%
+ {%
+ \setlength{\Funitlength}{\Fbaselength}%
+ \setlength{\Fbaselength}{#1\Fbaselength}%
+ \unskip%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fbguqwidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \raisebox{\temp}{\ensuremath{\bguq}}%
+ \kern-\Fbguqwidth%
+ \raisebox{\temp}%
+ {\makebox[\Fbguqwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fbguqwidth}%
+ \addtolength{\temp}{-2\Flinewidth}%
+ \addtolength{\temp}{-\Fnegsep}%
+ \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fbguqwidth}%
+ \addtolength{\temp}{-2\Flinewidth}%
+ \addtolength{\temp}{-\Fnegsep}%
+ \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
+ \setlength{\Fbaselength}{\Funitlength}%
+ \hskip\Fspace%
+ }%
+ {%
+ \setlength{\Funitlength}{\Fbaselength}%
+ \setlength{\Fbaselength}{#1\Fbaselength}%
+ \unskip%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fquantwidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\unitlength}{\Fquantwidth}%
+ \raisebox{\Fraiseheight}{%
+ \begin{picture}(1,0)(0,0)%
+ \linethickness{\Flinewidth}%
+ \qbezier(0,0)(0.5,-0.6666)(1,0)%
+ \end{picture}}%
+ \kern-\Fquantwidth%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \raisebox{\temp}%
+ {\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fquantwidth}%
+ \addtolength{\temp}{-2\Flinewidth}%
+ \addtolength{\temp}{-\Fnegsep}%
+ \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fquantwidth}%
+ \addtolength{\temp}{-2\Flinewidth}%
+ \addtolength{\temp}{-\Fnegsep}%
+ \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
+ \setlength{\Fbaselength}{\Funitlength}%
+ \hskip\Fspace%
+ }%
}%
% negated universal quantifier with negated content
\newcommand{\Fnquantn}[2][1]%
{%
- \setlength{\Funitlength}{\Fbaselength}%
- \setlength{\Fbaselength}{#1\Fbaselength}%
- \unskip%
- \setlength{\temp}{.25\Fbaselength}%
- \addtolength{\temp}{-0.25\Fquantwidth}%
- \addtolength{\temp}{-0.5\Flinewidth}%
- \rule[\Fraiseheight]{\temp}{\Flinewidth}%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \addtolength{\temp}{-\Fnegshort}%
- \rule[\Fnegshort]{\Flinewidth}{\temp}%
- \setlength{\temp}{.25\Fbaselength}%
- \addtolength{\temp}{-0.25\Fquantwidth}%
- \addtolength{\temp}{-0.5\Flinewidth}%
- \rule[\Fraiseheight]{\temp}{\Flinewidth}%
- \setlength{\unitlength}{\Fquantwidth}%
- \raisebox{\Fraiseheight}{%
- \begin{picture}(1,0)(0,0)%
- \linethickness{\Flinewidth}%
- \qbezier(0,0)(0.5,-0.6666)(1,0)%
- \end{picture}}%
- \kern-\Fquantwidth%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \raisebox{\temp}{\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
- \setlength{\temp}{.25\Fbaselength}%
- \addtolength{\temp}{-0.25\Fquantwidth}%
- \addtolength{\temp}{-0.5\Flinewidth}%
- \rule[\Fraiseheight]{\temp}{\Flinewidth}%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \addtolength{\temp}{-\Fnegshort}%
- \rule[\Fnegshort]{\Flinewidth}{\temp}%
- \setlength{\temp}{.25\Fbaselength}%
- \addtolength{\temp}{-0.25\Fquantwidth}%
- \addtolength{\temp}{-0.5\Flinewidth}%
- \rule[\Fraiseheight]{\temp}{\Flinewidth}%
- \setlength{\Fbaselength}{\Funitlength}%
- \hskip\Fspace%
+ \ifthenelse{\boolean{bguq}}%
+ {%
+ \setlength{\Funitlength}{\Fbaselength}%
+ \setlength{\Fbaselength}{#1\Fbaselength}%
+ \unskip%
+ \setlength{\temp}{0.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fbguqwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fbguqwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \raisebox{\temp}{\ensuremath{\bguq}}%
+ \kern-\Fbguqwidth%
+ \raisebox{\temp}%
+ {\makebox[\Fbguqwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
+ \setlength{\temp}{0.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fbguqwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fbguqwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\Fbaselength}{\Funitlength}%
+ \hskip\Fspace%
+ }%
+ {%
+ \setlength{\Funitlength}{\Fbaselength}%
+ \setlength{\Fbaselength}{#1\Fbaselength}%
+ \unskip%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fquantwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fquantwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\unitlength}{\Fquantwidth}%
+ \raisebox{\Fraiseheight}{%
+ \begin{picture}(1,0)(0,0)%
+ \linethickness{\Flinewidth}%
+ \qbezier(0,0)(0.5,-0.6666)(1,0)%
+ \end{picture}}%
+ \kern-\Fquantwidth%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \raisebox{\temp}%
+ {\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fquantwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fquantwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\Fbaselength}{\Funitlength}%
+ \hskip\Fspace%
+ }%
}%
% negated universal quantifier with twice negated content
\newcommand{\Fnquantnn}[2][1]%
{%
- \setlength{\Funitlength}{\Fbaselength}%
- \setlength{\Fbaselength}{#1\Fbaselength}%
- \unskip%
- \setlength{\temp}{.25\Fbaselength}%
- \addtolength{\temp}{-0.25\Fquantwidth}%
- \addtolength{\temp}{-0.5\Flinewidth}%
- \rule[\Fraiseheight]{\temp}{\Flinewidth}%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \addtolength{\temp}{-\Fnegshort}%
- \rule[\Fnegshort]{\Flinewidth}{\temp}%
- \setlength{\temp}{.25\Fbaselength}%
- \addtolength{\temp}{-0.25\Fquantwidth}%
- \addtolength{\temp}{-0.5\Flinewidth}%
- \rule[\Fraiseheight]{\temp}{\Flinewidth}%
- \setlength{\unitlength}{\Fquantwidth}%
- \raisebox{\Fraiseheight}{%
- \begin{picture}(1,0)(0,0)%
- \linethickness{\Flinewidth}%
- \qbezier(0,0)(0.5,-0.6666)(1,0)%
- \end{picture}}%
- \kern-\Fquantwidth%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \raisebox{\temp}{\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
- \setlength{\temp}{.5\Fbaselength}%
- \addtolength{\temp}{-0.5\Fquantwidth}%
- \addtolength{\temp}{-2\Flinewidth}%
- \addtolength{\temp}{-\Fnegsep}%
- \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \addtolength{\temp}{-\Fnegshort}%
- \rule[\Fnegshort]{\Flinewidth}{\temp}%
- \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \addtolength{\temp}{-\Fnegshort}%
- \rule[\Fnegshort]{\Flinewidth}{\temp}%
- \setlength{\temp}{.5\Fbaselength}%
- \addtolength{\temp}{-0.5\Fquantwidth}%
- \addtolength{\temp}{-2\Flinewidth}%
- \addtolength{\temp}{-\Fnegsep}%
- \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
- \setlength{\Fbaselength}{\Funitlength}%
- \hskip\Fspace%
+ \ifthenelse{\boolean{bguq}}%
+ {%
+ \setlength{\Funitlength}{\Fbaselength}%
+ \setlength{\Fbaselength}{#1\Fbaselength}%
+ \unskip%
+ \setlength{\temp}{0.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fbguqwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fbguqwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \raisebox{\temp}{\ensuremath{\bguq}}%
+ \kern-\Fbguqwidth%
+ \raisebox{\temp}%
+ {\makebox[\Fbguqwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fbguqwidth}%
+ \addtolength{\temp}{-2\Flinewidth}%
+ \addtolength{\temp}{-\Fnegsep}%
+ \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fbguqwidth}%
+ \addtolength{\temp}{-2\Flinewidth}%
+ \addtolength{\temp}{-\Fnegsep}%
+ \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
+ \setlength{\Fbaselength}{\Funitlength}%
+ \hskip\Fspace%
+ }%
+ {%
+ \setlength{\Funitlength}{\Fbaselength}%
+ \setlength{\Fbaselength}{#1\Fbaselength}%
+ \unskip%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fquantwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fquantwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\unitlength}{\Fquantwidth}%
+ \raisebox{\Fraiseheight}{%
+ \begin{picture}(1,0)(0,0)%
+ \linethickness{\Flinewidth}%
+ \qbezier(0,0)(0.5,-0.6666)(1,0)%
+ \end{picture}}%
+ \kern-\Fquantwidth%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \raisebox{\temp}%
+ {\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fquantwidth}%
+ \addtolength{\temp}{-2\Flinewidth}%
+ \addtolength{\temp}{-\Fnegsep}%
+ \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fquantwidth}%
+ \addtolength{\temp}{-2\Flinewidth}%
+ \addtolength{\temp}{-\Fnegsep}%
+ \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
+ \setlength{\Fbaselength}{\Funitlength}%
+ \hskip\Fspace%
+ }%
}%
% twice negated universal quantifier with negated content
\newcommand{\Fnnquantn}[2][1]%
{%
- \setlength{\Funitlength}{\Fbaselength}%
- \setlength{\Fbaselength}{#1\Fbaselength}%
- \unskip%
- \setlength{\temp}{.5\Fbaselength}%
- \addtolength{\temp}{-0.5\Fquantwidth}%
- \addtolength{\temp}{-2\Flinewidth}%
- \addtolength{\temp}{-\Fnegsep}%
- \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \addtolength{\temp}{-\Fnegshort}%
- \rule[\Fnegshort]{\Flinewidth}{\temp}%
- \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \addtolength{\temp}{-\Fnegshort}%
- \rule[\Fnegshort]{\Flinewidth}{\temp}%
- \setlength{\temp}{.5\Fbaselength}%
- \addtolength{\temp}{-0.5\Fquantwidth}%
- \addtolength{\temp}{-2\Flinewidth}%
- \addtolength{\temp}{-\Fnegsep}%
- \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
- \setlength{\unitlength}{\Fquantwidth}%
- \raisebox{\Fraiseheight}{%
- \begin{picture}(1,0)(0,0)%
- \linethickness{\Flinewidth}%
- \qbezier(0,0)(0.5,-0.6666)(1,0)%
- \end{picture}}%
- \kern-\Fquantwidth%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \raisebox{\temp}{\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
- \setlength{\temp}{.25\Fbaselength}%
- \addtolength{\temp}{-0.25\Fquantwidth}%
- \addtolength{\temp}{-0.5\Flinewidth}%
- \rule[\Fraiseheight]{\temp}{\Flinewidth}%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \addtolength{\temp}{-\Fnegshort}%
- \rule[\Fnegshort]{\Flinewidth}{\temp}%
- \setlength{\temp}{.25\Fbaselength}%
- \addtolength{\temp}{-0.25\Fquantwidth}%
- \addtolength{\temp}{-0.5\Flinewidth}%
- \rule[\Fraiseheight]{\temp}{\Flinewidth}%
- \setlength{\Fbaselength}{\Funitlength}%
- \hskip\Fspace%
+ \ifthenelse{\boolean{bguq}}%
+ {%
+ \setlength{\Funitlength}{\Fbaselength}%
+ \setlength{\Fbaselength}{#1\Fbaselength}%
+ \unskip%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fbguqwidth}%
+ \addtolength{\temp}{-2\Flinewidth}%
+ \addtolength{\temp}{-\Fnegsep}%
+ \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fbguqwidth}%
+ \addtolength{\temp}{-2\Flinewidth}%
+ \addtolength{\temp}{-\Fnegsep}%
+ \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \raisebox{\temp}{\ensuremath{\bguq}}%
+ \kern-\Fbguqwidth%
+ \raisebox{\temp}%
+ {\makebox[\Fbguqwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
+ \setlength{\temp}{0.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fbguqwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fbguqwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\Fbaselength}{\Funitlength}%
+ \hskip\Fspace%
+ }%
+ {%
+ \setlength{\Funitlength}{\Fbaselength}%
+ \setlength{\Fbaselength}{#1\Fbaselength}%
+ \unskip%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fquantwidth}%
+ \addtolength{\temp}{-2\Flinewidth}%
+ \addtolength{\temp}{-\Fnegsep}%
+ \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fquantwidth}%
+ \addtolength{\temp}{-2\Flinewidth}%
+ \addtolength{\temp}{-\Fnegsep}%
+ \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
+ \setlength{\unitlength}{\Fquantwidth}%
+ \raisebox{\Fraiseheight}{%
+ \begin{picture}(1,0)(0,0)%
+ \linethickness{\Flinewidth}%
+ \qbezier(0,0)(0.5,-0.6666)(1,0)%
+ \end{picture}}%
+ \kern-\Fquantwidth%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \raisebox{\temp}%
+ {\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fquantwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fquantwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\Fbaselength}{\Funitlength}%
+ \hskip\Fspace%
+ }%
}%
% twice negated universal quantifier with twice negated content
\newcommand{\Fnnquantnn}[2][1]%
{%
- \setlength{\Funitlength}{\Fbaselength}%
- \setlength{\Fbaselength}{#1\Fbaselength}%
- \unskip%
- \setlength{\temp}{.5\Fbaselength}%
- \addtolength{\temp}{-0.5\Fquantwidth}%
- \addtolength{\temp}{-2\Flinewidth}%
- \addtolength{\temp}{-\Fnegsep}%
- \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \addtolength{\temp}{-\Fnegshort}%
- \rule[\Fnegshort]{\Flinewidth}{\temp}%
- \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \addtolength{\temp}{-\Fnegshort}%
- \rule[\Fnegshort]{\Flinewidth}{\temp}%
- \setlength{\temp}{.5\Fbaselength}%
- \addtolength{\temp}{-0.5\Fquantwidth}%
- \addtolength{\temp}{-2\Flinewidth}%
- \addtolength{\temp}{-\Fnegsep}%
- \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
- \setlength{\unitlength}{\Fquantwidth}%
- \raisebox{\Fraiseheight}{%
- \begin{picture}(1,0)(0,0)%
- \linethickness{\Flinewidth}%
- \qbezier(0,0)(0.5,-0.6666)(1,0)%
- \end{picture}}%
- \kern-\Fquantwidth%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \raisebox{\temp}{\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
- \setlength{\temp}{.5\Fbaselength}%
- \addtolength{\temp}{-0.5\Fquantwidth}%
- \addtolength{\temp}{-2\Flinewidth}%
- \addtolength{\temp}{-\Fnegsep}%
- \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \addtolength{\temp}{-\Fnegshort}%
- \rule[\Fnegshort]{\Flinewidth}{\temp}%
- \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \addtolength{\temp}{-\Fnegshort}%
- \rule[\Fnegshort]{\Flinewidth}{\temp}%
- \setlength{\temp}{.5\Fbaselength}%
- \addtolength{\temp}{-0.5\Fquantwidth}%
- \addtolength{\temp}{-2\Flinewidth}%
- \addtolength{\temp}{-\Fnegsep}%
- \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
- \setlength{\Fbaselength}{\Funitlength}%
- \hskip\Fspace%
+ \ifthenelse{\boolean{bguq}}%
+ {%
+ \setlength{\Funitlength}{\Fbaselength}%
+ \setlength{\Fbaselength}{#1\Fbaselength}%
+ \unskip%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fbguqwidth}%
+ \addtolength{\temp}{-2\Flinewidth}%
+ \addtolength{\temp}{-\Fnegsep}%
+ \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fbguqwidth}%
+ \addtolength{\temp}{-2\Flinewidth}%
+ \addtolength{\temp}{-\Fnegsep}%
+ \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \raisebox{\temp}{\ensuremath{\bguq}}%
+ \kern-\Fbguqwidth%
+ \raisebox{\temp}%
+ {\makebox[\Fbguqwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fbguqwidth}%
+ \addtolength{\temp}{-2\Flinewidth}%
+ \addtolength{\temp}{-\Fnegsep}%
+ \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fbguqwidth}%
+ \addtolength{\temp}{-2\Flinewidth}%
+ \addtolength{\temp}{-\Fnegsep}%
+ \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
+ \setlength{\Fbaselength}{\Funitlength}%
+ \hskip\Fspace%
+ }%
+ {%
+ \setlength{\Funitlength}{\Fbaselength}%
+ \setlength{\Fbaselength}{#1\Fbaselength}%
+ \unskip%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fquantwidth}%
+ \addtolength{\temp}{-2\Flinewidth}%
+ \addtolength{\temp}{-\Fnegsep}%
+ \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fquantwidth}%
+ \addtolength{\temp}{-2\Flinewidth}%
+ \addtolength{\temp}{-\Fnegsep}%
+ \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
+ \setlength{\unitlength}{\Fquantwidth}%
+ \raisebox{\Fraiseheight}{%
+ \begin{picture}(1,0)(0,0)%
+ \linethickness{\Flinewidth}%
+ \qbezier(0,0)(0.5,-0.6666)(1,0)%
+ \end{picture}}%
+ \kern-\Fquantwidth%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \raisebox{\temp}%
+ {\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fquantwidth}%
+ \addtolength{\temp}{-2\Flinewidth}%
+ \addtolength{\temp}{-\Fnegsep}%
+ \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fquantwidth}%
+ \addtolength{\temp}{-2\Flinewidth}%
+ \addtolength{\temp}{-\Fnegsep}%
+ \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
+ \setlength{\Fbaselength}{\Funitlength}%
+ \hskip\Fspace%
+ }%
}%
% asserted universal quantifier:
\newcommand{\Faquant}[2][1]%
{%
- \setlength{\Funitlength}{\Fbaselength}%
- \setlength{\Fbaselength}{#1\Fbaselength}%
- \unskip%
- \setlength{\temp}{2\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \rule{\Fassertwidth}{\temp}%
- \setlength{\temp}{.5\Fbaselength}%
- \addtolength{\temp}{-0.5\Fquantwidth}%
- \addtolength{\temp}{-\Fassertwidth}%
- \rule[\Fraiseheight]{\temp}{\Flinewidth}%
- \setlength{\unitlength}{\Fquantwidth}%
- \raisebox{\Fraiseheight}{%
- \begin{picture}(1,0)(0,0)%
- \linethickness{\Flinewidth}%
- \qbezier(0,0)(0.5,-0.6666)(1,0)%
- \end{picture}}%
- \kern-\Fquantwidth%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \raisebox{\temp}{\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
- \setlength{\temp}{.5\Fbaselength}%
- \addtolength{\temp}{-0.5\Fquantwidth}%
- \rule[\Fraiseheight]{\temp}{\Flinewidth}%
- \setlength{\Fbaselength}{\Funitlength}%
- \hskip\Fspace%
+ \ifthenelse{\boolean{bguq}}%
+ {%
+ \setlength{\Funitlength}{\Fbaselength}%
+ \setlength{\Fbaselength}{#1\Fbaselength}%
+ \unskip%
+ \setlength{\temp}{2\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \rule{\Fassertwidth}{\temp}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fbguqwidth}%
+ \addtolength{\temp}{-\Fassertwidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \raisebox{\temp}{\ensuremath{\bguq}}%
+ \kern-\Fbguqwidth%
+ \raisebox{\temp}%
+ {\makebox[\Fbguqwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fbguqwidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\Fbaselength}{\Funitlength}%
+ \hskip\Fspace%
+ }%
+ {%
+ \setlength{\Funitlength}{\Fbaselength}%
+ \setlength{\Fbaselength}{#1\Fbaselength}%
+ \unskip%
+ \setlength{\temp}{2\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \rule{\Fassertwidth}{\temp}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fquantwidth}%
+ \addtolength{\temp}{-\Fassertwidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\unitlength}{\Fquantwidth}%
+ \raisebox{\Fraiseheight}{%
+ \begin{picture}(1,0)(0,0)%
+ \linethickness{\Flinewidth}%
+ \qbezier(0,0)(0.5,-0.6666)(1,0)%
+ \end{picture}}%
+ \kern-\Fquantwidth%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \raisebox{\temp}%
+ {\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fquantwidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\Fbaselength}{\Funitlength}%
+ \hskip\Fspace%
+ }%
}%
-% negated asserted universal quantifier
+% asserted negated universal quantifier
\newcommand{\Fanquant}[2][1]%
{%
- \setlength{\Funitlength}{\Fbaselength}%
- \setlength{\Fbaselength}{#1\Fbaselength}%
- \unskip%
- \setlength{\temp}{2\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \rule{\Fassertwidth}{\temp}%
- \setlength{\temp}{.25\Fbaselength}%
- \addtolength{\temp}{-0.25\Fquantwidth}%
- \addtolength{\temp}{-0.5\Flinewidth}%
- \addtolength{\temp}{-\Fassertwidth}%
- \rule[\Fraiseheight]{\temp}{\Flinewidth}%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \addtolength{\temp}{-\Fnegshort}%
- \rule[\Fnegshort]{\Flinewidth}{\temp}%
- \setlength{\temp}{.25\Fbaselength}%
- \addtolength{\temp}{-0.25\Fquantwidth}%
- \addtolength{\temp}{-0.5\Flinewidth}%
- \rule[\Fraiseheight]{\temp}{\Flinewidth}%
- \setlength{\unitlength}{\Fquantwidth}%
- \raisebox{\Fraiseheight}{%
- \begin{picture}(1,0)(0,0)%
- \linethickness{\Flinewidth}%
- \qbezier(0,0)(0.5,-0.6666)(1,0)%
- \end{picture}}%
- \kern-\Fquantwidth%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \raisebox{\temp}{\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
- \setlength{\temp}{.5\Fbaselength}%
- \addtolength{\temp}{-0.5\Fquantwidth}%
- \rule[\Fraiseheight]{\temp}{\Flinewidth}%
- \setlength{\Fbaselength}{\Funitlength}%
- \hskip\Fspace%
+ \ifthenelse{\boolean{bguq}}%
+ {%
+ \setlength{\Funitlength}{\Fbaselength}%
+ \setlength{\Fbaselength}{#1\Fbaselength}%
+ \unskip%
+ \setlength{\temp}{2\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \rule{\Fassertwidth}{\temp}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fbguqwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \addtolength{\temp}{-\Fassertwidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fbguqwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \raisebox{\temp}{\ensuremath{\bguq}}%
+ \kern-\Fbguqwidth%
+ \raisebox{\temp}%
+ {\makebox[\Fbguqwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fbguqwidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\Fbaselength}{\Funitlength}%
+ \hskip\Fspace%
+ }%
+ {%
+ \setlength{\Funitlength}{\Fbaselength}%
+ \setlength{\Fbaselength}{#1\Fbaselength}%
+ \unskip%
+ \setlength{\temp}{2\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \rule{\Fassertwidth}{\temp}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fquantwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \addtolength{\temp}{-\Fassertwidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fquantwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\unitlength}{\Fquantwidth}%
+ \raisebox{\Fraiseheight}{%
+ \begin{picture}(1,0)(0,0)%
+ \linethickness{\Flinewidth}%
+ \qbezier(0,0)(0.5,-0.6666)(1,0)%
+ \end{picture}}%
+ \kern-\Fquantwidth%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \raisebox{\temp}%
+ {\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fquantwidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\Fbaselength}{\Funitlength}%
+ \hskip\Fspace%
+ }%
}%
-% twice negated asserted universal quantifier
+% asserted twice negated universal quantifier
\newcommand{\Fannquant}[2][1]%
{%
- \setlength{\Funitlength}{\Fbaselength}%
- \setlength{\Fbaselength}{#1\Fbaselength}%
- \unskip%
- \setlength{\temp}{2\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \rule{\Fassertwidth}{\temp}%
- \setlength{\temp}{.25\Fbaselength}%
- \addtolength{\temp}{-0.25\Fquantwidth}%
- \addtolength{\temp}{-\Flinewidth}%
- \addtolength{\temp}{-0.5\Fnegsep}%
- \addtolength{\temp}{-\Fassertwidth}%
- \rule[\Fraiseheight]{\temp}{\Flinewidth}%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \addtolength{\temp}{-\Fnegshort}%
- \rule[\Fnegshort]{\Flinewidth}{\temp}%
- \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \addtolength{\temp}{-\Fnegshort}%
- \rule[\Fnegshort]{\Flinewidth}{\temp}%
- \setlength{\temp}{.25\Fbaselength}%
- \addtolength{\temp}{-0.25\Fquantwidth}%
- \addtolength{\temp}{-\Flinewidth}%
- \addtolength{\temp}{-0.5\Fnegsep}%
- \rule[\Fraiseheight]{\temp}{\Flinewidth}%
- \setlength{\unitlength}{\Fquantwidth}%
- \raisebox{\Fraiseheight}{%
- \begin{picture}(1,0)(0,0)%
- \linethickness{\Flinewidth}%
- \qbezier(0,0)(0.5,-0.6666)(1,0)%
- \end{picture}}%
- \kern-\Fquantwidth%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \raisebox{\temp}{\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
- \setlength{\temp}{.5\Fbaselength}%
- \addtolength{\temp}{-0.5\Fquantwidth}%
- \rule[\Fraiseheight]{\temp}{\Flinewidth}%
- \setlength{\Fbaselength}{\Funitlength}%
- \hskip\Fspace%
+ \ifthenelse{\boolean{bguq}}%
+ {%
+ \setlength{\Funitlength}{\Fbaselength}%
+ \setlength{\Fbaselength}{#1\Fbaselength}%
+ \unskip%
+ \setlength{\temp}{2\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \rule{\Fassertwidth}{\temp}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fbguqwidth}%
+ \addtolength{\temp}{-\Flinewidth}%
+ \addtolength{\temp}{-0.5\Fnegsep}%
+ \addtolength{\temp}{-\Fassertwidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fbguqwidth}%
+ \addtolength{\temp}{-\Flinewidth}%
+ \addtolength{\temp}{-0.5\Fnegsep}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \raisebox{\temp}{\ensuremath{\bguq}}%
+ \kern-\Fbguqwidth%
+ \raisebox{\temp}%
+ {\makebox[\Fbguqwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fbguqwidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\Fbaselength}{\Funitlength}%
+ \hskip\Fspace%
+ }%
+ {%
+ \setlength{\Funitlength}{\Fbaselength}%
+ \setlength{\Fbaselength}{#1\Fbaselength}%
+ \unskip%
+ \setlength{\temp}{2\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \rule{\Fassertwidth}{\temp}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fquantwidth}%
+ \addtolength{\temp}{-\Flinewidth}%
+ \addtolength{\temp}{-0.5\Fnegsep}%
+ \addtolength{\temp}{-\Fassertwidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fquantwidth}%
+ \addtolength{\temp}{-\Flinewidth}%
+ \addtolength{\temp}{-0.5\Fnegsep}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\unitlength}{\Fquantwidth}%
+ \raisebox{\Fraiseheight}{%
+ \begin{picture}(1,0)(0,0)%
+ \linethickness{\Flinewidth}%
+ \qbezier(0,0)(0.5,-0.6666)(1,0)%
+ \end{picture}}%
+ \kern-\Fquantwidth%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \raisebox{\temp}%
+ {\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fquantwidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\Fbaselength}{\Funitlength}%
+ \hskip\Fspace%
+ }%
}%
% asserted universal quantifier with negated content:
\newcommand{\Faquantn}[2][1]%
{%
- \setlength{\Funitlength}{\Fbaselength}%
- \setlength{\Fbaselength}{#1\Fbaselength}%
- \unskip%
- \setlength{\temp}{2\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \rule{\Fassertwidth}{\temp}%
- \setlength{\temp}{.5\Fbaselength}%
- \addtolength{\temp}{-0.5\Fquantwidth}%
- \addtolength{\temp}{-\Fassertwidth}%
- \rule[\Fraiseheight]{\temp}{\Flinewidth}%
- \setlength{\unitlength}{\Fquantwidth}%
- \raisebox{\Fraiseheight}{%
- \begin{picture}(1,0)(0,0)%
- \linethickness{\Flinewidth}%
- \qbezier(0,0)(0.5,-0.6666)(1,0)%
- \end{picture}}%
- \kern-\Fquantwidth%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \raisebox{\temp}{\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
- \setlength{\temp}{.25\Fbaselength}%
- \addtolength{\temp}{-0.25\Fquantwidth}%
- \addtolength{\temp}{-0.5\Flinewidth}%
- \rule[\Fraiseheight]{\temp}{\Flinewidth}%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \addtolength{\temp}{-\Fnegshort}%
- \rule[\Fnegshort]{\Flinewidth}{\temp}%
- \setlength{\temp}{.25\Fbaselength}%
- \addtolength{\temp}{-0.25\Fquantwidth}%
- \addtolength{\temp}{-0.5\Flinewidth}%
- \rule[\Fraiseheight]{\temp}{\Flinewidth}%
- \setlength{\Fbaselength}{\Funitlength}%
- \hskip\Fspace%
-}
+ \ifthenelse{\boolean{bguq}}%
+ {%
+ \setlength{\Funitlength}{\Fbaselength}%
+ \setlength{\Fbaselength}{#1\Fbaselength}%
+ \unskip%
+ \setlength{\temp}{2\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \rule{\Fassertwidth}{\temp}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fbguqwidth}%
+ \addtolength{\temp}{-\Fassertwidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \raisebox{\temp}{\ensuremath{\bguq}}%
+ \kern-\Fbguqwidth%
+ \raisebox{\temp}%
+ {\makebox[\Fbguqwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
+ \setlength{\temp}{0.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fbguqwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fbguqwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\Fbaselength}{\Funitlength}%
+ \hskip\Fspace%
+ }%
+ {%
+ \setlength{\Funitlength}{\Fbaselength}%
+ \setlength{\Fbaselength}{#1\Fbaselength}%
+ \unskip%
+ \setlength{\temp}{2\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \rule{\Fassertwidth}{\temp}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fquantwidth}%
+ \addtolength{\temp}{-\Fassertwidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\unitlength}{\Fquantwidth}%
+ \raisebox{\Fraiseheight}{%
+ \begin{picture}(1,0)(0,0)%
+ \linethickness{\Flinewidth}%
+ \qbezier(0,0)(0.5,-0.6666)(1,0)%
+ \end{picture}}%
+ \kern-\Fquantwidth%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \raisebox{\temp}%
+ {\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fquantwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fquantwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\Fbaselength}{\Funitlength}%
+ \hskip\Fspace%
+ }%
+}%
% asserted universal quantifier with twice negated content:
\newcommand{\Faquantnn}[2][1]%
{%
- \setlength{\Funitlength}{\Fbaselength}%
- \setlength{\Fbaselength}{#1\Fbaselength}%
- \unskip%
- \setlength{\temp}{2\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \rule{\Fassertwidth}{\temp}%
- \setlength{\temp}{.5\Fbaselength}%
- \addtolength{\temp}{-0.5\Fquantwidth}%
- \addtolength{\temp}{-\Fassertwidth}%
- \rule[\Fraiseheight]{\temp}{\Flinewidth}%
- \setlength{\unitlength}{\Fquantwidth}%
- \raisebox{\Fraiseheight}{%
- \begin{picture}(1,0)(0,0)%
- \linethickness{\Flinewidth}%
- \qbezier(0,0)(0.5,-0.6666)(1,0)%
- \end{picture}}%
- \kern-\Fquantwidth%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \raisebox{\temp}{\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
- \setlength{\temp}{.5\Fbaselength}%
- \addtolength{\temp}{-0.5\Fquantwidth}%
- \addtolength{\temp}{-2\Flinewidth}%
- \addtolength{\temp}{-\Fnegsep}%
- \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \addtolength{\temp}{-\Fnegshort}%
- \rule[\Fnegshort]{\Flinewidth}{\temp}%
- \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \addtolength{\temp}{-\Fnegshort}%
- \rule[\Fnegshort]{\Flinewidth}{\temp}%
- \setlength{\temp}{.5\Fbaselength}%
- \addtolength{\temp}{-0.5\Fquantwidth}%
- \addtolength{\temp}{-2\Flinewidth}%
- \addtolength{\temp}{-\Fnegsep}%
- \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
- \setlength{\Fbaselength}{\Funitlength}%
- \hskip\Fspace%
+ \ifthenelse{\boolean{bguq}}%
+ {%
+ \setlength{\Funitlength}{\Fbaselength}%
+ \setlength{\Fbaselength}{#1\Fbaselength}%
+ \unskip%
+ \setlength{\temp}{2\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \rule{\Fassertwidth}{\temp}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fbguqwidth}%
+ \addtolength{\temp}{-\Fassertwidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \raisebox{\temp}{\ensuremath{\bguq}}%
+ \kern-\Fbguqwidth%
+ \raisebox{\temp}%
+ {\makebox[\Fbguqwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fbguqwidth}%
+ \addtolength{\temp}{-2\Flinewidth}%
+ \addtolength{\temp}{-\Fnegsep}%
+ \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fbguqwidth}%
+ \addtolength{\temp}{-2\Flinewidth}%
+ \addtolength{\temp}{-\Fnegsep}%
+ \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
+ \setlength{\Fbaselength}{\Funitlength}%
+ \hskip\Fspace%
+ }%
+ {%
+ \setlength{\Funitlength}{\Fbaselength}%
+ \setlength{\Fbaselength}{#1\Fbaselength}%
+ \unskip%
+ \setlength{\temp}{2\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \rule{\Fassertwidth}{\temp}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fquantwidth}%
+ \addtolength{\temp}{-\Fassertwidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\unitlength}{\Fquantwidth}%
+ \raisebox{\Fraiseheight}{%
+ \begin{picture}(1,0)(0,0)%
+ \linethickness{\Flinewidth}%
+ \qbezier(0,0)(0.5,-0.6666)(1,0)%
+ \end{picture}}%
+ \kern-\Fquantwidth%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \raisebox{\temp}%
+ {\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fquantwidth}%
+ \addtolength{\temp}{-2\Flinewidth}%
+ \addtolength{\temp}{-\Fnegsep}%
+ \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fquantwidth}%
+ \addtolength{\temp}{-2\Flinewidth}%
+ \addtolength{\temp}{-\Fnegsep}%
+ \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
+ \setlength{\Fbaselength}{\Funitlength}%
+ \hskip\Fspace%
+ }%
}%
-% negated asserted universal quantifier with negated content:
+% asserted negated universal quantifier with negated content:
\newcommand{\Fanquantn}[2][1]%
{%
- \setlength{\Funitlength}{\Fbaselength}%
- \setlength{\Fbaselength}{#1\Fbaselength}%
- \unskip%
- \setlength{\temp}{2\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \rule{\Fassertwidth}{\temp}%
- \setlength{\temp}{.25\Fbaselength}%
- \addtolength{\temp}{-0.25\Fquantwidth}%
- \addtolength{\temp}{-0.5\Flinewidth}%
- \addtolength{\temp}{-\Fassertwidth}%
- \rule[\Fraiseheight]{\temp}{\Flinewidth}%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \addtolength{\temp}{-\Fnegshort}%
- \rule[\Fnegshort]{\Flinewidth}{\temp}%
- \setlength{\temp}{.25\Fbaselength}%
- \addtolength{\temp}{-0.25\Fquantwidth}%
- \addtolength{\temp}{-0.5\Flinewidth}%
- \rule[\Fraiseheight]{\temp}{\Flinewidth}%
- \setlength{\unitlength}{\Fquantwidth}%
- \raisebox{\Fraiseheight}{%
- \begin{picture}(1,0)(0,0)%
- \linethickness{\Flinewidth}%
- \qbezier(0,0)(0.5,-0.6666)(1,0)%
- \end{picture}}%
- \kern-\Fquantwidth%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \raisebox{\temp}{\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
- \setlength{\temp}{.25\Fbaselength}%
- \addtolength{\temp}{-0.25\Fquantwidth}%
- \addtolength{\temp}{-0.5\Flinewidth}%
- \rule[\Fraiseheight]{\temp}{\Flinewidth}%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \addtolength{\temp}{-\Fnegshort}%
- \rule[\Fnegshort]{\Flinewidth}{\temp}%
- \setlength{\temp}{.25\Fbaselength}%
- \addtolength{\temp}{-0.25\Fquantwidth}%
- \addtolength{\temp}{-0.5\Flinewidth}%
- \rule[\Fraiseheight]{\temp}{\Flinewidth}%
- \setlength{\Fbaselength}{\Funitlength}%
- \hskip\Fspace%
+ \ifthenelse{\boolean{bguq}}%
+ {%
+ \setlength{\Funitlength}{\Fbaselength}%
+ \setlength{\Fbaselength}{#1\Fbaselength}%
+ \unskip%
+ \setlength{\temp}{2\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \rule{\Fassertwidth}{\temp}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fbguqwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \addtolength{\temp}{-\Fassertwidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fbguqwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \raisebox{\temp}{\ensuremath{\bguq}}%
+ \kern-\Fbguqwidth%
+ \raisebox{\temp}%
+ {\makebox[\Fbguqwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
+ \setlength{\temp}{0.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fbguqwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fbguqwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\Fbaselength}{\Funitlength}%
+ \hskip\Fspace%
+ }%
+ {%
+ \setlength{\Funitlength}{\Fbaselength}%
+ \setlength{\Fbaselength}{#1\Fbaselength}%
+ \unskip%
+ \setlength{\temp}{2\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \rule{\Fassertwidth}{\temp}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fquantwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \addtolength{\temp}{-\Fassertwidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fquantwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\unitlength}{\Fquantwidth}%
+ \raisebox{\Fraiseheight}{%
+ \begin{picture}(1,0)(0,0)%
+ \linethickness{\Flinewidth}%
+ \qbezier(0,0)(0.5,-0.6666)(1,0)%
+ \end{picture}}%
+ \kern-\Fquantwidth%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \raisebox{\temp}%
+ {\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fquantwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fquantwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\Fbaselength}{\Funitlength}%
+ \hskip\Fspace%
+ }%
}%
-% negated asserted universal quantifier with twice negated content:
+% asserted negated universal quantifier with twice negated content:
\newcommand{\Fanquantnn}[2][1]%
{%
- \setlength{\Funitlength}{\Fbaselength}%
- \setlength{\Fbaselength}{#1\Fbaselength}%
- \unskip%
- \setlength{\temp}{2\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \rule{\Fassertwidth}{\temp}%
- \setlength{\temp}{.25\Fbaselength}%
- \addtolength{\temp}{-0.25\Fquantwidth}%
- \addtolength{\temp}{-0.5\Flinewidth}%
- \addtolength{\temp}{-\Fassertwidth}%
- \rule[\Fraiseheight]{\temp}{\Flinewidth}%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \addtolength{\temp}{-\Fnegshort}%
- \rule[\Fnegshort]{\Flinewidth}{\temp}%
- \setlength{\temp}{.25\Fbaselength}%
- \addtolength{\temp}{-0.25\Fquantwidth}%
- \addtolength{\temp}{-0.5\Flinewidth}%
- \rule[\Fraiseheight]{\temp}{\Flinewidth}%
- \setlength{\unitlength}{\Fquantwidth}%
- \raisebox{\Fraiseheight}{%
- \begin{picture}(1,0)(0,0)%
- \linethickness{\Flinewidth}%
- \qbezier(0,0)(0.5,-0.6666)(1,0)%
- \end{picture}}%
- \kern-\Fquantwidth%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \raisebox{\temp}{\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
- \setlength{\temp}{.5\Fbaselength}%
- \addtolength{\temp}{-0.5\Fquantwidth}%
- \addtolength{\temp}{-2\Flinewidth}%
- \addtolength{\temp}{-\Fnegsep}%
- \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \addtolength{\temp}{-\Fnegshort}%
- \rule[\Fnegshort]{\Flinewidth}{\temp}%
- \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \addtolength{\temp}{-\Fnegshort}%
- \rule[\Fnegshort]{\Flinewidth}{\temp}%
- \setlength{\temp}{.5\Fbaselength}%
- \addtolength{\temp}{-0.5\Fquantwidth}%
- \addtolength{\temp}{-2\Flinewidth}%
- \addtolength{\temp}{-\Fnegsep}%
- \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
- \setlength{\Fbaselength}{\Funitlength}%
- \hskip\Fspace%
+ \ifthenelse{\boolean{bguq}}%
+ {%
+ \setlength{\Funitlength}{\Fbaselength}%
+ \setlength{\Fbaselength}{#1\Fbaselength}%
+ \unskip%
+ \setlength{\temp}{2\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \rule{\Fassertwidth}{\temp}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fbguqwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \addtolength{\temp}{-\Fassertwidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fbguqwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \raisebox{\temp}{\ensuremath{\bguq}}%
+ \kern-\Fbguqwidth%
+ \raisebox{\temp}%
+ {\makebox[\Fbguqwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fbguqwidth}%
+ \addtolength{\temp}{-2\Flinewidth}%
+ \addtolength{\temp}{-\Fnegsep}%
+ \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fbguqwidth}%
+ \addtolength{\temp}{-2\Flinewidth}%
+ \addtolength{\temp}{-\Fnegsep}%
+ \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
+ \setlength{\Fbaselength}{\Funitlength}%
+ \hskip\Fspace%
+ }%
+ {%
+ \setlength{\Funitlength}{\Fbaselength}%
+ \setlength{\Fbaselength}{#1\Fbaselength}%
+ \unskip%
+ \setlength{\temp}{2\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \rule{\Fassertwidth}{\temp}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fquantwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \addtolength{\temp}{-\Fassertwidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fquantwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\unitlength}{\Fquantwidth}%
+ \raisebox{\Fraiseheight}{%
+ \begin{picture}(1,0)(0,0)%
+ \linethickness{\Flinewidth}%
+ \qbezier(0,0)(0.5,-0.6666)(1,0)%
+ \end{picture}}%
+ \kern-\Fquantwidth%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \raisebox{\temp}%
+ {\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fquantwidth}%
+ \addtolength{\temp}{-2\Flinewidth}%
+ \addtolength{\temp}{-\Fnegsep}%
+ \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fquantwidth}%
+ \addtolength{\temp}{-2\Flinewidth}%
+ \addtolength{\temp}{-\Fnegsep}%
+ \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
+ \setlength{\Fbaselength}{\Funitlength}%
+ \hskip\Fspace%
+ }%
}%
-% twice negated asserted universal quantifier with negated content:
+% asserted twice negated universal quantifier with negated content:
\newcommand{\Fannquantn}[2][1]%
{%
- \setlength{\Funitlength}{\Fbaselength}%
- \setlength{\Fbaselength}{#1\Fbaselength}%
- \unskip%
- \setlength{\temp}{2\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \rule{\Fassertwidth}{\temp}%
- \setlength{\temp}{.25\Fbaselength}%
- \addtolength{\temp}{-0.25\Fquantwidth}%
- \addtolength{\temp}{-\Flinewidth}%
- \addtolength{\temp}{-0.5\Fnegsep}%
- \addtolength{\temp}{-\Fassertwidth}%
- \rule[\Fraiseheight]{\temp}{\Flinewidth}%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \addtolength{\temp}{-\Fnegshort}%
- \rule[\Fnegshort]{\Flinewidth}{\temp}%
- \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \addtolength{\temp}{-\Fnegshort}%
- \rule[\Fnegshort]{\Flinewidth}{\temp}%
- \setlength{\temp}{.25\Fbaselength}%
- \addtolength{\temp}{-0.25\Fquantwidth}%
- \addtolength{\temp}{-\Flinewidth}%
- \addtolength{\temp}{-0.5\Fnegsep}%
- \rule[\Fraiseheight]{\temp}{\Flinewidth}%
- \setlength{\unitlength}{\Fquantwidth}%
- \raisebox{\Fraiseheight}{%
- \begin{picture}(1,0)(0,0)%
- \linethickness{\Flinewidth}%
- \qbezier(0,0)(0.5,-0.6666)(1,0)%
- \end{picture}}%
- \kern-\Fquantwidth%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \raisebox{\temp}{\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
- \setlength{\temp}{.25\Fbaselength}%
- \addtolength{\temp}{-0.25\Fquantwidth}%
- \addtolength{\temp}{-0.5\Flinewidth}%
- \rule[\Fraiseheight]{\temp}{\Flinewidth}%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \addtolength{\temp}{-\Fnegshort}%
- \rule[\Fnegshort]{\Flinewidth}{\temp}%
- \setlength{\temp}{.25\Fbaselength}%
- \addtolength{\temp}{-0.25\Fquantwidth}%
- \addtolength{\temp}{-0.5\Flinewidth}%
- \rule[\Fraiseheight]{\temp}{\Flinewidth}%
- \setlength{\Fbaselength}{\Funitlength}%
- \hskip\Fspace%
+ \ifthenelse{\boolean{bguq}}%
+ {%
+ \setlength{\Funitlength}{\Fbaselength}%
+ \setlength{\Fbaselength}{#1\Fbaselength}%
+ \unskip%
+ \setlength{\temp}{2\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \rule{\Fassertwidth}{\temp}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fbguqwidth}%
+ \addtolength{\temp}{-\Flinewidth}%
+ \addtolength{\temp}{-0.5\Fnegsep}%
+ \addtolength{\temp}{-\Fassertwidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fbguqwidth}%
+ \addtolength{\temp}{-\Flinewidth}%
+ \addtolength{\temp}{-0.5\Fnegsep}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \raisebox{\temp}{\ensuremath{\bguq}}%
+ \kern-\Fbguqwidth%
+ \raisebox{\temp}%
+ {\makebox[\Fbguqwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
+ \setlength{\temp}{0.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fbguqwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fbguqwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\Fbaselength}{\Funitlength}%
+ \hskip\Fspace%
+ }%
+ {%
+ \setlength{\Funitlength}{\Fbaselength}%
+ \setlength{\Fbaselength}{#1\Fbaselength}%
+ \unskip%
+ \setlength{\temp}{2\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \rule{\Fassertwidth}{\temp}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fquantwidth}%
+ \addtolength{\temp}{-\Flinewidth}%
+ \addtolength{\temp}{-0.5\Fnegsep}%
+ \addtolength{\temp}{-\Fassertwidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fquantwidth}%
+ \addtolength{\temp}{-\Flinewidth}%
+ \addtolength{\temp}{-0.5\Fnegsep}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\unitlength}{\Fquantwidth}%
+ \raisebox{\Fraiseheight}{%
+ \begin{picture}(1,0)(0,0)%
+ \linethickness{\Flinewidth}%
+ \qbezier(0,0)(0.5,-0.6666)(1,0)%
+ \end{picture}}%
+ \kern-\Fquantwidth%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \raisebox{\temp}%
+ {\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fquantwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fquantwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\Fbaselength}{\Funitlength}%
+ \hskip\Fspace%
+ }%
}%
-% twice negated asserted universal quantifier with twice negated content:
+% asserted twice negated universal quantifier with twice negated content:
\newcommand{\Fannquantnn}[2][1]%
{%
- \setlength{\Funitlength}{\Fbaselength}%
- \setlength{\Fbaselength}{#1\Fbaselength}%
- \unskip%
- \setlength{\temp}{2\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \rule{\Fassertwidth}{\temp}%
- \setlength{\temp}{.25\Fbaselength}%
- \addtolength{\temp}{-0.25\Fquantwidth}%
- \addtolength{\temp}{-\Flinewidth}%
- \addtolength{\temp}{-0.5\Fnegsep}%
- \addtolength{\temp}{-\Fassertwidth}%
- \rule[\Fraiseheight]{\temp}{\Flinewidth}%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \addtolength{\temp}{-\Fnegshort}%
- \rule[\Fnegshort]{\Flinewidth}{\temp}%
- \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \addtolength{\temp}{-\Fnegshort}%
- \rule[\Fnegshort]{\Flinewidth}{\temp}%
- \setlength{\temp}{.25\Fbaselength}%
- \addtolength{\temp}{-0.25\Fquantwidth}%
- \addtolength{\temp}{-\Flinewidth}%
- \addtolength{\temp}{-0.5\Fnegsep}%
- \rule[\Fraiseheight]{\temp}{\Flinewidth}%
- \setlength{\unitlength}{\Fquantwidth}%
- \raisebox{\Fraiseheight}{%
- \begin{picture}(1,0)(0,0)%
- \linethickness{\Flinewidth}%
- \qbezier(0,0)(0.5,-0.6666)(1,0)%
- \end{picture}}%
- \kern-\Fquantwidth%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \raisebox{\temp}{\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
- \setlength{\temp}{.5\Fbaselength}%
- \addtolength{\temp}{-0.5\Fquantwidth}%
- \addtolength{\temp}{-2\Flinewidth}%
- \addtolength{\temp}{-\Fnegsep}%
- \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \addtolength{\temp}{-\Fnegshort}%
- \rule[\Fnegshort]{\Flinewidth}{\temp}%
- \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}%
- \setlength{\temp}{\Fraiseheight}%
- \addtolength{\temp}{\Flinewidth}%
- \addtolength{\temp}{-\Fnegshort}%
- \rule[\Fnegshort]{\Flinewidth}{\temp}%
- \setlength{\temp}{.5\Fbaselength}%
- \addtolength{\temp}{-0.5\Fquantwidth}%
- \addtolength{\temp}{-2\Flinewidth}%
- \addtolength{\temp}{-\Fnegsep}%
- \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
- \setlength{\Fbaselength}{\Funitlength}%
- \hskip\Fspace%
+ \ifthenelse{\boolean{bguq}}%
+ {%
+ \setlength{\Funitlength}{\Fbaselength}%
+ \setlength{\Fbaselength}{#1\Fbaselength}%
+ \unskip%
+ \setlength{\temp}{2\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \rule{\Fassertwidth}{\temp}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fbguqwidth}%
+ \addtolength{\temp}{-\Flinewidth}%
+ \addtolength{\temp}{-0.5\Fnegsep}%
+ \addtolength{\temp}{-\Fassertwidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fbguqwidth}%
+ \addtolength{\temp}{-\Flinewidth}%
+ \addtolength{\temp}{-0.5\Fnegsep}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \raisebox{\temp}{\ensuremath{\bguq}}%
+ \kern-\Fbguqwidth%
+ \raisebox{\temp}%
+ {\makebox[\Fbguqwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fbguqwidth}%
+ \addtolength{\temp}{-2\Flinewidth}%
+ \addtolength{\temp}{-\Fnegsep}%
+ \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fbguqwidth}%
+ \addtolength{\temp}{-2\Flinewidth}%
+ \addtolength{\temp}{-\Fnegsep}%
+ \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
+ \setlength{\Fbaselength}{\Funitlength}%
+ \hskip\Fspace%
+ }%
+ {%
+ \setlength{\Funitlength}{\Fbaselength}%
+ \setlength{\Fbaselength}{#1\Fbaselength}%
+ \unskip%
+ \setlength{\temp}{2\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \rule{\Fassertwidth}{\temp}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fquantwidth}%
+ \addtolength{\temp}{-\Flinewidth}%
+ \addtolength{\temp}{-0.5\Fnegsep}%
+ \addtolength{\temp}{-\Fassertwidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.25\Fbaselength}%
+ \addtolength{\temp}{-0.25\Fquantwidth}%
+ \addtolength{\temp}{-\Flinewidth}%
+ \addtolength{\temp}{-0.5\Fnegsep}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\unitlength}{\Fquantwidth}%
+ \raisebox{\Fraiseheight}{%
+ \begin{picture}(1,0)(0,0)%
+ \linethickness{\Flinewidth}%
+ \qbezier(0,0)(0.5,-0.6666)(1,0)%
+ \end{picture}}%
+ \kern-\Fquantwidth%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \raisebox{\temp}%
+ {\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fquantwidth}%
+ \addtolength{\temp}{-2\Flinewidth}%
+ \addtolength{\temp}{-\Fnegsep}%
+ \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fquantwidth}%
+ \addtolength{\temp}{-2\Flinewidth}%
+ \addtolength{\temp}{-\Fnegsep}%
+ \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}%
+ \setlength{\Fbaselength}{\Funitlength}%
+ \hskip\Fspace%
+ }%
}%