Prefixes starting with <+#-#-#->

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