I want to draw a "separating implication" symbol by using Latex.
This is an operator in Separation Logic and it looks like below:
It should be a minus symbol (-
) combining with an asterisk (*
), but how to remove completely space between them?
I try \mathrel{{-}{*}}
but it does not work.