Prefixes starting with <#.#m >

<#.#m #> . <#.#m [> . <#.#m > (other) .