Freilich kann D als Definition aufgefaßt werden! Denn das links Zeichen wird tatsächlich gebraucht, und warum sollte man es nicht nach dieser Übereinkunft abkürzen. || … durch das rechte ersetzen. Nur gebraucht man dann dieses oder jenes anders, als er jetzt üblich ist. || … und warum sollte man es dann nicht nach dieser Übereinkunft abkürzen. Nur gebraucht man dann das rechte oder linke Zeichen anders, als wir es jetzt gebrauchen. || als es jetzt üblich ist.