infix & (a,b: TEXT): TEXT
The concatenation of a and b, as defined by Text.Cat.
Last modified on Wed Apr 3 09:38:54 PST 1996 by heydon modified on Mon Apr 18 14:07:42 PDT 1994 by kalsow