Comment by dabraham1248

Same. I recalled pipe being used for "such that". But [per wikipedia](https://en.wikipedia.org/wiki/Glossary_of_mathematical_symbo...), that's specifically "set-builder notation", and the _last one_ of the twelve instances of the string "such that" on the page (though I don't know if they're ordered by usage, "alphabetically", or what).