(* Similar to #9521 (was an anomaly unknown level 150 *) Declare Custom Entry expr.
Module A.
Notation"p" := (p) (in custom expr at level 150, p constr, right associativity). Notation"** X" := (X) (at level 200, X custom expr at level 150). Lemma t : ** True. Abort.
End A.
(* Similar to #9517, #9519, #11331 *)
Module B.
Notation"p" := (p) (in custom expr at level 100, p constr (* at level 200 *)). Notation"** X" := (X) (at level 200, X custom expr at level 150). Lemma t : ** True. Abort.
End B.
¤ Dauer der Verarbeitung: 0.11 Sekunden
(vorverarbeitet)
¤
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.
