Freilich kann kann D als Definition aufgefasst werden! [d|D]enn das linke Zeichen wird tatsächlich gebraucht, und warum sollte man es nicht nach dieser Uebereinkunft 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 Uebereinkunft abkürzen. Nur gebraucht man dann das rechte oder linke Zeichen anders,
als es jetzt üblich ist.
als wir es jetzt gebrauchen.
//