Prefixes starting with <+#-#->

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