<meta charset="utf-8"><blockquote class="gmail_quote" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0.8ex; border-left-width: 1px; border-left-color: rgb(204, 204, 204); border-left-style: solid; padding-left: 1ex; ">
</blockquote>Andreas Abel wrote:<br><blockquote class="gmail_quote" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0.8ex; border-left-width: 1px; border-left-color: rgb(204, 204, 204); border-left-style: solid; padding-left: 1ex; ">
<blockquote class="gmail_quote" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0.8ex; border-left-width: 1px; border-left-color: rgb(204, 204, 204); border-left-style: solid; padding-left: 1ex; ">
</blockquote>I find it awkward to define a a new function by<br><blockquote class="gmail_quote" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0.8ex; border-left-width: 1px; border-left-color: rgb(204, 204, 204); border-left-style: solid; padding-left: 1ex; ">
</blockquote><br><blockquote class="gmail_quote" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0.8ex; border-left-width: 1px; border-left-color: rgb(204, 204, 204); border-left-style: solid; padding-left: 1ex; ">
</blockquote> def plus x x = mult2 x<br><blockquote class="gmail_quote" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0.8ex; border-left-width: 1px; border-left-color: rgb(204, 204, 204); border-left-style: solid; padding-left: 1ex; ">
</blockquote><br><blockquote class="gmail_quote" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0.8ex; border-left-width: 1px; border-left-color: rgb(204, 204, 204); border-left-style: solid; padding-left: 1ex; ">
</blockquote>where &quot;an alternative expression for plus x x is mult2 x&quot;.</blockquote><div> </div><div class="gmail_quote">Nils Anders Danielsson <span dir="ltr">&lt;<a href="mailto:nad@cs.nott.ac.uk">nad@cs.nott.ac.uk</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><div class="im"> </div></blockquote><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im"></div></blockquote>
syntax &lt;symbol we&#39;re defining syntax for&gt; &lt;bound variables&gt; =<br>
  &lt;new notation making use of the bound variables&gt;</blockquote><div><br></div><div>What you have to remember is that we&#39;re not defining new syntax</div><div>for an arbitrary piece of expression, we&#39;re defining the syntax for a</div>
<div>particular function symbol (what Nisse wrote above). It&#39;s not valid</div><div>(nor does it make sense) to define mult2 x to be the syntax for</div><div>plus x x. Having the new syntax on the left would lead you to believe</div>
<div>that you could define several different pieces of syntax for the same</div><div>symbol, which isn&#39;t the case. For instance,</div><div><br></div><div>-- not valid:</div><div>syntax plus x x = mult2 x</div><div>syntax plus x y = x + y</div>
<div><br></div><div>/ Ulf</div></div>