I am trying to define several custom operators with custom precedence to implement geometric algebra. Loading the notation package
I can define custom infix operators, e.g.
but they will inherit the precedence of [Wedge]. Next I tried to define
which does the job for output, but I can not find a way whatsoever to enter this operator by keyboard (e.g. as an alias). When I try to convert the tag box to an expression it will just apply the tag to first argument... Is there any other box (besides InterpretationBox) that accepts the SyntaxForm option and does what I want?
By the way,
- SyntaxForm seems to depend very much on the argument that you write next to the "example operator", even when it looks like the operator is usually a binary/infix operator.
- The function Infix (not to be confused with InfixNotation) seems not to be able to deal correctly with the precedence option.
- (slightly out of context) it seems to me the function Symbolize shows a different behaviour than it is shown in the documentation.
is it correct to assume that the Notation package is not yet very mature?
Thanks a lot, Hendrik
Edit: Is it viable to use "non-infix" operators instead, then "parse" (convert) the input to an "infix" form like exteriorProd[a,b,c,d] and deal with displaying it in an infix way in a separate effort?