Prefixes starting with <ope>
<open>
.
<oper>
.
<ope> (other)
.