TeX source:

A\wedge (B \wedge C) = (A\wedge B)\wedge C