]> matita.cs.unibo.it Git - helm.git/commitdiff
frac is an infix operator!
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 21 Jul 2008 19:05:42 +0000 (19:05 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 21 Jul 2008 19:05:42 +0000 (19:05 +0000)
helm/software/matita/core_notation.moo

index b201a0555125bb15c2fa634433e74a64bfa3fe44..1ea2f922bc55211f29c03acc9533d9f3257ca0b8 100644 (file)
@@ -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 }.