4*x^4+3*x^3+2*x^2+1*x^1+0*x^0

"ab\"'\n\\"

12

12.1

1E1

1.0E2

1.0E-23

12+34*"afa"

""+""

(op x: a)(a,b)

(a)

(a,b)

a:s + b:s

a as s : s as s

a:s:s as s as s

[]

+a

__+__(a,b)

a when a < b else b

a when (pred a:b) else b

{a b}

a b p

q a b

B[b]

B[a[c,d],b]

[a,[c,d],b]

[a[c,d],b]

__B[a[c,d],b]__(a,b)

while while a do b od do c od

while while a do b od do while c do d od od

{a {b c}}

[a, A 0 B]

A A 0 B B

b + A 0 B + b

- A 0 B

a ! ! !

Pl7{nicht_wenden}-- folge_dem_Gang -->{nicht_wenden}Pl3 --> RS3 --> RS6

(a + b) * c

a * (b * c)

c * (a + b)

(a * b) * c

s (n) * c