|
(* Declare empty levels in the same order they are computed *)
Notation "< a ; b ; c >1" :=
(sum a (sum b c)) (at level 18, a at level 19, b at level 20, c at level 21).
Notation "< a ; b ; c >2" :=
(sum a (sum b c)) (at level 28, a at level 29, c at level 32, b at level 31).
Notation "< a ; b ; c >3" :=
(sum a (sum b c)) (at level 38, c at level 42, a at level 39, b at level 41).
Notation "< a ; b ; c >4" :=
(sum a (sum b c)) (at level 48, c at level 52, b at level 51, a at level 49).
Notation "< a ; b >" :=
(sum a b) (at level 61, a at level 63, b at level 62).
¤ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
