Prefixes starting with <Times >
<Times C>
.
<Times > (other)
.