11 Jun
2014
11 Jun
'14
2:42 p.m.
On Wed, Jun 11, 2014 at 2:23 PM, Marc LeBrun <mlb@well.com> wrote:
The specific idiom we were trying to symbolize succinctly was "For all X there exists a Y such that..."
Ah! For quantifiers, a period/full stop is often used: ∀x. ∃y. P(x, y) similar to the way lambda is used in lambda calculus: λx. λy. λz. xz(yz) because all three are binding occurrences of the variable. The period is not pronounced after a "for all" and is pronounced "such that" after a "there exists". -- Mike Stay - metaweta@gmail.com http://www.cs.auckland.ac.nz/~mike http://reperiendi.wordpress.com