 Upper ramification numbering

The upper numbering is obtained by applying the inverse Herbrand function to the index in the lower ramification numbering. It is compatible with quotient Galois groups, whereas lower numbering is compatible with subgroups.