Prefixes starting with <#,#-#>

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