Am 27.04.21 um 19:17 schrieb Andreas Scherer: > I suggest to use '|"/"|, \dots, |"8"|' instead. On the other hand, there's also section 181 with the same/different enumeration. Andreas