(bprod{int y;}(1, 2, y) = 0)
1 = 1 -> 2 = 2
\< { int x = 1; } \> x=1
\<{ int x = 1; {int s = 2;} }\> x=x
true
true & false
0
1
42
-5
1 + 1 = 2
\if (3=4) \then (1) \else (2)
\if (3=4 & 1=1) \then (\if (3=4) \then (1) \else (2)) \else (2)
aa + bb*cc
aa%bb*cc < -123
\forall int x; true
\forall numbers x; x = x
(int)3+2
#\forall int[][] i; \forall int j; i [i[i[j][j]][i[j][j]]][i[j][i[j][j]]] = j
#\forall int[][] i; \forall int j; i[j][j] = j
#\forall int j; {globalIntPV:=j} globalIntPV = j
#\exists elem x; \forall list ys; \forall list xs; ( xs = cons(x,ys))
#\<{T0 t;}\> t(1,2) = t()
1.f + 1f = 20e-1f * (2f-1f)
1.d + 1d <= 20e+1d * .01d
1f <= 2f
2d > 1d
seqEmpty + seqEmpty
\emptyset
∅
∅ ∪ ∅
∅ ∪ ∅ ∩ ∅ = (∅ ∪ ∅) ∩ ∅
\emptyset ∪ ∅ \cap ∅ = (∅ \cup ∅) ∩ ∅
∅ ⊆ \emptyset
\emptyset ∖ \emptyset
(∅ ∊ ∅) & true