I believe that quite commonly in mathematical logic, exactly what Mike said is typically used without the periods: ∀x ∃y P(x, y) or ∀x ∃y ∋ P(x,y) to mean "For all x there exists a y such that P(x,y)" --Dan On Jun 11, 2014, at 1:42 PM, Mike Stay <metaweta@gmail.com> wrote:
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".