Prefixes starting with <+#-#>

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