Almost as an aside, I regard a symbol ending
with any of the following four characters as
indicating the name of a predicate:
= > < ?
reading and typing a redundant ? after another
character whose presence at the end of a name
already indicates a predicate is annoying.
Bear