Prefixes starting with <+#.#>

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