 where &amp;, \(\Rightarrow, \Leftrightarrow, \forall\) stand correspondingly for ‘and’, ‘if… then’, ‘if and only if’ and ‘for all’ in the metalanguage, and \(\leftrightarrow\) stands for some object language equivalence connective (biconditional).