|

x | y -- a binary operator.

The user may install binary methods for this operator with code such as

              X | Y := (x,y) -> ...

where X is the class of x and Y is the class of y .

m|n -- produce an integer obtained from the bits of the integers m and n by logical 'or'.
s|t -- concatenate strings or nets horizontally.
f|g -- concatenate matrices horizontally.

     i1 = "abc" | "def"
     
     o1 = "abcdef"

     i2 = R = ZZ/101[x,y,z]
     
     o2 = R
     
     o2 : PolynomialRing

     i3 = f = vars R
     
     o3 = | x y z |
     
                  1       3
     o3 : Matrix R  <--- R

     i4 = f|f|f
     
     o4 = | x y z x y z x y z |
     
                  1       9
     o4 : Matrix R  <--- R