\(\st\)

\(\{x \st x > 2\}\) is the set of all \(x\) such that \(x\) is greater than 2.