Beispiele für infix

Das habe ich bei Wilhelm Haager in St. Pölten gelernt.

Konjunktion

Konjunktion

Code:

infix("uu",101,102);
"uu"(a,b):=a and b;
true uu false;

Kleiner-Relation

Kleiner-Relation

Vereinigung von Mengen

A:{1,2,3};
B:{2,4,5,7};
infix(„⋃“,101,102);
„⋃“(a,b):=union(a,b);
A ⋃ B;

Durchschnitt von Mengen

A:{1,2,3};
B:{2,4,5,7};
infix(„⋂“,101,102);
„⋂“(a,b):=intersection(a,b);
A ⋂ B;