Prefixes starting with <§ >

<§ #> . <§ > (other) .