TeX source:

s.t.