The set of all x such that P

{ x | P }
37.0% (17)
{ x : P } ✓
26.1% (12)
{ x ; P }
15.2% (7)
{ x s.t. P }
21.7% (10)

46 interactions

Posted by @profkinyon.bsky.social on 2/6/2026, 8:54:14 PM