I have used it every since college, but I understood it to be more of a backwards epsilon than a pitchfork; not quite as elongated as a backwards "is an element of". A standard joke was (written as symbols) For every upsidedown A there exists backwards E such that backwards epsilon implies right arrow. -----Original Message----- From: math-fun <math-fun-bounces@mailman.xmission.com> On Behalf Of Dan Asimov Sent: Friday, December 18, 2020 12:22 PM To: math-fun <math-fun@mailman.xmission.com> Subject: [EXTERNAL] [math-fun] Such-that symbol As an undergrad at MIT, I learned a math symbol that math profs there used often: a backwards pitchfork for "such that". It was pretty handy and used often. I don't remember if I've ever seen it used elsewhere and don't think I've ever seen it in tables of math symbols. If you connect the dots and shrink the picture, it looks something like this: * * * ********* * * * Are other people familiar with this? Does it have a name? Or maybe it was just something they used at MIT? (If so, is it still in use?) —Da _______________________________________________ math-fun mailing list math-fun@mailman.xmission.com https://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun