Zdroj TeX:

s^{\small A}\; (A \in s^{\small A} \; \wedge \; s^{\small A}\parallel s)