summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/latex/frege
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2012-07-23 16:41:34 +0000
committerKarl Berry <karl@freefriends.org>2012-07-23 16:41:34 +0000
commitc47bc266846cc8bf776d79f1f54140443a8269a3 (patch)
tree9953ccd971ef82ecdaffc0909ebe4154bd8e2196 /Master/texmf-dist/tex/latex/frege
parent85374fe92189daeead769e66cac404573ae35352 (diff)
new latex package frege (15jul12)
git-svn-id: svn://tug.org/texlive/trunk@27106 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/latex/frege')
-rw-r--r--Master/texmf-dist/tex/latex/frege/frege.sty1107
1 files changed, 1107 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex/latex/frege/frege.sty b/Master/texmf-dist/tex/latex/frege/frege.sty
new file mode 100644
index 00000000000..2b3b6854d53
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/frege/frege.sty
@@ -0,0 +1,1107 @@
+% frege.sty - a LaTeX2e package for typesetting begriffsschrift
+% by Quirin Pamp <Quirin.Pamp.2009 at my.bristol.ac.uk>
+%
+% based on begriffHeck.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)
+%
+% This program is free software; you can redistribute it and/or modify
+% it under the terms of the GNU General Public License as published by
+% the Free Software Foundation; either version 2 of the License, or
+% (at your option) any later version.
+%
+% This program is distributed in the hope that it will be useful,
+% but WITHOUT ANY WARRANTY; without even the implied warranty of
+% MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
+% General Public License for more details.
+%
+% 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.)
+
+%%% changes as compared to begriff.sty:
+% correct relative lengths of various content strokes;
+% content strokes at middle of line rather than bottom;
+% greater width for assertion stroke as compared to content stroke;
+% more intuitive structure of commands (arguments are now given in the same
+% order as they appear on the left of a completed formula);
+% the command conditional with empty arguments now only gives the conditional
+% stroke the other strokes are added as the arguments;
+% accounting for linewidth so that things remain properly centered even for
+% a greater linewidth;
+
+%%% changes in version 1.1:
+% added option to locally set \Fbaselength to all basic strokes;
+% simplified code for \Fbracket in terms of \Fbox;
+% rearranged code in a more logical order;
+
+%%% changes in version 1.2:
+% added new command \Fargument for typesetting arguments;
+% added new command \Fstrut to be used in conjunction with \Fargument;
+% 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;
+
+%%% 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;
+% a vertical shorthand stroke as I have seen in Begriffsschrift?!;
+
+%%% 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.
+
+%%% package dependencies:
+\RequirePackage{amssymb}
+
+%%% variable decleration:
+\newlength{\temp}%
+\newlength{\tempp}%
+\newlength{\Fbaselength}%
+\setlength{\Fbaselength}{20pt}%
+\newlength{\Funitlength}%
+\newlength{\Flinewidth}%
+\setlength{\Flinewidth}{0.5pt}%
+\newlength{\Fspace}%
+\setlength{\Fspace}{2pt}%
+\newlength{\Fassertwidth}%
+\setlength{\Fassertwidth}{3\Flinewidth}%
+\newlength{\Fraiseheight}%
+\setlength{\Fraiseheight}{1ex}%
+\addtolength{\Fraiseheight}{-\Flinewidth}%
+\newlength{\Fnegsep}%
+\setlength{\Fnegsep}{3\Flinewidth}%
+\newlength{\Fnegshort}%
+\setlength{\Fnegshort}{2\Flinewidth}%
+\newlength{\Fquantwidth}%
+\setlength{\Fquantwidth}{6pt}%
+\newlength{\Fantecedentheight}%
+\newlength{\Fconsequentdepth}%
+\newsavebox{\Fantecedent}%
+\newsavebox{\Fconsequent}%
+\newlength{\Fantecedentwidth}%
+\newlength{\Fconsequentwidth}%
+\newlength{\Fblockwidth}%
+\newlength{\Fpremiselength}%
+\newlength{\Fthereforelength}%
+
+%%% main body/new commands:
+% boxing complex expressions with a centered baseline:
+\newcommand{\Fbox}[1]{%
+ \settowidth{\temp}{\ensuremath{#1}}%
+ \settoheight{\tempp}{\ensuremath{#1}}%
+ \addtolength{\tempp}{3pt}% visual approximation may not scale right
+ \parbox{\temp}{\rule{0pt}{\tempp}\ensuremath{#1}}%
+}%
+
+% bracketed Fbox:
+\newcommand{\Fbracket}[1]{\ensuremath{\left(\Fbox{#1}\right)}}%
+
+% conditional stroke \Fconditional[content]{consequent}{antecedent}:
+\newcommand{\Fconditional}[3][]%
+{%
+ \unskip%
+ \sbox{\Fconsequent}{%
+ \rule[-0.3\baselineskip]{0pt}{0.3\baselineskip}% this is a strut
+ \ensuremath{#2}}%
+ \settodepth{\Fconsequentdepth}{%
+ \rule[-0.3\baselineskip]{0pt}{0.3\baselineskip}% this is a strut
+ \ensuremath{#2}}%
+ \sbox{\Fantecedent}{%
+ \rule{0pt}{\baselineskip}% this is a strut
+ \rule[-0.3\baselineskip]{0pt}{0.3\baselineskip}% this is a strut
+ \ensuremath{#3}}%
+ \settoheight{\Fantecedentheight}{%
+ \rule{0pt}{\baselineskip}%
+ \rule[-0.3\baselineskip]{0pt}{0.3\baselineskip}% this is a strut
+ \ensuremath{#3}}%
+ \setlength{\temp}{\lineskip}%
+ \addtolength{\temp}{\Fantecedentheight}%
+ \addtolength{\temp}{\Fconsequentdepth}%
+ \setlength{\tempp}{\temp}%
+ \addtolength{\tempp}{-\Fraiseheight}%
+ \mbox{%
+ \ensuremath{#1\unskip}%
+ \kern-\Flinewidth%
+ \rule[-\tempp]{\Flinewidth}{\temp}%
+ \settowidth{\Fconsequentwidth}{\usebox{\Fconsequent}}% find width
+ \settowidth{\Fantecedentwidth}{\usebox{\Fantecedent}}% find width
+ \settoheight{\temp}{\mbox{% compare and find longer of two widths
+ \rule{0pt}{\Fconsequentwidth}%
+ \rule{0pt}{\Fantecedentwidth}}}%
+ \parbox[t]{\temp}{\usebox{\Fconsequent}\\\usebox{\Fantecedent}}}%
+}%
+
+% argument presentation \Fargument[premise 0]{premise 1}{premise 2}{conclusion}
+\newcommand{\Fargument}[4][]%
+{%
+ \settowidth{\Fantecedentwidth}{\ensuremath{#2}}%
+ \settowidth{\Fconsequentwidth}{\ensuremath{#3}}%
+ \settoheight{\Fblockwidth}{\mbox{%
+ \rule{0pt}{\Fantecedentwidth}%
+ \rule{0pt}{\Fconsequentwidth}}}%
+ \setlength{\Fthereforelength}{\Fblockwidth}%
+ \addtolength{\Fthereforelength}{1em}%
+ \settowidth{\Fpremiselength}{\ensuremath{\left(#1\right):}}%
+ \mbox{%
+ \raisebox{.69\baselineskip}{\ensuremath{\left(#1\right)\kern-4pt:}}%
+ \hskip .5em%
+ \parbox[b]{\Fblockwidth}{%
+ \ensuremath{#2}\\%
+ \rule{0pt}{1\baselineskip}\ensuremath{#3}\\%
+ \makebox[\Fblockwidth]{%
+ \rule{0pt}{1.3\baselineskip}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{0.65\baselineskip}%
+ \addtolength{\temp}{0.5\lineskip}%
+ \rule[\temp]{\Fthereforelength}{\Flinewidth}}}%
+ \kern-\Fblockwidth%
+ \ensuremath{#4}}%
+}%
+
+% strut (for use with argument):
+\newcommand{\Fstrut}[1][1]%
+{%
+ \setlength{\Funitlength}{\Fbaselength}%
+ \setlength{\Fbaselength}{#1\Fbaselength}%
+ \rule[\Fraiseheight]{\Fbaselength}{0pt}%
+ \setlength{\Fbaselength}{\Funitlength}%
+}%
+
+% content stroke:
+\newcommand{\Fcontent}[1][1]%
+{%
+ \setlength{\Funitlength}{\Fbaselength}%
+ \setlength{\Fbaselength}{#1\Fbaselength}%
+ \unskip%
+ \rule[\Fraiseheight]{\Fbaselength}{\Flinewidth}%
+ \setlength{\Fbaselength}{\Funitlength}%
+ \hskip\Fspace%
+}%
+
+% negated content stroke:
+\newcommand{\Fncontent}[1][1]%
+{%
+ \setlength{\Funitlength}{\Fbaselength}%
+ \setlength{\Fbaselength}{#1\Fbaselength}%
+ \unskip%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\Fbaselength}{\Funitlength}%
+ \hskip\Fspace%
+}%
+
+% twice negated content stroke:
+\newcommand{\Fnncontent}[1][1]%
+{%
+ \setlength{\Funitlength}{\Fbaselength}%
+ \setlength{\Fbaselength}{#1\Fbaselength}%
+ \unskip%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fnegsep}%
+ \addtolength{\temp}{-\Flinewidth}%
+ \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}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fnegsep}%
+ \addtolength{\temp}{-\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\Fbaselength}{\Funitlength}%
+ \hskip\Fspace%
+}%
+
+% asserted content stroke:
+\newcommand{\Facontent}[1][1]%
+{%
+ \setlength{\Funitlength}{\Fbaselength}%
+ \setlength{\Fbaselength}{#1\Fbaselength}%
+ \unskip%
+ \setlength{\temp}{2\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \rule{\Fassertwidth}{\temp}%
+ \setlength{\temp}{\Fbaselength}%
+ \addtolength{\temp}{-\Fassertwidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\Fbaselength}{\Funitlength}%
+ \hskip\Fspace%
+}%
+
+% negated asserted content stroke:
+\newcommand{\Fancontent}[1][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}{-\Fassertwidth}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\temp}{\Fraiseheight}%
+ \addtolength{\temp}{\Flinewidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \rule[\Fnegshort]{\Flinewidth}{\temp}%
+ \setlength{\temp}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\Fbaselength}{\Funitlength}%
+ \hskip\Fspace%
+}%
+
+% twice negated asserted content stroke:
+\newcommand{\Fanncontent}[1][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}{-\Fassertwidth}%
+ \addtolength{\temp}{-\Fnegshort}%
+ \addtolength{\temp}{-\Flinewidth}%
+ \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}{.5\Fbaselength}%
+ \addtolength{\temp}{-0.5\Fnegsep}%
+ \addtolength{\temp}{-\Flinewidth}%
+ \rule[\Fraiseheight]{\temp}{\Flinewidth}%
+ \setlength{\Fbaselength}{\Funitlength}%
+ \hskip\Fspace%
+}%
+
+% 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%
+}%
+
+% 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%
+}%
+
+% 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%
+}%
+
+% 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%
+}
+
+% 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%
+}%
+
+% 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%
+}%
+
+% 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%
+}%
+
+% 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%
+}%
+
+% 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%
+}%
+
+% 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%
+}%
+
+% negated asserted 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%
+}%
+
+% twice negated asserted 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%
+}%
+
+% 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%
+}
+
+% 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%
+}%
+
+% negated asserted 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%
+}%
+
+% negated asserted 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%
+}%
+
+% twice negated asserted 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%
+}%
+
+% twice negated asserted 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%
+}%