[Tex/LaTex] How to draw “separating implication” symbol in Separation Logic

symbols

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.

Best Answer

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

Related Solutions

[Tex/LaTex] How to get monospace logic formulas

This is no problem with XeTeX if you load a font that contains these characters:

\documentclass{minimal}

\usepackage{fontspec}

\setmainfont{DejaVu Serif}
\setsansfont{DejaVu Sans}
\setmonofont{DejaVu Sans Mono}

\begin{document}

\texttt{∀x(∃y((f(x)=y)∧(¬(g(y)=y))))}

If $\phi$ is a formula of first-order logic and $x$ is a variable, then
\texttt{∀$x$($\phi$)} is again a formula of first-order logic.

\end{document}

Note: Never load the inputenc package when compiling with XeTeX.

Results using DejaVu Sans Mono:
Results using FreeMono:

[Tex/LaTex] (Semantically) correct string concatenation symbol

Define \conc at the start to be whatever symbol you want to use. Then you can redefine it if you need to, because you're being semantically appropriate. That has the additional advantage that you can globally set the symbol type (ie if you want it to behave as an operator or relation) or manually change the kerning.

Best Answer

Related Solutions

[Tex/LaTex] How to get monospace logic formulas

[Tex/LaTex] (Semantically) correct string concatenation symbol

Related Question