Usually in optimization problems s.t. is written to denote subject to because, an optimization problem is usually of the form: Optimize f(x) subject to the constraint g(x) In general mathematics and logic, such that is written as a colon(:), for e.g. $${x^2: \exists n > x \forall n \in \mathbb{N} }$$ More @Wikipedia
Hover over any link to get a description of the article. Please note that search keywords are sometimes hidden within the full article and don't appear in the description or title.