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