[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