]> matita.cs.unibo.it Git - helm.git/blobdiff - matita/core_notation.moo
- matitaInit matitaprover matitadep matitamake:
[helm.git] / matita / core_notation.moo
index 17d5993b10a2a2d7ab0f14b88fa768a18da537d7..2ecb35e8be5b738afff7201ccf441199170652e5 100644 (file)
@@ -119,3 +119,7 @@ for @{ 'and $a $b }.
 notation "hvbox(\lnot a)" 
   non associative with precedence 40
 for @{ 'not $a }.
+
+notation "hvbox(a break => b)" 
+  non associative with precedence 45
+for @{ 'parred $a $b }.