summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
98e786e)
+ minor bug fixed in a notation
(* GROUND NOTATION **********************************************************)
(* GROUND NOTATION **********************************************************)
-notation < "hvbox( f1 ≐ break term 46 f2 )"
+notation < "hvbox( term 46 f1 ≐ break term 46 f2 )"
non associative with precedence 45
for @{ 'DotEq $A $B $f1 $f2 }.
non associative with precedence 45
for @{ 'DotEq $A $B $f1 $f2 }.