Prefixes starting with <double >

<double b> . <double d> . <double h> . <double > (other) .