frac is an infix operator!

[helm.git] / helm / software / matita / core_notation.moo

diff --git a/helm/software/matita/core_notation.moo b/helm/software/matita/core_notation.moo
index b201a0555125bb15c2fa634433e74a64bfa3fe44..1ea2f922bc55211f29c03acc9533d9f3257ca0b8 100644 (file)
--- a/helm/software/matita/core_notation.moo
+++ b/helm/software/matita/core_notation.moo
@@ -102,7 +102,7 @@ notation "hvbox(a break \mod b)"
   left associative with precedence 55
 for @{ 'module $a $b }.
 
-notation "\frac a b" 
+notation "a \frac b" 
   non associative with precedence 90
 for @{ 'divide $a $b }.