diff options
Diffstat (limited to 'Master/texmf-dist')
| -rw-r--r-- | Master/texmf-dist/doc/latex/frege/INSTALL | 57 | ||||
| -rw-r--r-- | Master/texmf-dist/doc/latex/frege/README | 46 | ||||
| -rw-r--r-- | Master/texmf-dist/doc/latex/frege/frege.pdf | bin | 117120 -> 137784 bytes | |||
| -rw-r--r-- | Master/texmf-dist/doc/latex/frege/frege.tex | 216 | ||||
| -rw-r--r-- | Master/texmf-dist/tex/latex/frege/frege.sty | 2285 |
5 files changed, 1781 insertions, 823 deletions
diff --git a/Master/texmf-dist/doc/latex/frege/INSTALL b/Master/texmf-dist/doc/latex/frege/INSTALL new file mode 100644 index 00000000000..836d9ac98d3 --- /dev/null +++ b/Master/texmf-dist/doc/latex/frege/INSTALL @@ -0,0 +1,57 @@ +Unfortunately I am no computer expert and I don't know how to provide detailed +installation instructions for every system out there (let alone create a script +for that purpose). Instead I will provide what has worked for me using TeX Live +as bundled for Ubuntu 10.04 LTS, as well as a reference to Stack Exchange. + +Note also that the frege package requires both the "amssymb" package and the +"ifthen" package to be installed. These are both fairly common and will come +with most versions of LaTeX. If you want to use the bguq option you will also +need to install the "bguq" package, which may be found on ctan +(http://www.ctan.org/pkg/bguq). + +To install I place the frege.sty file in either one of the following locations: + + /usr/local/share/texmf/tex/latex/frege/ + /usr/share/texmf-texlive/tex/latex/frege/ + +One way to find the above paths on your system is to use the kpsewhich command in +conjunction with a standard latex class. Enter the following into the terminal +while in the root directory (get there by typing "cd /" and hitting enter): + + kpsewhich article.cls + <hit enter> + +This should return something like: + + /usr/share/texmf-texlive/tex/latex/base/article.cls + +of which you need everything up to the latex/ + +copying the frege.sty file to one of these locations as well as creating a frege/ +directory will require sudo priveliges. Type the following into Terminal (adjusting +the <path> as needed and hitting enter after each line): + + sudo mkdir /usr/local/share/texmf/tex/latex/frege + <at this point you will need to enter your password> + sudo cp <path>/frege.sty /usr/local/share/texmf/tex/latex/frege/frege.sty + +once you have done that you will need to navigate to your ls-R file: + + cd /usr/local/share/texmf + +this path may once again be found using the kpsewhich command as follows: + + kpsewhich ls-R + +once you are in the directory containting the ls-R file type the following: + + sudo mktexlsr + +the package is now installed and may be used by placing the following in the +preamble of a tex file: + + \usepackage{frege} + +In case this is completely unhelpful to you (for example because you are using some +completely different version of LaTeX in a completely different operating system I +suggest turning to Stack Exchange for help (http://tex.stackexchange.com/). diff --git a/Master/texmf-dist/doc/latex/frege/README b/Master/texmf-dist/doc/latex/frege/README index cac3957a85e..ee6c95c4a2d 100644 --- a/Master/texmf-dist/doc/latex/frege/README +++ b/Master/texmf-dist/doc/latex/frege/README @@ -1,12 +1,14 @@ frege.sty - a LaTeX2e package for typesetting begriffsschrift This package is based on begriff.sty released under the GNU General Public License. -Copyright (C) 2003 by Josh Parsons <josh@coombs.anu.edu.au> +Copyright (C) 2003 by Josh Parsons + +Since version 1.3 this package also makes use of the bguq package by J.J. Green. Changes with respect to begriff.sty -correct relative lengths of the content stroke with respect to other strokes attached -to it; +correct relative lengths of the content stroke with respect to other strokes +attached to it; content strokes point at the middle of the following symbols, rather than the bottom; greater width for the assertion stroke as compared to the content stroke; a more intuitive structure for the conditional (arguments are now given in the same @@ -59,6 +61,10 @@ will produce a stroke half as long. Warning: setting a length shorter than what needed to fit all the options of a stroke leads to negative lengths and hence unpredictable results. +Since version 1.3 it is also possible to call all the above commands without the +word "content" for the content strokes and with just "q" instead of the word "quant" +for the quantifiers. + frege.sty defines the following more complex commands: \Fconditional[<option>]{<consequent>}{<antecedent>} \Fbox{<begriffsschrift formula with at least one conditional>} @@ -68,26 +74,29 @@ frege.sty defines the following more complex commands: The final two have been added in version 1.2. +The following shorthands for the above commands have been introduced in version 1.3: +\Fcdt, \Fb, \Fbb, \Farg, \Fs; + The "Fconditional" command requires a mixture of the commands defined by frege.sty and normal mathmode input to produce begriffsschrift. A implies B would be written like this: \Fconditional[\Facontent]{\Fcontent B}{\Fcontent A} -This produces the two dimensional fregean conditional symbol with B lined up above A. -In addition the "Fconditional" command may be arbitrarily nested to produce any -begriffsschrift formula possible. Only the unnested conditional requires the optional -argument. +This produces the two dimensional fregean conditional symbol with B lined up above +A. In addition the "Fconditional" command may be arbitrarily nested to produce any +begriffsschrift formula possible. All begriffsschrift symbol can be made without +the use of the optional argument, it exists only for convenience. "Fbracket" is just the same as "\left(\Fbox\right)" everything said about "Fbox" applies equally to "Fbracket". A completed formula of begriffsschrift that includes at least one conditional, should always be placed in an "Fbox" this ensures it is -given enough space in the output behaves correctly with respect to the text around it -and works correctly within environments such as align*. +given enough space in the output behaves correctly with respect to the text around +it and works correctly within environments such as align*. -"Fargument" arranges two begriffsschrift formulas above each other and seperates them -from a third by a horizontal line. The option is for the name of a premise written -elsewhere and will outout (name): to the left of the horizontal line. +"Fargument" arranges two begriffsschrift formulas above each other and seperates +them from a third by a horizontal line. The option is for the name of a premise +written elsewhere and will outout (name): to the left of the horizontal line. "Fstrut" is like a invisible content stroke. Like all other basic strokes, it may be scaled using it's optional argument. Fstrut is to be used in conjunction with @@ -107,5 +116,16 @@ length: default value: description: \Fnegshort 2\Flinewidth the space between negation stroke and baseline \Fquantwidth 6pt width of the semi circular quantifier depression -For more examples see accompanying manual (Frege.pdf or Frege.tex) +Since version 1.3 it is possible to load this package using the "bguq" option: +\usepackage[bguq]{frege} + +if the bguq option is enabled all quantifiers will use the bguq character provided +by the bguq package by J.J. Green rather than the qbezier used by this package. +This means the bguq package must be installed to use the option. (It can be found +on ctan: http://www.ctan.org/pkg/bguq). +Warning: as it stands the bguq character scales with font while the rest of the +symbols provided by this package do not. Also, the bguq character will not respond +to a change in Flinewidth. + +For more examples and info see accompanying manual (frege.pdf or frege.tex) Everything released under GNU General Public License. diff --git a/Master/texmf-dist/doc/latex/frege/frege.pdf b/Master/texmf-dist/doc/latex/frege/frege.pdf Binary files differindex 276ae09e2c9..f81ec30a05a 100644 --- a/Master/texmf-dist/doc/latex/frege/frege.pdf +++ b/Master/texmf-dist/doc/latex/frege/frege.pdf diff --git a/Master/texmf-dist/doc/latex/frege/frege.tex b/Master/texmf-dist/doc/latex/frege/frege.tex index 36b0041286f..67758fc6d35 100644 --- a/Master/texmf-dist/doc/latex/frege/frege.tex +++ b/Master/texmf-dist/doc/latex/frege/frege.tex @@ -1,5 +1,5 @@ \documentclass[12pt]{article} -\usepackage{frege} +\usepackage[bguq]{frege} \usepackage{amsmath} %% For condensed itemize: @@ -23,7 +23,29 @@ \begin{document} \maketitle \section{Background} -\subsection{begriff.sty} +\subsection{Motivation for this Package} + I recently decided to read Frege's \emph{Begriffsschrift} from 1879 and found that + the only copy I could find online was a rather poor quality scan of the original. + Since the copyright on german publications expires some 70 or so years after the + death of their author, I had the bright idea to combine reading the paper with + the making of an electronic copy. This required the typesetting of begriffsschrift. + A quick search on the internet assured me that there was a LaTeX package for just + this purpose, and off I went. However I quickly noticed that it would be very + difficult to achieve a typesetting I deemed sufficiently close to the original + using only the package \emph{begriff} by Josh Parsons. Despite the fact that I + have never written a LaTeX package before, a quick look at the source file (only + some 300 or so lines with plenty of comments) along with some head scratching + convinced me to embark on this further project. + + With the help of the begriff package and the good people on Stack-Exchange, I + eventually produced a package that was able to do everything that the original + begriff package can, albeit with a few changes I consider an improvement. Further + versions largely reflect additional features I added as I continue to type up + Frege's original paper, as well as bug fixes and input by members of the LaTeX + community. Once I am done I will add the tex file for Fege's paper as the + definitive example for the usage of this package. + +\subsection{The \emph{begriff} Package} This package is based on begriff.sty released under the GNU General Public License. Copyright (C) 2003 by Josh Parsons (josh@coombs.anu.edu.au) with changes made in @@ -34,27 +56,18 @@ package from the ground up, to the point where some of the underlying approaches have changed. On the downside this means there is no simple way of converting anything typeset using begriff.sty to use this package instead. I felt this was - necessary to achieve a end result I was happy with. - -\subsection{GNU General Public License} - This package and all accompanying documentation is released under the GNU General - Public License. It 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. + necessary to achieve an end result I was happy with. - 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.) +\subsection{The \emph{bguq} Package} + Since version 1.3 I added the option to use the bguq character for all + quantifiers. This character is provided by the bguq package by J.J. Green. +\section{Version History} \subsection{Changes as Compared to begriff.sty} \squishlist - \item correct relative lengths of the content stroke with respect to other - strokes attached to it; - \item content strokes point at the middle of the followint symbols, rather + \item correct (closer to the original typesetting) relative lengths of the + content stroke with respect to other strokes attached to it; + \item content strokes point at the middle of the following symbols, rather than the bottom; \item greater width for the assertion stroke as compared to the content stroke; \item a more intuitive structure for the conditional (arguments are now given in @@ -68,7 +81,7 @@ \subsection{Changes in Version 1.1} \squishlist - \item added a optional scale factor to all basic strokes; + \item added an optional scale factor to all basic strokes; \item simplified the code for Fbracket in terms of that for Fbox; \item rearranged the code in the style file in a more logical way; \squishlistend @@ -77,49 +90,86 @@ \squishlist \item added a new command ``Fargument'' for typesetting arguments; \item added a new command ``Fstrut'' to be used in conjunction with Fargument; - \item changed Fbaselength to be equal to the full length of a basi stroke (20pt); + \item changed Fbaselength to be equal to the full length of a basic stroke (20pt); \item fixed a bug where the scale factor introduced in version 1.1 does not reset after all uses; \squishlistend +\subsection{Changes in Version 1.3} + \squishlist + \item made the ``():'' used in the Fargument command introduced in version 1.2 + user defined so as to make the option properly optional; + \item added a strut to Fargument so as to produce visually correct centering; + \item added optional shorthands for all commands for a better flow of usage; + \item added the option ``bguq'' to the package which uses the bguq font by J.J. + Green for all quantifiers; + \squishlistend + \subsection{Changes and Features yet to come} \squishlist - \item incorporation of other frege related material such as fge.sty so as to put - all frege related material in a single package; + \item a way to display nested arguments; + \item the fregean conjunction (it exists); \item a vertical shorthand stroke such as used by Frege for typesetting arguments - in ``Begriffsschrift''; + in his original paper; + \item scaling symbols automatically with changes in font size; + \item scaling of the bguq character with changes in Flinewidth; \squishlistend \section{Features and Usage} \subsection{Commands} \subsubsection{Basic Commands} The following is a list of the basic commands provided by this package along with - accompanying output. The conditional is treated sepperately. + accompanying output and the optional shorthand for the command. \begin{flalign*} - &\mbox{\textbackslash Fcontent[1]} & &\Fcontent & & &\\ - &\mbox{\textbackslash Fncontent[1]} & &\Fncontent\\ - &\mbox{\textbackslash Fnncontent[1]} & &\Fnncontent\\ - &\mbox{\textbackslash Facontent[1]} & &\Facontent\\ - &\mbox{\textbackslash Fancontent[1]} & &\Fancontent\\ - &\mbox{\textbackslash Fanncontent[1]} & &\Fanncontent\\ - &\mbox{\textbackslash Fquant[1]\{a\}} & &\Fquant{a}\\ - &\mbox{\textbackslash Fnquant[1]\{a\}} & &\Fnquant{a}\\ - &\mbox{\textbackslash Fnnquant[1]\{a\}} & &\Fnnquant{a}\\ - &\mbox{\textbackslash Fquantn[1]\{a\}} & &\Fquantn{a}\\ - &\mbox{\textbackslash Fquantnn[1]\{a\}} & &\Fquantnn{a}\\ - &\mbox{\textbackslash Fnquantn[1]\{a\}} & &\Fnquantn{a}\\ - &\mbox{\textbackslash Fnquantnn[1]\{a\}} & &\Fnquantnn{a}\\ - &\mbox{\textbackslash Fnnquantn[1]\{a\}} & &\Fnnquantn{a}\\ - &\mbox{\textbackslash Fnnquantnn[1]\{a\}} & &\Fnnquantnn{a}\\ - &\mbox{\textbackslash Faquant[1]\{a\}} & &\Faquant{a}\\ - &\mbox{\textbackslash Fanquant[1]\{a\}} & &\Fanquant{a}\\ - &\mbox{\textbackslash Fannquant[1]\{a\}} & &\Fannquant{a}\\ - &\mbox{\textbackslash Faquantn[1]\{a\}} & &\Faquantn{a}\\ - &\mbox{\textbackslash Faquantnn[1]\{a\}} & &\Faquantnn{a}\\ - &\mbox{\textbackslash Fanquantn[1]\{a\}} & &\Fanquantn{a}\\ - &\mbox{\textbackslash Fanquantnn[1]\{a\}} & &\Fanquantnn{a}\\ - &\mbox{\textbackslash Fannquantn[1]\{a\}} & &\Fannquantn{a}\\ - &\mbox{\textbackslash Fannquantnn[1]\{a\}} & &\Fannquantnn{a}\\ + &\mbox{Command:} & &\mbox{Output:} & &\mbox{Shorthand:}\\ + &\mbox{\textbackslash Fcontent[1]} & &\Fcontent + & &\mbox{\textbackslash F[1]}\\ + &\mbox{\textbackslash Fncontent[1]} & &\Fncontent + & &\mbox{\textbackslash Fn[1]}\\ + &\mbox{\textbackslash Fnncontent[1]} & &\Fnncontent + & &\mbox{\textbackslash Fnn[1]}\\ + &\mbox{\textbackslash Facontent[1]} & &\Facontent + & &\mbox{\textbackslash Fa[1]}\\ + &\mbox{\textbackslash Fancontent[1]} & &\Fancontent + & &\mbox{\textbackslash Fan[1]}\\ + &\mbox{\textbackslash Fanncontent[1]} & &\Fanncontent + & &\mbox{\textbackslash Fann[1]}\\ + &\mbox{\textbackslash Fquant[1]\{a\}} & &\Fquant{a} + & &\mbox{\textbackslash Fq[1]}\\ + &\mbox{\textbackslash Fnquant[1]\{a\}} & &\Fnquant{a} + & &\mbox{\textbackslash Fnq[1]\{a\}}\\ + &\mbox{\textbackslash Fnnquant[1]\{a\}} & &\Fnnquant{a} + & &\mbox{\textbackslash Fnnq[1]\{a\}}\\ + &\mbox{\textbackslash Fquantn[1]\{a\}} & &\Fquantn{a} + & &\mbox{\textbackslash Fqn[1]\{a\}}\\ + &\mbox{\textbackslash Fquantnn[1]\{a\}} & &\Fquantnn{a} + & &\mbox{\textbackslash Fqnn[1]\{a\}}\\ + &\mbox{\textbackslash Fnquantn[1]\{a\}} & &\Fnquantn{a} + & &\mbox{\textbackslash Fnqn[1]\{a\}}\\ + &\mbox{\textbackslash Fnquantnn[1]\{a\}} & &\Fnquantnn{a} + & &\mbox{\textbackslash Fnqnn[1]\{a\}}\\ + &\mbox{\textbackslash Fnnquantn[1]\{a\}} & &\Fnnquantn{a} + & &\mbox{\textbackslash Fnnqn[1]\{a\}}\\ + &\mbox{\textbackslash Fnnquantnn[1]\{a\}} & &\Fnnquantnn{a} + & &\mbox{\textbackslash Fnnqnn[1]\{a\}}\\ + &\mbox{\textbackslash Faquant[1]\{a\}} & &\Faquant{a} + & &\mbox{\textbackslash Faq[1]\{a\}}\\ + &\mbox{\textbackslash Fanquant[1]\{a\}} & &\Fanquant{a} + & &\mbox{\textbackslash Fanq[1]\{a\}}\\ + &\mbox{\textbackslash Fannquant[1]\{a\}} & &\Fannquant{a} + & &\mbox{\textbackslash Fannq[1]\{a\}}\\ + &\mbox{\textbackslash Faquantn[1]\{a\}} & &\Faquantn{a} + & &\mbox{\textbackslash Faqn[1]\{a\}}\\ + &\mbox{\textbackslash Faquantnn[1]\{a\}} & &\Faquantnn{a} + & &\mbox{\textbackslash Faqnn[1]\{a\}}\\ + &\mbox{\textbackslash Fanquantn[1]\{a\}} & &\Fanquantn{a} + & &\mbox{\textbackslash Fanqn[1]\{a\}}\\ + &\mbox{\textbackslash Fanquantnn[1]\{a\}} & &\Fanquantnn{a} + & &\mbox{\textbackslash Fanqnn[1]\{a\}}\\ + &\mbox{\textbackslash Fannquantn[1]\{a\}} & &\Fannquantn{a} + & &\mbox{\textbackslash Fannqn[1]\{a\}}\\ + &\mbox{\textbackslash Fannquantnn[1]\{a\}} & &\Fannquantnn{a} + & &\mbox{\textbackslash Fannqnn[1]\{a\}}\\ \end{flalign*} This may seem like a daunting list, but there is an exceedingly simple way to think about it. In a sense there are only two commands \textbackslash Fcontent[1] and @@ -127,7 +177,7 @@ combination of as and ns so as to add assertion and negation strokes respectively. Any stroke that is asserted (has a fat vertical line at the start) starts with `\textbackslash Fa'. This may be followed by either one or two or no `n' to add one - or two or no negation strokes (the small vertical lines below the assertion + or two or no negation strokes (the small vertical lines below the content stroke). Next comes the name of the main command, either `quant' or `content'. Finally the quantifiers may be followed by either one or two `n' to add one or two negation strokes to the content stroke after the quantifier's depression. @@ -168,6 +218,8 @@ \textbackslash Fconditional[\textless option\textgreater] \{\textless consequent\textgreater\}\{\textless antecedent\textgreater\}\\ + The shorthand version (since version 1.3) is given by ``\textbackslash Fcdt''. + The arguments may in principle be anything, but you will only get a begriffschrift formula if the arguments are themselves given by appropriate commands from the list of basic commands given earlier. As an example, an asserted conjunction between $A$ @@ -209,9 +261,12 @@ \subsubsection{Brackets and Boxes} There are two more commands to be considered: - \textbackslash Fbracket\{\textless complex expression\textgreater\} - \textbackslash Fbox\{\textless complex expression\textgreater\}\\ + The shorthand version (since version 1.3) is given by \textbackslash Fb\{\} + + \textbackslash Fbracket\{\textless complex expression\textgreater\}\\ + The shorthand version (since version 1.3) is given by \textbackslash Fbb\{\} + Both Fbox and Fbracket take what I have called a `complex expression' for their argument. A `complex expression' is any formula in begriffsschrift that has at least one conditional in it. It is generally a good idea to put all complex @@ -223,7 +278,7 @@ The reason why the Fbox is a good idea, is that the baseline is very near the top of a complex expression of Begriffsschrift, which can make for some odd formatting - effects. In addition to placing the baseline at the middel of a complex expression + effects. In addition to placing the baseline at the middle of a complex expression an Fbox ensures the expression is treated by LaTeX as a single object and given enough space. @@ -231,20 +286,22 @@ the align* environment for example) unless it is placed in an Fbox. In short, always use an Fbox (or Fbracket). -\subsection{Arguments and Struts} - Since version 1.2 two arguments have been added that allow for the typesetting of +\subsubsection{Arguments and Struts} + Since version 1.2 two commands have been added that allow for the typesetting of arguments. The syntax for the argument command is as follows: - \textbackslash Fargument[\textless absent premise\textgreater]\{\textless premise + \textbackslash Fargument[\textless premise 0\textgreater]\{\textless premise 1\textgreater\}\{\textless premise 2\textgreater\}\{\textless conclusion \textgreater\}\\ - In the following esample the optional argument for the absent premise takes the - value `$X$' the premises are the two formulas above the therfore line and the - conclusion is the formula below the therefore line. The Begriffschrift expressions - in the arguments of the Fargument command do not need to be placed in an Fbox, - since the Fargument command works by boxing it's arguments allready. + The shorthand version (since version 1.3) is given by \textbackslash Farg + + In the following esample the optional argument for premise 0 (an absent premise + takes the value `$(X):$' the premises are the two formulas above the therfore line + and the conclusion is the formula below the therefore line. The Begriffschrift + expressions in the arguments of the Fargument command do not need to be placed in + an Fbox, since the Fargument command works by boxing it's arguments allready. \begin{align*} - \Fargument[X] + \Fargument[(X):] {\Fconditional[\Facontent] {\Fcontent[2] A} {\Fcontent\Fconditional{\Fcontent B}{\Fcontent C}}} @@ -256,9 +313,10 @@ The three begriffsschrift formulas above are in fact aligned leftbound. To make them appear rightbound no matter what the relative lengths of $A$, $B$, and $C$, the command ``Fstrut'' has been used in front of $\Facontent C$ and $\Facontent A$. - The command \textbackslash Fstrut[1] works exactly like an invisible content + The command ``\textbackslash Fstrut[1]'' works exactly like an invisible content stroke, that is it inserts space of length Fbaselength. Like all basic strokes it - can be scaled via an optional scale factor. + can be scaled via an optional scale factor. Since version 1.3 it may be called by + the optional shorthand ``\textbackslash Fs'' \subsection{Lengths} In theory all the dimensions in this package can be changed with the command @@ -288,6 +346,18 @@ the conditionals argument, as well as the baselineskip of the surrounding text. It cannot be changed manually. +\subsection{The \emph{bguq} Option} + Since version 1.3 this package may be called with the option ``bguq'' as follows: \\ + \textbackslash usepackage[bguq]\{frege\}\\ + If the option is enabled all quantifiers will be typeset using the bguq font + provided by the bguq package by J.J. Green. (This document is typeset using the + option). This means that the bguq package must be installed if the option is + enabled. (It can be found on ctan). + + Warning: At present the bguq character scales with font size while the rest of the + symbols provided by this package do not. Also the bguq character does not respond + to a change in Flinewidth. + \subsection{Final Example} The Geach-Kaplan sentance (with thanks to Marcus Rossberg): \begin{align*} @@ -330,7 +400,19 @@ \end{align*} And that is all. \\ For comments, suggestions, identified errors, email me at \\ - \textless Q.Pamp.2009 at my.bristol.ac.uk\textgreater. - % don't like storing my full email in a text file on the interneti, - % so I replaced the @ with " at "; + \textless Q.Pamp.2009@my.bristol.ac.uk\textgreater. \end{document} + +\section{GNU General Public License} + This package and all accompanying documentation is released under the GNU General + Public License. It 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.) diff --git a/Master/texmf-dist/tex/latex/frege/frege.sty b/Master/texmf-dist/tex/latex/frege/frege.sty index 2b3b6854d53..6aab127c03a 100644 --- a/Master/texmf-dist/tex/latex/frege/frege.sty +++ b/Master/texmf-dist/tex/latex/frege/frege.sty @@ -1,7 +1,7 @@ % frege.sty - a LaTeX2e package for typesetting begriffsschrift -% by Quirin Pamp <Quirin.Pamp.2009 at my.bristol.ac.uk> +% by Quirin Pamp <Quirin.Pamp.2009@my.bristol.ac.uk> % -% based on begriffHeck.sty released under GNU General Public License +% based on begriff.sty released under GNU General Public License % Copyright (C) 2003 by Josh Parsons <josh@coombs.anu.edu.au> % with changes made in October 2004 by Richard Heck <heck@fas.harvard.edu> % and minor changes by Josh Parsons to fix problem with linespacing (May 2005) @@ -19,7 +19,7 @@ % You should have received a copy of the GNU General Public License % along with this program; if not, write to the Free Software % Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111, -% USA. (or just search for it online... Seriously.) +% USA (or just search for it online). %%% changes as compared to begriff.sty: % correct relative lengths of various content strokes; @@ -43,27 +43,42 @@ % changed \Fbaselength to be the full rather than half the unit length; % fixed a bug where the scalefactor introduced in 1.1 does not always reset; +%%% changes in version 1.3: +% made the (): in \Fargument user defined, so as to make the option properly +% optional (note to self: don't code past midnight); +% added a strut to \Fargument so as to produce optically correct centering; +% added optional shorthands for all new commands for better flow of usage; +% added option bguq for using bguq font (by J.J. Green) for the quantifier; + %%% planned changes for future versions: -% incorporation of other frege related material such as fge.sty so as to put -% all frege related material in a single package; +% solving the problem of nested arguments; +% the fregean conjunction; % a vertical shorthand stroke as I have seen in Begriffsschrift?!; +% scaling with font size; +% scaling of bguq character with \Flinewidth; %%% identification: -\NeedsTeXFormat{LaTeX2e} -\ProvidesPackage{frege}[2012/07/16 v1.2] -\typeout{Fregean Begriffsschrift: 2012/07/16 v1.2} - -%%% options: -% This package currently has no options. +\NeedsTeXFormat{LaTeX2e}% +\ProvidesPackage{frege}[2012/08/04 v1.3]% +\typeout{Fregean Begriffsschrift: 2012/08/04 v1.3}% %%% package dependencies: -\RequirePackage{amssymb} +\RequirePackage{amssymb}% +\RequirePackage{ifthen}% + +%%% options: +% bguq option, if used package bguq must be installed: +\newboolean{bguq}% +\setboolean{bguq}{false}% +\DeclareOption{bguq}{\setboolean{bguq}{true}}% +\ProcessOptions\relax% +\ifthenelse{\boolean{bguq}}{\RequirePackage[5]{bguq}}{}% %%% variable decleration: \newlength{\temp}% \newlength{\tempp}% \newlength{\Fbaselength}% -\setlength{\Fbaselength}{20pt}% +\setlength{\Fbaselength}{20pt}% 20pt since v1.2 \newlength{\Funitlength}% \newlength{\Flinewidth}% \setlength{\Flinewidth}{0.5pt}% @@ -89,6 +104,39 @@ \newlength{\Fblockwidth}% \newlength{\Fpremiselength}% \newlength{\Fthereforelength}% +\newlength{\Fbguqwidth}% since v1.3 +\ifthenelse{\boolean{bguq}}{\setlength{\Fbguqwidth}{\bguqwidth}}{}% + +%%% shorthand commands since v1.3: +\newcommand{\Fb}[1]{\Fbox{#1}}% +\newcommand{\Fbb}[1]{\Fbracket{#1}}% +\newcommand{\Fcdt}[3][]{\Fconditional[#1]{#2}{#3}}% +\newcommand{\Farg}[4][]{\Fargument[#1]{#2}{#3}{#4}}% +\newcommand{\Fs}[1][1]{\Fstrut[#1]}% +\newcommand{\F}[1][1]{\Fcontent[#1]}% +\newcommand{\Fn}[1][1]{\Fncontent[#1]}% +\newcommand{\Fnn}[1][1]{\Fnncontent[#1]}% +\newcommand{\Fa}[1][1]{\Facontent[#1]}% +\newcommand{\Fan}[1][1]{\Fancontent[#1]}% +\newcommand{\Fann}[1][1]{\Fanncontent[#1]}% +\newcommand{\Fq}[1][1]{\Fquant[#1]}% +\newcommand{\Fnq}[1][1]{\Fnquant[#1]}% +\newcommand{\Fnnq}[1][1]{\Fnnquant[#1]}% +\newcommand{\Fqn}[1][1]{\Fquantn[#1]}% +\newcommand{\Fqnn}[1][1]{\Fquantnn[#1]}% +\newcommand{\Fnqn}[1][1]{\Fnquantn[#1]}% +\newcommand{\Fnnqn}[1][1]{\Fnnquantn[#1]}% +\newcommand{\Fnqnn}[1][1]{\Fnquantnn[#1]}% +\newcommand{\Fnnqnn}[1][1]{\Fnnquantnn[#1]}% +\newcommand{\Faq}[1][1]{\Faquant[#1]}% +\newcommand{\Fanq}[1][1]{\Fanquant[#1]}% +\newcommand{\Fannq}[1][1]{\Fannquant[#1]}% +\newcommand{\Faqn}[1][1]{\Faquantn[#1]}% +\newcommand{\Faqnn}[1][1]{\Faquantnn[#1]}% +\newcommand{\Fanqn}[1][1]{\Fanquantn[#1]}% +\newcommand{\Fannqn}[1][1]{\Fannquantn[#1]}% +\newcommand{\Fanqnn}[1][1]{\Fanquantnn[#1]}% +\newcommand{\Fannqnn}[1][1]{\Fannquantnn[#1]}% %%% main body/new commands: % boxing complex expressions with a centered baseline: @@ -99,7 +147,7 @@ \parbox{\temp}{\rule{0pt}{\tempp}\ensuremath{#1}}% }% -% bracketed Fbox: +% bracketed Fbox v1.1: \newcommand{\Fbracket}[1]{\ensuremath{\left(\Fbox{#1}\right)}}% % conditional stroke \Fconditional[content]{consequent}{antecedent}: @@ -137,7 +185,7 @@ \parbox[t]{\temp}{\usebox{\Fconsequent}\\\usebox{\Fantecedent}}}% }% -% argument presentation \Fargument[premise 0]{premise 1}{premise 2}{conclusion} +% argument presentation \Fargument[premise 0]{premise 1}{premise 2}{conclusion} v1.2 \newcommand{\Fargument}[4][]% {% \settowidth{\Fantecedentwidth}{\ensuremath{#2}}% @@ -147,9 +195,9 @@ \rule{0pt}{\Fconsequentwidth}}}% \setlength{\Fthereforelength}{\Fblockwidth}% \addtolength{\Fthereforelength}{1em}% - \settowidth{\Fpremiselength}{\ensuremath{\left(#1\right):}}% + \settowidth{\Fpremiselength}{\ensuremath{#1}}% \mbox{% - \raisebox{.69\baselineskip}{\ensuremath{\left(#1\right)\kern-4pt:}}% + \raisebox{.69\baselineskip}{\ensuremath{#1}}% \hskip .5em% \parbox[b]{\Fblockwidth}{% \ensuremath{#2}\\% @@ -161,10 +209,11 @@ \addtolength{\temp}{0.5\lineskip}% \rule[\temp]{\Fthereforelength}{\Flinewidth}}}% \kern-\Fblockwidth% - \ensuremath{#4}}% + \ensuremath{#4}% + \rule{0.5\Fpremiselength}{0pt}}% }% -% strut (for use with argument): +% strut (for use with argument) v1.2: \newcommand{\Fstrut}[1][1]% {% \setlength{\Funitlength}{\Fbaselength}% @@ -247,7 +296,7 @@ \hskip\Fspace% }% -% negated asserted content stroke: +% asserted negated content stroke: \newcommand{\Fancontent}[1][1]% {% \setlength{\Funitlength}{\Fbaselength}% @@ -271,7 +320,7 @@ \hskip\Fspace% }% -% twice negated asserted content stroke: +% asserted twice negated content stroke: \newcommand{\Fanncontent}[1][1]% {% \setlength{\Funitlength}{\Fbaselength}% @@ -305,803 +354,1553 @@ % universal quantifier: \newcommand{\Fquant}[2][1]% {% - \setlength{\Funitlength}{\Fbaselength}% - \setlength{\Fbaselength}{#1\Fbaselength}% - \unskip% - \setlength{\temp}{.5\Fbaselength}% - \addtolength{\temp}{-0.5\Fquantwidth}% - \rule[\Fraiseheight]{\temp}{\Flinewidth}% - \setlength{\unitlength}{\Fquantwidth}% - \raisebox{\Fraiseheight}{% - \begin{picture}(1,0)(0,0)% - \linethickness{\Flinewidth}% - \qbezier(0,0)(0.5,-0.6666)(1,0)% - \end{picture}}% - \kern-\Fquantwidth% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \raisebox{\temp}{\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% - \setlength{\temp}{.5\Fbaselength}% - \addtolength{\temp}{-0.5\Fquantwidth}% - \rule[\Fraiseheight]{\temp}{\Flinewidth}% - \setlength{\Fbaselength}{\Funitlength}% - \hskip\Fspace% + \ifthenelse{\boolean{bguq}}% + {% + \setlength{\Funitlength}{\Fbaselength}% + \setlength{\Fbaselength}{#1\Fbaselength}% + \unskip% + \setlength{\temp}{0.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fbguqwidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \raisebox{\temp}{\ensuremath{\bguq}}% + \kern-\Fbguqwidth% + \raisebox{\temp}% + {\makebox[\Fbguqwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% + \setlength{\temp}{0.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fbguqwidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\Fbaselength}{\Funitlength}% + \hskip\Fspace% + }% + {% + \setlength{\Funitlength}{\Fbaselength}% + \setlength{\Fbaselength}{#1\Fbaselength}% + \unskip% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fquantwidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\unitlength}{\Fquantwidth}% + \raisebox{\Fraiseheight}{% + \begin{picture}(1,0)(0,0)% + \linethickness{\Flinewidth}% + \qbezier(0,0)(0.5,-0.6666)(1,0)% + \end{picture}}% + \kern-\Fquantwidth% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \raisebox{\temp}% + {\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fquantwidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\Fbaselength}{\Funitlength}% + \hskip\Fspace% + }% }% % negated universal quantifier \newcommand{\Fnquant}[2][1]% {% - \setlength{\Funitlength}{\Fbaselength}% - \setlength{\Fbaselength}{#1\Fbaselength}% - \unskip% - \setlength{\temp}{0.25\Fbaselength}% - \addtolength{\temp}{-0.25\Fquantwidth}% - \addtolength{\temp}{-0.5\Flinewidth}% - \rule[\Fraiseheight]{\temp}{\Flinewidth}% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \addtolength{\temp}{-\Fnegshort}% - \rule[\Fnegshort]{\Flinewidth}{\temp}% - \setlength{\temp}{.25\Fbaselength}% - \addtolength{\temp}{-0.25\Fquantwidth}% - \addtolength{\temp}{-0.5\Flinewidth}% - \rule[\Fraiseheight]{\temp}{\Flinewidth}% - \setlength{\unitlength}{\Fquantwidth}% - \raisebox{\Fraiseheight}{% - \begin{picture}(1,0)(0,0)% - \linethickness{\Flinewidth}% - \qbezier(0,0)(0.5,-0.6666)(1,0)% - \end{picture}}% - \kern-\Fquantwidth% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \raisebox{\temp}{\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% - \setlength{\temp}{.5\Fbaselength}% - \addtolength{\temp}{-0.5\Fquantwidth}% - \rule[\Fraiseheight]{\temp}{\Flinewidth}% - \setlength{\Fbaselength}{\Funitlength}% - \hskip\Fspace% + \ifthenelse{\boolean{bguq}}% + {% + \setlength{\Funitlength}{\Fbaselength}% + \setlength{\Fbaselength}{#1\Fbaselength}% + \unskip% + \setlength{\temp}{0.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fbguqwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fbguqwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \raisebox{\temp}{\ensuremath{\bguq}}% + \kern-\Fbguqwidth% + \raisebox{\temp}% + {\makebox[\Fbguqwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fbguqwidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\Fbaselength}{\Funitlength}% + \hskip\Fspace% + }% + {% + \setlength{\Funitlength}{\Fbaselength}% + \setlength{\Fbaselength}{#1\Fbaselength}% + \unskip% + \setlength{\temp}{0.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fquantwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fquantwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\unitlength}{\Fquantwidth}% + \raisebox{\Fraiseheight}{% + \begin{picture}(1,0)(0,0)% + \linethickness{\Flinewidth}% + \qbezier(0,0)(0.5,-0.6666)(1,0)% + \end{picture}}% + \kern-\Fquantwidth% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \raisebox{\temp}% + {\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fquantwidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\Fbaselength}{\Funitlength}% + \hskip\Fspace% + }% }% % twice negated universal quantifier \newcommand{\Fnnquant}[2][1]% {% - \setlength{\Funitlength}{\Fbaselength}% - \setlength{\Fbaselength}{#1\Fbaselength}% - \unskip% - \setlength{\temp}{.5\Fbaselength}% - \addtolength{\temp}{-0.5\Fquantwidth}% - \addtolength{\temp}{-2\Flinewidth}% - \addtolength{\temp}{-\Fnegsep}% - \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \addtolength{\temp}{-\Fnegshort}% - \rule[\Fnegshort]{\Flinewidth}{\temp}% - \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \addtolength{\temp}{-\Fnegshort}% - \rule[\Fnegshort]{\Flinewidth}{\temp}% - \setlength{\temp}{.5\Fbaselength}% - \addtolength{\temp}{-0.5\Fquantwidth}% - \addtolength{\temp}{-2\Flinewidth}% - \addtolength{\temp}{-\Fnegsep}% - \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% - \setlength{\unitlength}{\Fquantwidth}% - \raisebox{\Fraiseheight}{% - \begin{picture}(1,0)(0,0)% - \linethickness{\Flinewidth}% - \qbezier(0,0)(0.5,-0.6666)(1,0)% - \end{picture}}% - \kern-\Fquantwidth% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \raisebox{\temp}{\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% - \setlength{\temp}{.5\Fbaselength}% - \addtolength{\temp}{-0.5\Fquantwidth}% - \rule[\Fraiseheight]{\temp}{\Flinewidth}% - \setlength{\Fbaselength}{\Funitlength}% - \hskip\Fspace% + \ifthenelse{\boolean{bguq}}% + {% + \setlength{\Funitlength}{\Fbaselength}% + \setlength{\Fbaselength}{#1\Fbaselength}% + \unskip% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fbguqwidth}% + \addtolength{\temp}{-2\Flinewidth}% + \addtolength{\temp}{-\Fnegsep}% + \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fbguqwidth}% + \addtolength{\temp}{-2\Flinewidth}% + \addtolength{\temp}{-\Fnegsep}% + \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \raisebox{\temp}{\ensuremath{\bguq}}% + \kern-\Fbguqwidth% + \raisebox{\temp}% + {\makebox[\Fbguqwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fbguqwidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\Fbaselength}{\Funitlength}% + \hskip\Fspace% + }% + {% + \setlength{\Funitlength}{\Fbaselength}% + \setlength{\Fbaselength}{#1\Fbaselength}% + \unskip% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fquantwidth}% + \addtolength{\temp}{-2\Flinewidth}% + \addtolength{\temp}{-\Fnegsep}% + \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fquantwidth}% + \addtolength{\temp}{-2\Flinewidth}% + \addtolength{\temp}{-\Fnegsep}% + \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% + \setlength{\unitlength}{\Fquantwidth}% + \raisebox{\Fraiseheight}{% + \begin{picture}(1,0)(0,0)% + \linethickness{\Flinewidth}% + \qbezier(0,0)(0.5,-0.6666)(1,0)% + \end{picture}}% + \kern-\Fquantwidth% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \raisebox{\temp}% + {\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fquantwidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\Fbaselength}{\Funitlength}% + \hskip\Fspace% + }% }% % universal quantifier with negated content: \newcommand{\Fquantn}[2][1]% {% - \setlength{\Funitlength}{\Fbaselength}% - \setlength{\Fbaselength}{#1\Fbaselength}% - \unskip% - \setlength{\temp}{.5\Fbaselength}% - \addtolength{\temp}{-0.5\Fquantwidth}% - \rule[\Fraiseheight]{\temp}{\Flinewidth}% - \setlength{\unitlength}{\Fquantwidth}% - \raisebox{\Fraiseheight}{% - \begin{picture}(1,0)(0,0)% - \linethickness{\Flinewidth}% - \qbezier(0,0)(0.5,-0.6666)(1,0)% - \end{picture}}% - \kern-\Fquantwidth% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \raisebox{\temp}{\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% - \setlength{\temp}{.25\Fbaselength}% - \addtolength{\temp}{-0.25\Fquantwidth}% - \addtolength{\temp}{-0.5\Flinewidth}% - \rule[\Fraiseheight]{\temp}{\Flinewidth}% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \addtolength{\temp}{-\Fnegshort}% - \rule[\Fnegshort]{\Flinewidth}{\temp}% - \setlength{\temp}{.25\Fbaselength}% - \addtolength{\temp}{-0.25\Fquantwidth}% - \addtolength{\temp}{-0.5\Flinewidth}% - \rule[\Fraiseheight]{\temp}{\Flinewidth}% - \setlength{\Fbaselength}{\Funitlength}% - \hskip\Fspace% -} + \ifthenelse{\boolean{bguq}}% + {% + \setlength{\Funitlength}{\Fbaselength}% + \setlength{\Fbaselength}{#1\Fbaselength}% + \unskip% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fbguqwidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \raisebox{\temp}{\ensuremath{\bguq}}% + \kern-\Fbguqwidth% + \raisebox{\temp}% + {\makebox[\Fbguqwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% + \setlength{\temp}{0.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fbguqwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fbguqwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\Fbaselength}{\Funitlength}% + \hskip\Fspace% + }% + {% + \setlength{\Funitlength}{\Fbaselength}% + \setlength{\Fbaselength}{#1\Fbaselength}% + \unskip% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fquantwidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\unitlength}{\Fquantwidth}% + \raisebox{\Fraiseheight}{% + \begin{picture}(1,0)(0,0)% + \linethickness{\Flinewidth}% + \qbezier(0,0)(0.5,-0.6666)(1,0)% + \end{picture}}% + \kern-\Fquantwidth% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \raisebox{\temp}% + {\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fquantwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fquantwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\Fbaselength}{\Funitlength}% + \hskip\Fspace% + }% +}% % universal quantifier with twice negated content: \newcommand{\Fquantnn}[2][1]% {% - \setlength{\Funitlength}{\Fbaselength}% - \setlength{\Fbaselength}{#1\Fbaselength}% - \unskip% - \setlength{\temp}{.5\Fbaselength}% - \addtolength{\temp}{-0.5\Fquantwidth}% - \rule[\Fraiseheight]{\temp}{\Flinewidth}% - \setlength{\unitlength}{\Fquantwidth}% - \raisebox{\Fraiseheight}{% - \begin{picture}(1,0)(0,0)% - \linethickness{\Flinewidth}% - \qbezier(0,0)(0.5,-0.6666)(1,0)% - \end{picture}}% - \kern-\Fquantwidth% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \raisebox{\temp}{\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% - \setlength{\temp}{.5\Fbaselength}% - \addtolength{\temp}{-0.5\Fquantwidth}% - \addtolength{\temp}{-2\Flinewidth}% - \addtolength{\temp}{-\Fnegsep}% - \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \addtolength{\temp}{-\Fnegshort}% - \rule[\Fnegshort]{\Flinewidth}{\temp}% - \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \addtolength{\temp}{-\Fnegshort}% - \rule[\Fnegshort]{\Flinewidth}{\temp}% - \setlength{\temp}{.5\Fbaselength}% - \addtolength{\temp}{-0.5\Fquantwidth}% - \addtolength{\temp}{-2\Flinewidth}% - \addtolength{\temp}{-\Fnegsep}% - \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% - \setlength{\Fbaselength}{\Funitlength}% - \hskip\Fspace% + \ifthenelse{\boolean{bguq}}% + {% + \setlength{\Funitlength}{\Fbaselength}% + \setlength{\Fbaselength}{#1\Fbaselength}% + \unskip% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fbguqwidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \raisebox{\temp}{\ensuremath{\bguq}}% + \kern-\Fbguqwidth% + \raisebox{\temp}% + {\makebox[\Fbguqwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fbguqwidth}% + \addtolength{\temp}{-2\Flinewidth}% + \addtolength{\temp}{-\Fnegsep}% + \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fbguqwidth}% + \addtolength{\temp}{-2\Flinewidth}% + \addtolength{\temp}{-\Fnegsep}% + \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% + \setlength{\Fbaselength}{\Funitlength}% + \hskip\Fspace% + }% + {% + \setlength{\Funitlength}{\Fbaselength}% + \setlength{\Fbaselength}{#1\Fbaselength}% + \unskip% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fquantwidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\unitlength}{\Fquantwidth}% + \raisebox{\Fraiseheight}{% + \begin{picture}(1,0)(0,0)% + \linethickness{\Flinewidth}% + \qbezier(0,0)(0.5,-0.6666)(1,0)% + \end{picture}}% + \kern-\Fquantwidth% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \raisebox{\temp}% + {\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fquantwidth}% + \addtolength{\temp}{-2\Flinewidth}% + \addtolength{\temp}{-\Fnegsep}% + \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fquantwidth}% + \addtolength{\temp}{-2\Flinewidth}% + \addtolength{\temp}{-\Fnegsep}% + \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% + \setlength{\Fbaselength}{\Funitlength}% + \hskip\Fspace% + }% }% % negated universal quantifier with negated content \newcommand{\Fnquantn}[2][1]% {% - \setlength{\Funitlength}{\Fbaselength}% - \setlength{\Fbaselength}{#1\Fbaselength}% - \unskip% - \setlength{\temp}{.25\Fbaselength}% - \addtolength{\temp}{-0.25\Fquantwidth}% - \addtolength{\temp}{-0.5\Flinewidth}% - \rule[\Fraiseheight]{\temp}{\Flinewidth}% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \addtolength{\temp}{-\Fnegshort}% - \rule[\Fnegshort]{\Flinewidth}{\temp}% - \setlength{\temp}{.25\Fbaselength}% - \addtolength{\temp}{-0.25\Fquantwidth}% - \addtolength{\temp}{-0.5\Flinewidth}% - \rule[\Fraiseheight]{\temp}{\Flinewidth}% - \setlength{\unitlength}{\Fquantwidth}% - \raisebox{\Fraiseheight}{% - \begin{picture}(1,0)(0,0)% - \linethickness{\Flinewidth}% - \qbezier(0,0)(0.5,-0.6666)(1,0)% - \end{picture}}% - \kern-\Fquantwidth% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \raisebox{\temp}{\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% - \setlength{\temp}{.25\Fbaselength}% - \addtolength{\temp}{-0.25\Fquantwidth}% - \addtolength{\temp}{-0.5\Flinewidth}% - \rule[\Fraiseheight]{\temp}{\Flinewidth}% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \addtolength{\temp}{-\Fnegshort}% - \rule[\Fnegshort]{\Flinewidth}{\temp}% - \setlength{\temp}{.25\Fbaselength}% - \addtolength{\temp}{-0.25\Fquantwidth}% - \addtolength{\temp}{-0.5\Flinewidth}% - \rule[\Fraiseheight]{\temp}{\Flinewidth}% - \setlength{\Fbaselength}{\Funitlength}% - \hskip\Fspace% + \ifthenelse{\boolean{bguq}}% + {% + \setlength{\Funitlength}{\Fbaselength}% + \setlength{\Fbaselength}{#1\Fbaselength}% + \unskip% + \setlength{\temp}{0.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fbguqwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fbguqwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \raisebox{\temp}{\ensuremath{\bguq}}% + \kern-\Fbguqwidth% + \raisebox{\temp}% + {\makebox[\Fbguqwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% + \setlength{\temp}{0.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fbguqwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fbguqwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\Fbaselength}{\Funitlength}% + \hskip\Fspace% + }% + {% + \setlength{\Funitlength}{\Fbaselength}% + \setlength{\Fbaselength}{#1\Fbaselength}% + \unskip% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fquantwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fquantwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\unitlength}{\Fquantwidth}% + \raisebox{\Fraiseheight}{% + \begin{picture}(1,0)(0,0)% + \linethickness{\Flinewidth}% + \qbezier(0,0)(0.5,-0.6666)(1,0)% + \end{picture}}% + \kern-\Fquantwidth% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \raisebox{\temp}% + {\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fquantwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fquantwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\Fbaselength}{\Funitlength}% + \hskip\Fspace% + }% }% % negated universal quantifier with twice negated content \newcommand{\Fnquantnn}[2][1]% {% - \setlength{\Funitlength}{\Fbaselength}% - \setlength{\Fbaselength}{#1\Fbaselength}% - \unskip% - \setlength{\temp}{.25\Fbaselength}% - \addtolength{\temp}{-0.25\Fquantwidth}% - \addtolength{\temp}{-0.5\Flinewidth}% - \rule[\Fraiseheight]{\temp}{\Flinewidth}% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \addtolength{\temp}{-\Fnegshort}% - \rule[\Fnegshort]{\Flinewidth}{\temp}% - \setlength{\temp}{.25\Fbaselength}% - \addtolength{\temp}{-0.25\Fquantwidth}% - \addtolength{\temp}{-0.5\Flinewidth}% - \rule[\Fraiseheight]{\temp}{\Flinewidth}% - \setlength{\unitlength}{\Fquantwidth}% - \raisebox{\Fraiseheight}{% - \begin{picture}(1,0)(0,0)% - \linethickness{\Flinewidth}% - \qbezier(0,0)(0.5,-0.6666)(1,0)% - \end{picture}}% - \kern-\Fquantwidth% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \raisebox{\temp}{\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% - \setlength{\temp}{.5\Fbaselength}% - \addtolength{\temp}{-0.5\Fquantwidth}% - \addtolength{\temp}{-2\Flinewidth}% - \addtolength{\temp}{-\Fnegsep}% - \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \addtolength{\temp}{-\Fnegshort}% - \rule[\Fnegshort]{\Flinewidth}{\temp}% - \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \addtolength{\temp}{-\Fnegshort}% - \rule[\Fnegshort]{\Flinewidth}{\temp}% - \setlength{\temp}{.5\Fbaselength}% - \addtolength{\temp}{-0.5\Fquantwidth}% - \addtolength{\temp}{-2\Flinewidth}% - \addtolength{\temp}{-\Fnegsep}% - \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% - \setlength{\Fbaselength}{\Funitlength}% - \hskip\Fspace% + \ifthenelse{\boolean{bguq}}% + {% + \setlength{\Funitlength}{\Fbaselength}% + \setlength{\Fbaselength}{#1\Fbaselength}% + \unskip% + \setlength{\temp}{0.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fbguqwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fbguqwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \raisebox{\temp}{\ensuremath{\bguq}}% + \kern-\Fbguqwidth% + \raisebox{\temp}% + {\makebox[\Fbguqwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fbguqwidth}% + \addtolength{\temp}{-2\Flinewidth}% + \addtolength{\temp}{-\Fnegsep}% + \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fbguqwidth}% + \addtolength{\temp}{-2\Flinewidth}% + \addtolength{\temp}{-\Fnegsep}% + \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% + \setlength{\Fbaselength}{\Funitlength}% + \hskip\Fspace% + }% + {% + \setlength{\Funitlength}{\Fbaselength}% + \setlength{\Fbaselength}{#1\Fbaselength}% + \unskip% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fquantwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fquantwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\unitlength}{\Fquantwidth}% + \raisebox{\Fraiseheight}{% + \begin{picture}(1,0)(0,0)% + \linethickness{\Flinewidth}% + \qbezier(0,0)(0.5,-0.6666)(1,0)% + \end{picture}}% + \kern-\Fquantwidth% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \raisebox{\temp}% + {\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fquantwidth}% + \addtolength{\temp}{-2\Flinewidth}% + \addtolength{\temp}{-\Fnegsep}% + \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fquantwidth}% + \addtolength{\temp}{-2\Flinewidth}% + \addtolength{\temp}{-\Fnegsep}% + \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% + \setlength{\Fbaselength}{\Funitlength}% + \hskip\Fspace% + }% }% % twice negated universal quantifier with negated content \newcommand{\Fnnquantn}[2][1]% {% - \setlength{\Funitlength}{\Fbaselength}% - \setlength{\Fbaselength}{#1\Fbaselength}% - \unskip% - \setlength{\temp}{.5\Fbaselength}% - \addtolength{\temp}{-0.5\Fquantwidth}% - \addtolength{\temp}{-2\Flinewidth}% - \addtolength{\temp}{-\Fnegsep}% - \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \addtolength{\temp}{-\Fnegshort}% - \rule[\Fnegshort]{\Flinewidth}{\temp}% - \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \addtolength{\temp}{-\Fnegshort}% - \rule[\Fnegshort]{\Flinewidth}{\temp}% - \setlength{\temp}{.5\Fbaselength}% - \addtolength{\temp}{-0.5\Fquantwidth}% - \addtolength{\temp}{-2\Flinewidth}% - \addtolength{\temp}{-\Fnegsep}% - \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% - \setlength{\unitlength}{\Fquantwidth}% - \raisebox{\Fraiseheight}{% - \begin{picture}(1,0)(0,0)% - \linethickness{\Flinewidth}% - \qbezier(0,0)(0.5,-0.6666)(1,0)% - \end{picture}}% - \kern-\Fquantwidth% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \raisebox{\temp}{\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% - \setlength{\temp}{.25\Fbaselength}% - \addtolength{\temp}{-0.25\Fquantwidth}% - \addtolength{\temp}{-0.5\Flinewidth}% - \rule[\Fraiseheight]{\temp}{\Flinewidth}% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \addtolength{\temp}{-\Fnegshort}% - \rule[\Fnegshort]{\Flinewidth}{\temp}% - \setlength{\temp}{.25\Fbaselength}% - \addtolength{\temp}{-0.25\Fquantwidth}% - \addtolength{\temp}{-0.5\Flinewidth}% - \rule[\Fraiseheight]{\temp}{\Flinewidth}% - \setlength{\Fbaselength}{\Funitlength}% - \hskip\Fspace% + \ifthenelse{\boolean{bguq}}% + {% + \setlength{\Funitlength}{\Fbaselength}% + \setlength{\Fbaselength}{#1\Fbaselength}% + \unskip% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fbguqwidth}% + \addtolength{\temp}{-2\Flinewidth}% + \addtolength{\temp}{-\Fnegsep}% + \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fbguqwidth}% + \addtolength{\temp}{-2\Flinewidth}% + \addtolength{\temp}{-\Fnegsep}% + \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \raisebox{\temp}{\ensuremath{\bguq}}% + \kern-\Fbguqwidth% + \raisebox{\temp}% + {\makebox[\Fbguqwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% + \setlength{\temp}{0.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fbguqwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fbguqwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\Fbaselength}{\Funitlength}% + \hskip\Fspace% + }% + {% + \setlength{\Funitlength}{\Fbaselength}% + \setlength{\Fbaselength}{#1\Fbaselength}% + \unskip% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fquantwidth}% + \addtolength{\temp}{-2\Flinewidth}% + \addtolength{\temp}{-\Fnegsep}% + \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fquantwidth}% + \addtolength{\temp}{-2\Flinewidth}% + \addtolength{\temp}{-\Fnegsep}% + \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% + \setlength{\unitlength}{\Fquantwidth}% + \raisebox{\Fraiseheight}{% + \begin{picture}(1,0)(0,0)% + \linethickness{\Flinewidth}% + \qbezier(0,0)(0.5,-0.6666)(1,0)% + \end{picture}}% + \kern-\Fquantwidth% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \raisebox{\temp}% + {\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fquantwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fquantwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\Fbaselength}{\Funitlength}% + \hskip\Fspace% + }% }% % twice negated universal quantifier with twice negated content \newcommand{\Fnnquantnn}[2][1]% {% - \setlength{\Funitlength}{\Fbaselength}% - \setlength{\Fbaselength}{#1\Fbaselength}% - \unskip% - \setlength{\temp}{.5\Fbaselength}% - \addtolength{\temp}{-0.5\Fquantwidth}% - \addtolength{\temp}{-2\Flinewidth}% - \addtolength{\temp}{-\Fnegsep}% - \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \addtolength{\temp}{-\Fnegshort}% - \rule[\Fnegshort]{\Flinewidth}{\temp}% - \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \addtolength{\temp}{-\Fnegshort}% - \rule[\Fnegshort]{\Flinewidth}{\temp}% - \setlength{\temp}{.5\Fbaselength}% - \addtolength{\temp}{-0.5\Fquantwidth}% - \addtolength{\temp}{-2\Flinewidth}% - \addtolength{\temp}{-\Fnegsep}% - \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% - \setlength{\unitlength}{\Fquantwidth}% - \raisebox{\Fraiseheight}{% - \begin{picture}(1,0)(0,0)% - \linethickness{\Flinewidth}% - \qbezier(0,0)(0.5,-0.6666)(1,0)% - \end{picture}}% - \kern-\Fquantwidth% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \raisebox{\temp}{\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% - \setlength{\temp}{.5\Fbaselength}% - \addtolength{\temp}{-0.5\Fquantwidth}% - \addtolength{\temp}{-2\Flinewidth}% - \addtolength{\temp}{-\Fnegsep}% - \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \addtolength{\temp}{-\Fnegshort}% - \rule[\Fnegshort]{\Flinewidth}{\temp}% - \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \addtolength{\temp}{-\Fnegshort}% - \rule[\Fnegshort]{\Flinewidth}{\temp}% - \setlength{\temp}{.5\Fbaselength}% - \addtolength{\temp}{-0.5\Fquantwidth}% - \addtolength{\temp}{-2\Flinewidth}% - \addtolength{\temp}{-\Fnegsep}% - \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% - \setlength{\Fbaselength}{\Funitlength}% - \hskip\Fspace% + \ifthenelse{\boolean{bguq}}% + {% + \setlength{\Funitlength}{\Fbaselength}% + \setlength{\Fbaselength}{#1\Fbaselength}% + \unskip% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fbguqwidth}% + \addtolength{\temp}{-2\Flinewidth}% + \addtolength{\temp}{-\Fnegsep}% + \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fbguqwidth}% + \addtolength{\temp}{-2\Flinewidth}% + \addtolength{\temp}{-\Fnegsep}% + \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \raisebox{\temp}{\ensuremath{\bguq}}% + \kern-\Fbguqwidth% + \raisebox{\temp}% + {\makebox[\Fbguqwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fbguqwidth}% + \addtolength{\temp}{-2\Flinewidth}% + \addtolength{\temp}{-\Fnegsep}% + \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fbguqwidth}% + \addtolength{\temp}{-2\Flinewidth}% + \addtolength{\temp}{-\Fnegsep}% + \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% + \setlength{\Fbaselength}{\Funitlength}% + \hskip\Fspace% + }% + {% + \setlength{\Funitlength}{\Fbaselength}% + \setlength{\Fbaselength}{#1\Fbaselength}% + \unskip% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fquantwidth}% + \addtolength{\temp}{-2\Flinewidth}% + \addtolength{\temp}{-\Fnegsep}% + \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fquantwidth}% + \addtolength{\temp}{-2\Flinewidth}% + \addtolength{\temp}{-\Fnegsep}% + \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% + \setlength{\unitlength}{\Fquantwidth}% + \raisebox{\Fraiseheight}{% + \begin{picture}(1,0)(0,0)% + \linethickness{\Flinewidth}% + \qbezier(0,0)(0.5,-0.6666)(1,0)% + \end{picture}}% + \kern-\Fquantwidth% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \raisebox{\temp}% + {\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fquantwidth}% + \addtolength{\temp}{-2\Flinewidth}% + \addtolength{\temp}{-\Fnegsep}% + \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fquantwidth}% + \addtolength{\temp}{-2\Flinewidth}% + \addtolength{\temp}{-\Fnegsep}% + \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% + \setlength{\Fbaselength}{\Funitlength}% + \hskip\Fspace% + }% }% % asserted universal quantifier: \newcommand{\Faquant}[2][1]% {% - \setlength{\Funitlength}{\Fbaselength}% - \setlength{\Fbaselength}{#1\Fbaselength}% - \unskip% - \setlength{\temp}{2\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \rule{\Fassertwidth}{\temp}% - \setlength{\temp}{.5\Fbaselength}% - \addtolength{\temp}{-0.5\Fquantwidth}% - \addtolength{\temp}{-\Fassertwidth}% - \rule[\Fraiseheight]{\temp}{\Flinewidth}% - \setlength{\unitlength}{\Fquantwidth}% - \raisebox{\Fraiseheight}{% - \begin{picture}(1,0)(0,0)% - \linethickness{\Flinewidth}% - \qbezier(0,0)(0.5,-0.6666)(1,0)% - \end{picture}}% - \kern-\Fquantwidth% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \raisebox{\temp}{\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% - \setlength{\temp}{.5\Fbaselength}% - \addtolength{\temp}{-0.5\Fquantwidth}% - \rule[\Fraiseheight]{\temp}{\Flinewidth}% - \setlength{\Fbaselength}{\Funitlength}% - \hskip\Fspace% + \ifthenelse{\boolean{bguq}}% + {% + \setlength{\Funitlength}{\Fbaselength}% + \setlength{\Fbaselength}{#1\Fbaselength}% + \unskip% + \setlength{\temp}{2\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \rule{\Fassertwidth}{\temp}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fbguqwidth}% + \addtolength{\temp}{-\Fassertwidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \raisebox{\temp}{\ensuremath{\bguq}}% + \kern-\Fbguqwidth% + \raisebox{\temp}% + {\makebox[\Fbguqwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fbguqwidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\Fbaselength}{\Funitlength}% + \hskip\Fspace% + }% + {% + \setlength{\Funitlength}{\Fbaselength}% + \setlength{\Fbaselength}{#1\Fbaselength}% + \unskip% + \setlength{\temp}{2\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \rule{\Fassertwidth}{\temp}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fquantwidth}% + \addtolength{\temp}{-\Fassertwidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\unitlength}{\Fquantwidth}% + \raisebox{\Fraiseheight}{% + \begin{picture}(1,0)(0,0)% + \linethickness{\Flinewidth}% + \qbezier(0,0)(0.5,-0.6666)(1,0)% + \end{picture}}% + \kern-\Fquantwidth% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \raisebox{\temp}% + {\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fquantwidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\Fbaselength}{\Funitlength}% + \hskip\Fspace% + }% }% -% negated asserted universal quantifier +% asserted negated universal quantifier \newcommand{\Fanquant}[2][1]% {% - \setlength{\Funitlength}{\Fbaselength}% - \setlength{\Fbaselength}{#1\Fbaselength}% - \unskip% - \setlength{\temp}{2\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \rule{\Fassertwidth}{\temp}% - \setlength{\temp}{.25\Fbaselength}% - \addtolength{\temp}{-0.25\Fquantwidth}% - \addtolength{\temp}{-0.5\Flinewidth}% - \addtolength{\temp}{-\Fassertwidth}% - \rule[\Fraiseheight]{\temp}{\Flinewidth}% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \addtolength{\temp}{-\Fnegshort}% - \rule[\Fnegshort]{\Flinewidth}{\temp}% - \setlength{\temp}{.25\Fbaselength}% - \addtolength{\temp}{-0.25\Fquantwidth}% - \addtolength{\temp}{-0.5\Flinewidth}% - \rule[\Fraiseheight]{\temp}{\Flinewidth}% - \setlength{\unitlength}{\Fquantwidth}% - \raisebox{\Fraiseheight}{% - \begin{picture}(1,0)(0,0)% - \linethickness{\Flinewidth}% - \qbezier(0,0)(0.5,-0.6666)(1,0)% - \end{picture}}% - \kern-\Fquantwidth% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \raisebox{\temp}{\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% - \setlength{\temp}{.5\Fbaselength}% - \addtolength{\temp}{-0.5\Fquantwidth}% - \rule[\Fraiseheight]{\temp}{\Flinewidth}% - \setlength{\Fbaselength}{\Funitlength}% - \hskip\Fspace% + \ifthenelse{\boolean{bguq}}% + {% + \setlength{\Funitlength}{\Fbaselength}% + \setlength{\Fbaselength}{#1\Fbaselength}% + \unskip% + \setlength{\temp}{2\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \rule{\Fassertwidth}{\temp}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fbguqwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \addtolength{\temp}{-\Fassertwidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fbguqwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \raisebox{\temp}{\ensuremath{\bguq}}% + \kern-\Fbguqwidth% + \raisebox{\temp}% + {\makebox[\Fbguqwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fbguqwidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\Fbaselength}{\Funitlength}% + \hskip\Fspace% + }% + {% + \setlength{\Funitlength}{\Fbaselength}% + \setlength{\Fbaselength}{#1\Fbaselength}% + \unskip% + \setlength{\temp}{2\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \rule{\Fassertwidth}{\temp}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fquantwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \addtolength{\temp}{-\Fassertwidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fquantwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\unitlength}{\Fquantwidth}% + \raisebox{\Fraiseheight}{% + \begin{picture}(1,0)(0,0)% + \linethickness{\Flinewidth}% + \qbezier(0,0)(0.5,-0.6666)(1,0)% + \end{picture}}% + \kern-\Fquantwidth% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \raisebox{\temp}% + {\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fquantwidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\Fbaselength}{\Funitlength}% + \hskip\Fspace% + }% }% -% twice negated asserted universal quantifier +% asserted twice negated universal quantifier \newcommand{\Fannquant}[2][1]% {% - \setlength{\Funitlength}{\Fbaselength}% - \setlength{\Fbaselength}{#1\Fbaselength}% - \unskip% - \setlength{\temp}{2\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \rule{\Fassertwidth}{\temp}% - \setlength{\temp}{.25\Fbaselength}% - \addtolength{\temp}{-0.25\Fquantwidth}% - \addtolength{\temp}{-\Flinewidth}% - \addtolength{\temp}{-0.5\Fnegsep}% - \addtolength{\temp}{-\Fassertwidth}% - \rule[\Fraiseheight]{\temp}{\Flinewidth}% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \addtolength{\temp}{-\Fnegshort}% - \rule[\Fnegshort]{\Flinewidth}{\temp}% - \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \addtolength{\temp}{-\Fnegshort}% - \rule[\Fnegshort]{\Flinewidth}{\temp}% - \setlength{\temp}{.25\Fbaselength}% - \addtolength{\temp}{-0.25\Fquantwidth}% - \addtolength{\temp}{-\Flinewidth}% - \addtolength{\temp}{-0.5\Fnegsep}% - \rule[\Fraiseheight]{\temp}{\Flinewidth}% - \setlength{\unitlength}{\Fquantwidth}% - \raisebox{\Fraiseheight}{% - \begin{picture}(1,0)(0,0)% - \linethickness{\Flinewidth}% - \qbezier(0,0)(0.5,-0.6666)(1,0)% - \end{picture}}% - \kern-\Fquantwidth% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \raisebox{\temp}{\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% - \setlength{\temp}{.5\Fbaselength}% - \addtolength{\temp}{-0.5\Fquantwidth}% - \rule[\Fraiseheight]{\temp}{\Flinewidth}% - \setlength{\Fbaselength}{\Funitlength}% - \hskip\Fspace% + \ifthenelse{\boolean{bguq}}% + {% + \setlength{\Funitlength}{\Fbaselength}% + \setlength{\Fbaselength}{#1\Fbaselength}% + \unskip% + \setlength{\temp}{2\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \rule{\Fassertwidth}{\temp}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fbguqwidth}% + \addtolength{\temp}{-\Flinewidth}% + \addtolength{\temp}{-0.5\Fnegsep}% + \addtolength{\temp}{-\Fassertwidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fbguqwidth}% + \addtolength{\temp}{-\Flinewidth}% + \addtolength{\temp}{-0.5\Fnegsep}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \raisebox{\temp}{\ensuremath{\bguq}}% + \kern-\Fbguqwidth% + \raisebox{\temp}% + {\makebox[\Fbguqwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fbguqwidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\Fbaselength}{\Funitlength}% + \hskip\Fspace% + }% + {% + \setlength{\Funitlength}{\Fbaselength}% + \setlength{\Fbaselength}{#1\Fbaselength}% + \unskip% + \setlength{\temp}{2\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \rule{\Fassertwidth}{\temp}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fquantwidth}% + \addtolength{\temp}{-\Flinewidth}% + \addtolength{\temp}{-0.5\Fnegsep}% + \addtolength{\temp}{-\Fassertwidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fquantwidth}% + \addtolength{\temp}{-\Flinewidth}% + \addtolength{\temp}{-0.5\Fnegsep}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\unitlength}{\Fquantwidth}% + \raisebox{\Fraiseheight}{% + \begin{picture}(1,0)(0,0)% + \linethickness{\Flinewidth}% + \qbezier(0,0)(0.5,-0.6666)(1,0)% + \end{picture}}% + \kern-\Fquantwidth% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \raisebox{\temp}% + {\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fquantwidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\Fbaselength}{\Funitlength}% + \hskip\Fspace% + }% }% % asserted universal quantifier with negated content: \newcommand{\Faquantn}[2][1]% {% - \setlength{\Funitlength}{\Fbaselength}% - \setlength{\Fbaselength}{#1\Fbaselength}% - \unskip% - \setlength{\temp}{2\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \rule{\Fassertwidth}{\temp}% - \setlength{\temp}{.5\Fbaselength}% - \addtolength{\temp}{-0.5\Fquantwidth}% - \addtolength{\temp}{-\Fassertwidth}% - \rule[\Fraiseheight]{\temp}{\Flinewidth}% - \setlength{\unitlength}{\Fquantwidth}% - \raisebox{\Fraiseheight}{% - \begin{picture}(1,0)(0,0)% - \linethickness{\Flinewidth}% - \qbezier(0,0)(0.5,-0.6666)(1,0)% - \end{picture}}% - \kern-\Fquantwidth% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \raisebox{\temp}{\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% - \setlength{\temp}{.25\Fbaselength}% - \addtolength{\temp}{-0.25\Fquantwidth}% - \addtolength{\temp}{-0.5\Flinewidth}% - \rule[\Fraiseheight]{\temp}{\Flinewidth}% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \addtolength{\temp}{-\Fnegshort}% - \rule[\Fnegshort]{\Flinewidth}{\temp}% - \setlength{\temp}{.25\Fbaselength}% - \addtolength{\temp}{-0.25\Fquantwidth}% - \addtolength{\temp}{-0.5\Flinewidth}% - \rule[\Fraiseheight]{\temp}{\Flinewidth}% - \setlength{\Fbaselength}{\Funitlength}% - \hskip\Fspace% -} + \ifthenelse{\boolean{bguq}}% + {% + \setlength{\Funitlength}{\Fbaselength}% + \setlength{\Fbaselength}{#1\Fbaselength}% + \unskip% + \setlength{\temp}{2\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \rule{\Fassertwidth}{\temp}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fbguqwidth}% + \addtolength{\temp}{-\Fassertwidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \raisebox{\temp}{\ensuremath{\bguq}}% + \kern-\Fbguqwidth% + \raisebox{\temp}% + {\makebox[\Fbguqwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% + \setlength{\temp}{0.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fbguqwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fbguqwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\Fbaselength}{\Funitlength}% + \hskip\Fspace% + }% + {% + \setlength{\Funitlength}{\Fbaselength}% + \setlength{\Fbaselength}{#1\Fbaselength}% + \unskip% + \setlength{\temp}{2\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \rule{\Fassertwidth}{\temp}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fquantwidth}% + \addtolength{\temp}{-\Fassertwidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\unitlength}{\Fquantwidth}% + \raisebox{\Fraiseheight}{% + \begin{picture}(1,0)(0,0)% + \linethickness{\Flinewidth}% + \qbezier(0,0)(0.5,-0.6666)(1,0)% + \end{picture}}% + \kern-\Fquantwidth% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \raisebox{\temp}% + {\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fquantwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fquantwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\Fbaselength}{\Funitlength}% + \hskip\Fspace% + }% +}% % asserted universal quantifier with twice negated content: \newcommand{\Faquantnn}[2][1]% {% - \setlength{\Funitlength}{\Fbaselength}% - \setlength{\Fbaselength}{#1\Fbaselength}% - \unskip% - \setlength{\temp}{2\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \rule{\Fassertwidth}{\temp}% - \setlength{\temp}{.5\Fbaselength}% - \addtolength{\temp}{-0.5\Fquantwidth}% - \addtolength{\temp}{-\Fassertwidth}% - \rule[\Fraiseheight]{\temp}{\Flinewidth}% - \setlength{\unitlength}{\Fquantwidth}% - \raisebox{\Fraiseheight}{% - \begin{picture}(1,0)(0,0)% - \linethickness{\Flinewidth}% - \qbezier(0,0)(0.5,-0.6666)(1,0)% - \end{picture}}% - \kern-\Fquantwidth% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \raisebox{\temp}{\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% - \setlength{\temp}{.5\Fbaselength}% - \addtolength{\temp}{-0.5\Fquantwidth}% - \addtolength{\temp}{-2\Flinewidth}% - \addtolength{\temp}{-\Fnegsep}% - \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \addtolength{\temp}{-\Fnegshort}% - \rule[\Fnegshort]{\Flinewidth}{\temp}% - \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \addtolength{\temp}{-\Fnegshort}% - \rule[\Fnegshort]{\Flinewidth}{\temp}% - \setlength{\temp}{.5\Fbaselength}% - \addtolength{\temp}{-0.5\Fquantwidth}% - \addtolength{\temp}{-2\Flinewidth}% - \addtolength{\temp}{-\Fnegsep}% - \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% - \setlength{\Fbaselength}{\Funitlength}% - \hskip\Fspace% + \ifthenelse{\boolean{bguq}}% + {% + \setlength{\Funitlength}{\Fbaselength}% + \setlength{\Fbaselength}{#1\Fbaselength}% + \unskip% + \setlength{\temp}{2\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \rule{\Fassertwidth}{\temp}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fbguqwidth}% + \addtolength{\temp}{-\Fassertwidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \raisebox{\temp}{\ensuremath{\bguq}}% + \kern-\Fbguqwidth% + \raisebox{\temp}% + {\makebox[\Fbguqwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fbguqwidth}% + \addtolength{\temp}{-2\Flinewidth}% + \addtolength{\temp}{-\Fnegsep}% + \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fbguqwidth}% + \addtolength{\temp}{-2\Flinewidth}% + \addtolength{\temp}{-\Fnegsep}% + \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% + \setlength{\Fbaselength}{\Funitlength}% + \hskip\Fspace% + }% + {% + \setlength{\Funitlength}{\Fbaselength}% + \setlength{\Fbaselength}{#1\Fbaselength}% + \unskip% + \setlength{\temp}{2\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \rule{\Fassertwidth}{\temp}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fquantwidth}% + \addtolength{\temp}{-\Fassertwidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\unitlength}{\Fquantwidth}% + \raisebox{\Fraiseheight}{% + \begin{picture}(1,0)(0,0)% + \linethickness{\Flinewidth}% + \qbezier(0,0)(0.5,-0.6666)(1,0)% + \end{picture}}% + \kern-\Fquantwidth% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \raisebox{\temp}% + {\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fquantwidth}% + \addtolength{\temp}{-2\Flinewidth}% + \addtolength{\temp}{-\Fnegsep}% + \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fquantwidth}% + \addtolength{\temp}{-2\Flinewidth}% + \addtolength{\temp}{-\Fnegsep}% + \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% + \setlength{\Fbaselength}{\Funitlength}% + \hskip\Fspace% + }% }% -% negated asserted universal quantifier with negated content: +% asserted negated universal quantifier with negated content: \newcommand{\Fanquantn}[2][1]% {% - \setlength{\Funitlength}{\Fbaselength}% - \setlength{\Fbaselength}{#1\Fbaselength}% - \unskip% - \setlength{\temp}{2\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \rule{\Fassertwidth}{\temp}% - \setlength{\temp}{.25\Fbaselength}% - \addtolength{\temp}{-0.25\Fquantwidth}% - \addtolength{\temp}{-0.5\Flinewidth}% - \addtolength{\temp}{-\Fassertwidth}% - \rule[\Fraiseheight]{\temp}{\Flinewidth}% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \addtolength{\temp}{-\Fnegshort}% - \rule[\Fnegshort]{\Flinewidth}{\temp}% - \setlength{\temp}{.25\Fbaselength}% - \addtolength{\temp}{-0.25\Fquantwidth}% - \addtolength{\temp}{-0.5\Flinewidth}% - \rule[\Fraiseheight]{\temp}{\Flinewidth}% - \setlength{\unitlength}{\Fquantwidth}% - \raisebox{\Fraiseheight}{% - \begin{picture}(1,0)(0,0)% - \linethickness{\Flinewidth}% - \qbezier(0,0)(0.5,-0.6666)(1,0)% - \end{picture}}% - \kern-\Fquantwidth% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \raisebox{\temp}{\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% - \setlength{\temp}{.25\Fbaselength}% - \addtolength{\temp}{-0.25\Fquantwidth}% - \addtolength{\temp}{-0.5\Flinewidth}% - \rule[\Fraiseheight]{\temp}{\Flinewidth}% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \addtolength{\temp}{-\Fnegshort}% - \rule[\Fnegshort]{\Flinewidth}{\temp}% - \setlength{\temp}{.25\Fbaselength}% - \addtolength{\temp}{-0.25\Fquantwidth}% - \addtolength{\temp}{-0.5\Flinewidth}% - \rule[\Fraiseheight]{\temp}{\Flinewidth}% - \setlength{\Fbaselength}{\Funitlength}% - \hskip\Fspace% + \ifthenelse{\boolean{bguq}}% + {% + \setlength{\Funitlength}{\Fbaselength}% + \setlength{\Fbaselength}{#1\Fbaselength}% + \unskip% + \setlength{\temp}{2\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \rule{\Fassertwidth}{\temp}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fbguqwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \addtolength{\temp}{-\Fassertwidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fbguqwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \raisebox{\temp}{\ensuremath{\bguq}}% + \kern-\Fbguqwidth% + \raisebox{\temp}% + {\makebox[\Fbguqwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% + \setlength{\temp}{0.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fbguqwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fbguqwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\Fbaselength}{\Funitlength}% + \hskip\Fspace% + }% + {% + \setlength{\Funitlength}{\Fbaselength}% + \setlength{\Fbaselength}{#1\Fbaselength}% + \unskip% + \setlength{\temp}{2\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \rule{\Fassertwidth}{\temp}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fquantwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \addtolength{\temp}{-\Fassertwidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fquantwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\unitlength}{\Fquantwidth}% + \raisebox{\Fraiseheight}{% + \begin{picture}(1,0)(0,0)% + \linethickness{\Flinewidth}% + \qbezier(0,0)(0.5,-0.6666)(1,0)% + \end{picture}}% + \kern-\Fquantwidth% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \raisebox{\temp}% + {\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fquantwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fquantwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\Fbaselength}{\Funitlength}% + \hskip\Fspace% + }% }% -% negated asserted universal quantifier with twice negated content: +% asserted negated universal quantifier with twice negated content: \newcommand{\Fanquantnn}[2][1]% {% - \setlength{\Funitlength}{\Fbaselength}% - \setlength{\Fbaselength}{#1\Fbaselength}% - \unskip% - \setlength{\temp}{2\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \rule{\Fassertwidth}{\temp}% - \setlength{\temp}{.25\Fbaselength}% - \addtolength{\temp}{-0.25\Fquantwidth}% - \addtolength{\temp}{-0.5\Flinewidth}% - \addtolength{\temp}{-\Fassertwidth}% - \rule[\Fraiseheight]{\temp}{\Flinewidth}% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \addtolength{\temp}{-\Fnegshort}% - \rule[\Fnegshort]{\Flinewidth}{\temp}% - \setlength{\temp}{.25\Fbaselength}% - \addtolength{\temp}{-0.25\Fquantwidth}% - \addtolength{\temp}{-0.5\Flinewidth}% - \rule[\Fraiseheight]{\temp}{\Flinewidth}% - \setlength{\unitlength}{\Fquantwidth}% - \raisebox{\Fraiseheight}{% - \begin{picture}(1,0)(0,0)% - \linethickness{\Flinewidth}% - \qbezier(0,0)(0.5,-0.6666)(1,0)% - \end{picture}}% - \kern-\Fquantwidth% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \raisebox{\temp}{\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% - \setlength{\temp}{.5\Fbaselength}% - \addtolength{\temp}{-0.5\Fquantwidth}% - \addtolength{\temp}{-2\Flinewidth}% - \addtolength{\temp}{-\Fnegsep}% - \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \addtolength{\temp}{-\Fnegshort}% - \rule[\Fnegshort]{\Flinewidth}{\temp}% - \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \addtolength{\temp}{-\Fnegshort}% - \rule[\Fnegshort]{\Flinewidth}{\temp}% - \setlength{\temp}{.5\Fbaselength}% - \addtolength{\temp}{-0.5\Fquantwidth}% - \addtolength{\temp}{-2\Flinewidth}% - \addtolength{\temp}{-\Fnegsep}% - \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% - \setlength{\Fbaselength}{\Funitlength}% - \hskip\Fspace% + \ifthenelse{\boolean{bguq}}% + {% + \setlength{\Funitlength}{\Fbaselength}% + \setlength{\Fbaselength}{#1\Fbaselength}% + \unskip% + \setlength{\temp}{2\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \rule{\Fassertwidth}{\temp}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fbguqwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \addtolength{\temp}{-\Fassertwidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fbguqwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \raisebox{\temp}{\ensuremath{\bguq}}% + \kern-\Fbguqwidth% + \raisebox{\temp}% + {\makebox[\Fbguqwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fbguqwidth}% + \addtolength{\temp}{-2\Flinewidth}% + \addtolength{\temp}{-\Fnegsep}% + \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fbguqwidth}% + \addtolength{\temp}{-2\Flinewidth}% + \addtolength{\temp}{-\Fnegsep}% + \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% + \setlength{\Fbaselength}{\Funitlength}% + \hskip\Fspace% + }% + {% + \setlength{\Funitlength}{\Fbaselength}% + \setlength{\Fbaselength}{#1\Fbaselength}% + \unskip% + \setlength{\temp}{2\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \rule{\Fassertwidth}{\temp}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fquantwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \addtolength{\temp}{-\Fassertwidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fquantwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\unitlength}{\Fquantwidth}% + \raisebox{\Fraiseheight}{% + \begin{picture}(1,0)(0,0)% + \linethickness{\Flinewidth}% + \qbezier(0,0)(0.5,-0.6666)(1,0)% + \end{picture}}% + \kern-\Fquantwidth% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \raisebox{\temp}% + {\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fquantwidth}% + \addtolength{\temp}{-2\Flinewidth}% + \addtolength{\temp}{-\Fnegsep}% + \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fquantwidth}% + \addtolength{\temp}{-2\Flinewidth}% + \addtolength{\temp}{-\Fnegsep}% + \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% + \setlength{\Fbaselength}{\Funitlength}% + \hskip\Fspace% + }% }% -% twice negated asserted universal quantifier with negated content: +% asserted twice negated universal quantifier with negated content: \newcommand{\Fannquantn}[2][1]% {% - \setlength{\Funitlength}{\Fbaselength}% - \setlength{\Fbaselength}{#1\Fbaselength}% - \unskip% - \setlength{\temp}{2\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \rule{\Fassertwidth}{\temp}% - \setlength{\temp}{.25\Fbaselength}% - \addtolength{\temp}{-0.25\Fquantwidth}% - \addtolength{\temp}{-\Flinewidth}% - \addtolength{\temp}{-0.5\Fnegsep}% - \addtolength{\temp}{-\Fassertwidth}% - \rule[\Fraiseheight]{\temp}{\Flinewidth}% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \addtolength{\temp}{-\Fnegshort}% - \rule[\Fnegshort]{\Flinewidth}{\temp}% - \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \addtolength{\temp}{-\Fnegshort}% - \rule[\Fnegshort]{\Flinewidth}{\temp}% - \setlength{\temp}{.25\Fbaselength}% - \addtolength{\temp}{-0.25\Fquantwidth}% - \addtolength{\temp}{-\Flinewidth}% - \addtolength{\temp}{-0.5\Fnegsep}% - \rule[\Fraiseheight]{\temp}{\Flinewidth}% - \setlength{\unitlength}{\Fquantwidth}% - \raisebox{\Fraiseheight}{% - \begin{picture}(1,0)(0,0)% - \linethickness{\Flinewidth}% - \qbezier(0,0)(0.5,-0.6666)(1,0)% - \end{picture}}% - \kern-\Fquantwidth% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \raisebox{\temp}{\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% - \setlength{\temp}{.25\Fbaselength}% - \addtolength{\temp}{-0.25\Fquantwidth}% - \addtolength{\temp}{-0.5\Flinewidth}% - \rule[\Fraiseheight]{\temp}{\Flinewidth}% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \addtolength{\temp}{-\Fnegshort}% - \rule[\Fnegshort]{\Flinewidth}{\temp}% - \setlength{\temp}{.25\Fbaselength}% - \addtolength{\temp}{-0.25\Fquantwidth}% - \addtolength{\temp}{-0.5\Flinewidth}% - \rule[\Fraiseheight]{\temp}{\Flinewidth}% - \setlength{\Fbaselength}{\Funitlength}% - \hskip\Fspace% + \ifthenelse{\boolean{bguq}}% + {% + \setlength{\Funitlength}{\Fbaselength}% + \setlength{\Fbaselength}{#1\Fbaselength}% + \unskip% + \setlength{\temp}{2\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \rule{\Fassertwidth}{\temp}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fbguqwidth}% + \addtolength{\temp}{-\Flinewidth}% + \addtolength{\temp}{-0.5\Fnegsep}% + \addtolength{\temp}{-\Fassertwidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fbguqwidth}% + \addtolength{\temp}{-\Flinewidth}% + \addtolength{\temp}{-0.5\Fnegsep}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \raisebox{\temp}{\ensuremath{\bguq}}% + \kern-\Fbguqwidth% + \raisebox{\temp}% + {\makebox[\Fbguqwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% + \setlength{\temp}{0.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fbguqwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fbguqwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\Fbaselength}{\Funitlength}% + \hskip\Fspace% + }% + {% + \setlength{\Funitlength}{\Fbaselength}% + \setlength{\Fbaselength}{#1\Fbaselength}% + \unskip% + \setlength{\temp}{2\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \rule{\Fassertwidth}{\temp}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fquantwidth}% + \addtolength{\temp}{-\Flinewidth}% + \addtolength{\temp}{-0.5\Fnegsep}% + \addtolength{\temp}{-\Fassertwidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fquantwidth}% + \addtolength{\temp}{-\Flinewidth}% + \addtolength{\temp}{-0.5\Fnegsep}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\unitlength}{\Fquantwidth}% + \raisebox{\Fraiseheight}{% + \begin{picture}(1,0)(0,0)% + \linethickness{\Flinewidth}% + \qbezier(0,0)(0.5,-0.6666)(1,0)% + \end{picture}}% + \kern-\Fquantwidth% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \raisebox{\temp}% + {\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fquantwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fquantwidth}% + \addtolength{\temp}{-0.5\Flinewidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\Fbaselength}{\Funitlength}% + \hskip\Fspace% + }% }% -% twice negated asserted universal quantifier with twice negated content: +% asserted twice negated universal quantifier with twice negated content: \newcommand{\Fannquantnn}[2][1]% {% - \setlength{\Funitlength}{\Fbaselength}% - \setlength{\Fbaselength}{#1\Fbaselength}% - \unskip% - \setlength{\temp}{2\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \rule{\Fassertwidth}{\temp}% - \setlength{\temp}{.25\Fbaselength}% - \addtolength{\temp}{-0.25\Fquantwidth}% - \addtolength{\temp}{-\Flinewidth}% - \addtolength{\temp}{-0.5\Fnegsep}% - \addtolength{\temp}{-\Fassertwidth}% - \rule[\Fraiseheight]{\temp}{\Flinewidth}% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \addtolength{\temp}{-\Fnegshort}% - \rule[\Fnegshort]{\Flinewidth}{\temp}% - \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \addtolength{\temp}{-\Fnegshort}% - \rule[\Fnegshort]{\Flinewidth}{\temp}% - \setlength{\temp}{.25\Fbaselength}% - \addtolength{\temp}{-0.25\Fquantwidth}% - \addtolength{\temp}{-\Flinewidth}% - \addtolength{\temp}{-0.5\Fnegsep}% - \rule[\Fraiseheight]{\temp}{\Flinewidth}% - \setlength{\unitlength}{\Fquantwidth}% - \raisebox{\Fraiseheight}{% - \begin{picture}(1,0)(0,0)% - \linethickness{\Flinewidth}% - \qbezier(0,0)(0.5,-0.6666)(1,0)% - \end{picture}}% - \kern-\Fquantwidth% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \raisebox{\temp}{\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% - \setlength{\temp}{.5\Fbaselength}% - \addtolength{\temp}{-0.5\Fquantwidth}% - \addtolength{\temp}{-2\Flinewidth}% - \addtolength{\temp}{-\Fnegsep}% - \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \addtolength{\temp}{-\Fnegshort}% - \rule[\Fnegshort]{\Flinewidth}{\temp}% - \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}% - \setlength{\temp}{\Fraiseheight}% - \addtolength{\temp}{\Flinewidth}% - \addtolength{\temp}{-\Fnegshort}% - \rule[\Fnegshort]{\Flinewidth}{\temp}% - \setlength{\temp}{.5\Fbaselength}% - \addtolength{\temp}{-0.5\Fquantwidth}% - \addtolength{\temp}{-2\Flinewidth}% - \addtolength{\temp}{-\Fnegsep}% - \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% - \setlength{\Fbaselength}{\Funitlength}% - \hskip\Fspace% + \ifthenelse{\boolean{bguq}}% + {% + \setlength{\Funitlength}{\Fbaselength}% + \setlength{\Fbaselength}{#1\Fbaselength}% + \unskip% + \setlength{\temp}{2\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \rule{\Fassertwidth}{\temp}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fbguqwidth}% + \addtolength{\temp}{-\Flinewidth}% + \addtolength{\temp}{-0.5\Fnegsep}% + \addtolength{\temp}{-\Fassertwidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fbguqwidth}% + \addtolength{\temp}{-\Flinewidth}% + \addtolength{\temp}{-0.5\Fnegsep}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \raisebox{\temp}{\ensuremath{\bguq}}% + \kern-\Fbguqwidth% + \raisebox{\temp}% + {\makebox[\Fbguqwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fbguqwidth}% + \addtolength{\temp}{-2\Flinewidth}% + \addtolength{\temp}{-\Fnegsep}% + \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fbguqwidth}% + \addtolength{\temp}{-2\Flinewidth}% + \addtolength{\temp}{-\Fnegsep}% + \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% + \setlength{\Fbaselength}{\Funitlength}% + \hskip\Fspace% + }% + {% + \setlength{\Funitlength}{\Fbaselength}% + \setlength{\Fbaselength}{#1\Fbaselength}% + \unskip% + \setlength{\temp}{2\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \rule{\Fassertwidth}{\temp}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fquantwidth}% + \addtolength{\temp}{-\Flinewidth}% + \addtolength{\temp}{-0.5\Fnegsep}% + \addtolength{\temp}{-\Fassertwidth}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.25\Fbaselength}% + \addtolength{\temp}{-0.25\Fquantwidth}% + \addtolength{\temp}{-\Flinewidth}% + \addtolength{\temp}{-0.5\Fnegsep}% + \rule[\Fraiseheight]{\temp}{\Flinewidth}% + \setlength{\unitlength}{\Fquantwidth}% + \raisebox{\Fraiseheight}{% + \begin{picture}(1,0)(0,0)% + \linethickness{\Flinewidth}% + \qbezier(0,0)(0.5,-0.6666)(1,0)% + \end{picture}}% + \kern-\Fquantwidth% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \raisebox{\temp}% + {\makebox[\Fquantwidth]{\ensuremath{\scriptstyle\mathfrak{#2}}}}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fquantwidth}% + \addtolength{\temp}{-2\Flinewidth}% + \addtolength{\temp}{-\Fnegsep}% + \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \rule[\Fraiseheight]{\Fnegsep}{\Flinewidth}% + \setlength{\temp}{\Fraiseheight}% + \addtolength{\temp}{\Flinewidth}% + \addtolength{\temp}{-\Fnegshort}% + \rule[\Fnegshort]{\Flinewidth}{\temp}% + \setlength{\temp}{.5\Fbaselength}% + \addtolength{\temp}{-0.5\Fquantwidth}% + \addtolength{\temp}{-2\Flinewidth}% + \addtolength{\temp}{-\Fnegsep}% + \rule[\Fraiseheight]{0.5\temp}{\Flinewidth}% + \setlength{\Fbaselength}{\Funitlength}% + \hskip\Fspace% + }% }% |