proc の省略したかきかた(``→'')

proc は便利ですが、書くのが面倒です。 そこで、簡単な関数については ``->'' という記号を用いた 略記法を用いるとよいでしょう。(キーボードの「マイナス」の記号に つづけて「大なり」の記号を打ちます。 たとえば、

f:=x -> ln(x)

とやれば、 $f(a)=ln(a)$ となります。