Unknown

(x) = x
(x,x) = x^x
(x,x,x) = x{x}x
(x&x) = {x,x(1)2}
(x&&x) = {x,x(1)x}
(x&&&x) = {x,x(2)2}
(x,,x) = {x,x(0,1)2}
(x,,,x) = {x,x(0,2)2}
((x)&2) = {x,x(0,0,1)2}
((x)&3) = {x,x(0,0,0,1)2}
((x)&x) = {x,x+1((0)1)2}
(((x)&x)&x) ~ {x,x+1(((0)1)1)2}
((x)2x) ~ X^^X&x
((x)3x) ~ X^^^X&x
((x)1,2x) ~ {X,X,X}&x
((x),x) ~ {x,x/2}
(((x),x),x) ~ {x,x//2}
((x)x) ~ {x,x(1)2/2}
(H(0),x) ~ {Lx,x}x,x
(H(1),x) ~ {LL,x}x,x
(H(H),x) ~ {x&L,1}x,x
(H(H(H)),x) ~ {{x&L,1}x,x&L,1}x,x
(H,x,x) ~ {L&L,1}x,x
(H&x) ~ {{L,L/2},1}x,x
(H&H&x)
(H,,x) ~ {{{LX,1}L,L},1}x,x
(x<x,2) ~ {{LX,1}L,L,1}[x]x,x
(x<x<x,2)
(x<x,3)
(x<x,x<x)
(x<x&x<x)
(x<x&&x<x)
(x<x,,x<x)
(x<x<x)
(x<<x)
(x)2
(x)3
(x)(x)
(x)(x)_(x)
(x)x2