Hi list,
I have defined a custom infix operator with
infix("=<=",81,81);
it is some sort of equation operator.
But I cannot match expressions like a =<= b:
the following always returns false.
matchdeclare(rhs,any,lhs,any)$
defmatch(my_match,lhs=<=rhs)$
my_match(a=<=b);
TIA