Fuente TeX:

\{ ( w_2 , w_3) \} \xrightarrow{bon} S^{\bot}