Prefixes starting with <+>

<+ > . <+#> . <+1> . <+2> . <+3> . <+4> . <+5> . <+7> . <+> (other) .