### Related

##### infix-true

"xor"(r,s):= (r and n...

infix("xor");

f:(x xor y xor z) or ...

Calculate

##### infix-true

"xor"(r,s):= (r and n...

infix("xor");

f:(z xor y) and (z xo...

Calculate

##### infix

infix("uu",101,102);

"uu"(a,b):=a and b;

true uu false;

Calculate

##### infix

infix("//");

"//" (r1,r2) := 1/(1/...

r47//r31;

Calculate

##### infix

infix("=>");

"=>"(p,q):=(not p)...

infix("<=>");

Calculate

##### infix-is

infix("##",100,101);

"##"(a,b):=is(a<b);

3##4;

Calculate

##### infix

"xor"(r,s):= (r and n...

infix("xor");

wtafel(a xor b);

Calculate

##### infix

"xor"(r,s):= (r and n...

infix("xor");

f:(x xor y xor z) or ...

Calculate

infix("&");

Calculate

##### infix-lambda-lreduce-map

infix("|");

"|"(p,[x]):='P(p)*lre...

Calculate

### infix

Run Example
```(%i1)infix("|");
(%o1)                                  |
(%i2) "|"(p,[x]):=P(p)*lreduce("*",fullmapl(lambda([y],P(y,p)), x));
(%o2)   p | [x] := P(p) lreduce("*", fullmapl(lambda([y], P(y, p)), x))
(%i3) p|[a,b,c,d,e];
(%o3) [P(a, p) P(p), P(b, p) P(p), P(c, p) P(p), P(d, p) P(p), P(e, p) P(p)]
(%i4) ```
Run Example
```"xor"(r,s):= (r and not s) or (not r and s);
(%o1)           xor(r, s) := (r and (not s)) or ((not r) and s)
(%i2)  infix("xor");
(%o2)                                 xor
(%i3) f:(x xor y xor z) or z and not y;
(%o3) (((x and (not y)) or ((not x) and y)) and (not z))
or (((not x) or y) and (x or (not y)) and z) or (z and (not y))
(%i4) ```
Run Example
```"xor"(r,s):= (r and not s) or (not r and s);
(%o1)           xor(r, s) := (r and (not s)) or ((not r) and s)
(%i2)  infix("xor");
(%o2)                                 xor
(%i3) f:(x xor y xor z) or z and not y;
(%o3) (((x and (not y)) or ((not x) and y)) and (not z))
or (((not x) or y) and (x or (not y)) and z) or (z and (not y))
(%i4) f, x = false, y = false, z = false;
(%o4)                                false
(%i5) ```

Help for Infix