455
Freilich kann || kann D als Definition aufgefaßt werden! Denn das linke 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 es 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.