From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 21 Jul 2008 19:05:42 +0000 (+0000)
Subject: frac is an infix operator!
X-Git-Tag: make_still_working~4900
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=82d3076f6f1a73fd905775cdda0f8293fd69fd6a;p=helm.git

frac is an infix operator!
---

diff --git a/helm/software/matita/core_notation.moo b/helm/software/matita/core_notation.moo
index b201a0555..1ea2f922b 100644
--- 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 }.