]> matita.cs.unibo.it Git - helm.git/blobdiff - matita/matita/core_notation.moo
- LexiconAst merged into GrafiteAst
[helm.git] / matita / matita / core_notation.moo
index 6f5d78d033bcbd223e2ba1e36f759e0451289ab2..8ba56a73de06f9c459c44b7ea5ec7da42dab0e9f 100644 (file)
@@ -163,7 +163,7 @@ notation "hvbox(a break \mod b)"
   left associative with precedence 55
 for @{ 'module $a $b }.
 
-notation "a \frac b" 
+notation "a \frac b" 
   non associative with precedence 90
 for @{ 'divide $a $b }.