Text operations

     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