Re: [math-fun] Such-that symbol

FWIW, I use (and suggest) latex : \mid for "such that". On Fri, 18 Dec 2020, 15:22 Dan Asimov, <asimov@msri.org> wrote:

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: