Prefixes starting with <Pauli>
<Paulin>
.
<Pauli> (other)
.