Definition, synonyms and related words
Either of the brackets (!| and |!), used in the notation for catamorphisms.