Prefixes starting with <+#->

<+#-#> . <+#-> (other) .