"x" per Checker ausschließen

[jvoigtlaender]

Verhindern, dass bei irgendeiner Task-Instanz der Name "x" für einen Typ oder eine Operation auftritt (wegen "Verwechslung" mit \times).

[jvoigtlaender]

Wirklich schlimm ist es wohl nur für Typnamen. (Und solange diese immer mit Großbuchstaben anfangen, ist alles okay.)