TeX source:
A\vee B = (B\vee A)