Zdroj TeX:

[(1. \wedge 2.) \Rightarrow 4] \Rightarrow (5. \wedge 6.)