Lines Matching refs:priority
47 \it symbol & \it meta-type & \it priority & \it description \\
106 equality. But equality has a high priority, as befitting a relation, while
107 if-and-only-if typically has the lowest priority. Thus, $\lnot\lnot P=P$
225 \medskip All these binders have priority 10.
228 The low priority of binders means that they need to be enclosed in
250 Both \texttt{if} and \texttt{case} constructs have as low a priority as
465 \it symbol &\it name &\it meta-type & \it priority & \it description \\
479 \it symbol & \it meta-type & \it priority & \it description \\
1104 which associates to the right and has a lower priority than $*$: $\tau@1 +
1148 \it symbol & \it meta-type & \it priority & \it description \\
1316 \it symbol & \it meta-type & \it priority & \it description \\