Fuente TeX:
s=sup(A) \Leftrightarrow s