Prefixes starting with <#a>

<#a.> . <#a> (other) .