I remember seeing a symbol similar to this for "such that", but it wasn't a pitchfork. It was essentially a mirror-reversed set membership symbol. You can see it listed here, pretty much as I remember it: https://en.wikipedia.org/wiki/List_of_mathematical_symbols#Abbreviation_of_E... Tom Dan Asimov writes:
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