 This simpler formulation follows from the convention that \(\equiv\) has wider scope than \(\lor\) and &amp;, and the latter have wider scope than \(\osim\). Indeed parentheses are often unneeded around \(\equiv\), given a further convention on which \(\equiv\) has wider scope than \(\supset\). Thus, the formula \(p \supset q \equiv\osim p\lor q\) becomes unambiguous. We might represent these conventions by listing the connectives in groups with those with widest scope at the top: 