This is LaTeX code:

[latex]
 
((A \vee B) \rightarrow C) \wedge (C \rightarrow (A \wedge B))
 
[/latex]