[ivxvm]

Oh, so it's just a type alias for readability. Then it makes sense.