Automatic parenthesization is controlled by certain display definition attributes, term slot options, and by definition precedences. A precedence is an element in the precedence order . The order is determined by the precedence objects in the Nuprl library. A definition is assigned a precedence by giving it a prec attribute which names some precedence element.