Unable to make symbol similar to bowtie or lrtimes

Question

I wish to write something like this in latex:

I tried using \lrtimes and also \bowtie, but none is able to give me the correct output. Also, i had problems getting that {task1} below the symbol. For this, i tried using $\bowtie_\{task_1\}$, but it didnt give me the required output. Any help would be appreciated.

Answer 1

Here is a possibility:

\documentclass{article}
\usepackage{amsmath}% http://ctan.org/pkg/amsmath
\newcommand{\newbowtie}{\mathrel{\ooalign{$\triangleright$\,\cr\,$\triangleleft$}}}
\begin{document}
\[
  (\text{Resource}_0 \mathbin{||} \text{Resource}_0)
  \underset{\{\text{task 1}\}}{\bowtie}
  (\text{Processor}_0 \mathbin{||} \text{Processor}_0)
\]

\[
  (\text{Resource}_0 \mathbin{||} \text{Resource}_0)
  \underset{\{\text{task 1}\}}{\newbowtie}
  (\text{Processor}_0 \mathbin{||} \text{Processor}_0)
\]
\end{document}

The above symbol creation uses \ooalign which overlays elements on top of one another. For a quick course in \ooalign, see \subseteq + \circ as a single symbol (“open subset”).

Answer 2

You could try defining a new command

\documentclass{article}
\usepackage{amsmath,amssymb}
\newcommand{\mytie}{\mathrel{\rhd\mspace{-10mu}\lhd}}
\begin{document}

$A \mytie B$

$A \underset{\text{task}}{\mytie} B$

\end{document}

I've changed the definition from what I first posted because when I tried stacking the relation, the arrows didn't match up as desired.

Answer 3

You can further scale up/down for your taste. But please consider making words not to be typeset with mathstyle. It's unnecessary difficulty for the reader.

\documentclass{article}
\usepackage{amsmath,amssymb}

\newcommand{\mytie}[1]{
\mathop{\vartriangleright\!\!\!\vartriangleleft}\limits_{#1}
}
\begin{document}
\[
(\text{Resource}_0 \| \text{Resource}_0) \mytie{\{\text{\emph{task }}1\} }(\text{Processor}_0 \| \text{Processor}_0 )
\]
\end{document}