From 918743319a7d3927555f1bf0ed598c6886bd700c Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Wed, 15 Aug 2012 23:11:17 +0000 Subject: frege (15aug12) git-svn-id: svn://tug.org/texlive/trunk@27417 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf-dist/tex/latex/frege/frege.sty | 2285 ++++++++++++++++++--------- 1 file changed, 1542 insertions(+), 743 deletions(-) (limited to 'Master/texmf-dist/tex/latex/frege') 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 +% by Quirin Pamp % -% 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 % with changes made in October 2004 by Richard Heck % 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% + }% }% -- cgit v1.2.3