Aber da ist || liegt nun eine Schwierigkeit: wenn ich sage „aber diese Farbe nenne ich ‚rot’” so scheine ich hier doch nicht einfach Zeichen für Zeichen gesetzt
zu haben.