Diese Trennung hat || bereitet dieselbe Schwierigkeit die immer zur Folge hatte daß man der Definition eine andere Funktion vindizieren wollte als die ein Zeichen für ein anderes zu setzen.