4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maederops __<__ : a*a->b; a : b -> c
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maederop a :? b %(opbla)% %(a)% %(b)%
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maederop a:?b%(op bla)%%(a)% %(b)%
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maederop __<__:a*a->b
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maederop a:b , assoc, comm, idem, assoc, unit 1, unit -, assoc
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maederop a(a:b;a:b; a,b:c):? b = e
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maederops a,bc,d, e:a->?b, assoc,idem, comm