How to draw "separating implication" symbol in Separation Logic

Question

I want to draw a "separating implication" symbol by using Latex.

This is an operator in Separation Logic and it looks like below:

enter image description here

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.

Welcome to TeX.SX! Usually, we don't put a greeting or a “thank you” in our posts. While this might seem strange at first, it is not a sign of lack of politeness, but rather part of our trying to keep everything very concise. Accepting and upvoting answers is the preferred way here to say “thank you” to users who helped you. — Henri Menke, Jan 15 '15 at 08:02

score 10 · Answer 1 · answered Jan 15 '15 at 08:00

10

Is this okay?

\documentclass{article}
\newcommand\sepimp{\mathrel{-\mkern-6mu*}}
\begin{document}
$P\sepimp Q$
$\scriptstyle P\sepimp Q$
$\scriptscriptstyle P\sepimp Q$
\end{document}

enter image description here

answered Jan 15 '15 at 08:00

Henri Menke

109,596

1

I would use \mathbin here as this seems to be a binary operator. – LaRiFaRi Jan 15 '15 at 08:11
Do you mind explaining what \mathrel does? What's the difference between our answers, and why does yours look/work better? – Ryan Jan 15 '15 at 08:22
@Ryan \mathrel makes the enclosed symbol to behave like a relation when it comes to inserting math glue. \mathbin does the same but makes to argument a binary operator. See also http://tex.stackexchange.com/a/38984/10995 – Henri Menke Jan 15 '15 at 09:13
@LaRiFaRi: The ordinary implication symbol \to is also a \mathrel, so this makes the spacing consistent. – Emil Jeřábek Jan 15 '15 at 14:31

Ryan · Answer 2 · 2015-01-15T08:25:43.247

3

Quick text version:

\documentclass{article}

\newcommand{\sep}{--\kern-.25em\raisebox{-.62ex}{*}\ }

\begin{document}
    P \sep Q
\end{document

Math mode version:

\newcommand{\sep}{-\kern-.6em\raisebox{-.659ex}{*}\ }

edited Jan 15 '15 at 08:25

answered Jan 15 '15 at 08:04

Ryan

2,914

I think it is meant to be a math operator. – Henri Menke Jan 15 '15 at 08:13
@HenriMenke Yep, just realized that, and edited. – Ryan Jan 15 '15 at 08:17

How to draw "separating implication" symbol in Separation Logic

2 Answers2

Quick text version:

Math mode version: