The set of all x such that P

{ x | P }
38.3% (18)
{ x : P }
25.5% (12)
{ x ; P }
14.9% (7)
{ x s.t. P }
21.3% (10)

47 interactions

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