1320
>Example: x->(scalarproduct(vector { 0, x }, vector { x, 0 }))[1]</para
1322
>Exempel: x->selector(1, scalarproduct(vector { 0, x }, vector { x, 0 }))</para
1342
>Example: x->(scalarproduct(vector { 0, x }, vector { x, 0 }))[1]</para
1344
>Exempel: x->piecewise { x>0 ? selector(1, vector { x, 1/x }), ? selector(2, vector { x, 1/x }) }</para
1364
>Example: x->(union(list { 1, 2, 3 }, list { 4, 5, 6 }))[rem(floor(x), 5)+3]</para
1378
>Description: For all</para
1382
>Parameters: forall(par1 : var)</para
1386
>Example: x->piecewise { forall(t:t@list { true, false, false }) ? 1, ? 0 }</para
1400
>Description: Exists</para
1404
>Parameters: exists(par1 : var)</para
1408
>Example: x->piecewise { exists(t:t@list { true, false, false }) ? 1, ? 0 }</para
1366
>Exempel: x->selector(rem(floor(x), 5)+3, union(list { 1, 2, 3 }, list { 4, 5, 6 }))</para