Question: Customization of Binary Operations

Hello, I have attached an image that shows an example of what i want to do, but wanted to see if there was already conventional notation and a package that exists in maple. 

 

In general, i want to customize binary operations and assign index values, in the example here those index values are the modulo for the equivalence classes for which the binary operator may have elements of as operands, but in another example would be to say assign in to  "~"  in reference to it being the equivalence relation for a congruence class modulo that index.

 

Thanks in advance, 

Adam.

Please Wait...