(¬) :: Bool → Bool<br>(¬) q = not q<br><br>q = True<br>¬ q : parser error on input<br>q ¬ : parser error (possibly incorrect indentation)<br>(¬ q) : Couldn&#39;t match expected type `Bool -&gt; t&#39; against inferred type `Bool&#39; In the expression: (� True) In the definition of `it&#39;: it = (� True) *
<br>(q ¬) : False<br><br>(Why) is it not possible to define a (non-infix) function whose name consists of a single non-alphabetical mathematical symbol?<br><br>¬ :: Bool → Bool -- parser error on input **<br>¬ q = not q -- parser error on input **
<br><br>Cetin Sert<br>