Quantifiers as Generalized && and ||
- To: mathgroup at smc.vnet.net
- Subject: [mg67698] Quantifiers as Generalized && and ||
- From: "Steven T. Hatton" <hattons at globalsymmetry.com>
- Date: Wed, 5 Jul 2006 04:17:26 -0400 (EDT)
- Sender: owner-wri-mathgroup at wolfram.com
I'm strictly interested in the ability to use this in text, not in code to
be evaluated. Behnke et al use a generalization of "\[And]" and "\[Or]"
for the universal and existential quantifiers. This is the idea:
Cell[BoxData[
RowBox[{
RowBox[{"\[ForAll]",
RowBox[{"x", "\[Congruent]"}]}],
UnderscriptBox["\[And]", "x"]}]], "Input"]
Cell[BoxData[
RowBox[{
RowBox[{"\[Exists]",
RowBox[{"x", "\[Congruent]"}]}],
UnderscriptBox["\[Or]", "x"]}]], "Input"]
The difference between what Mathematica gives us and what Behnke et al give
us is that their generalized && and || symbols are "upper case" versions of
the binary versions. Is does Mathematica provide such symbols?