Original: Ï Î Î "Î Î Î Î) is a formula which is true in every possible interpretation.
Simplified: Ï Î Î "Î Î Î Î) is a propositional formula that is true under any possible interpretation.