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 ]
a B[a[c,d],b] 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
(- a) !