Re: [math-fun] Such that & cupid

="Mike Stay" <metaweta@gmail.com> For #1, I've also seen leftarrow; this is the notation used, for instance, in the programming language scala:

The set comprehension {f(x) | x ∈ X and

P(x) is true}

Thanks for the links! The specific idiom we were trying to symbolize succinctly was "For all X there exists a Y such that..." Regarding funny symbols, although right now I'm hoping for an easy win, for the future I'll keep TikZ in mind (I've also long wanted an "elongated P" sign for "product integral") Thanks! --MLB