Prefixes starting with <diamond>

<diamond > . <diamonds> . <diamond> (other) .