From 82d3076f6f1a73fd905775cdda0f8293fd69fd6a Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 21 Jul 2008 19:05:42 +0000 Subject: [PATCH] frac is an infix operator! --- helm/software/matita/core_notation.moo | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 }. -- 2.39.2