Open stefan11 opened 3 years ago
Felix: \unskip was missing: \newcommand{\ominusAVM}{\unskip\hbox{${}\ominus{}$}\ignorespaces}
This is better now, but there is still more space after the command than after -. I guess this is due to the fact that 2 is below "l" and the box does not count for layout.
In udc.tex $\cup$ produces:
and \capAVM produces:
Both spacings are different and non correct.
I defined
But this adds space before \ominus and it looks different from what the built-in + does.
Would it be possible to get similar operators like \shuffle and + for use in AVMs?