(* Was raising an anomaly *) Notation"'[#' ] f '|' x .. z '=n>' b" :=
(fun x => .. (fun z => f b) ..)
(at level 201, x binder, z binder,
format "'[ ' [# ] '[' f | ']' x .. z =n> '[' b ']' ']'"
).
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.
