无法制作类似于 bowtie 或 lrtimes 的符号

Question

我希望用乳胶写类似这样的内容：

我尝试使用\lrtimes和\bowtie，但都无法给出正确的输出。此外，我无法{task1}在符号下方得到 。为此，我尝试使用$\bowtie_\{task_1\}$，但它没有给出所需的输出。任何帮助都将不胜感激。

Answer 1

有以下可能性：

\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}

上述符号创建使用\ooalign将元素叠加在一起。有关 的快速课程\ooalign，请参阅\subseteq+\circ作为单个符号（“开子集”）。

Answer 2

您可以尝试定义一个新命令

\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}

我改变了最初发布的定义，因为当我尝试堆叠关系时，箭头并不按预期匹配。

Answer 3

您可以根据自己的喜好进一步放大/缩小。但请考虑不要使用 mathstyle 排版单词。这会给读者带来不必要的困难。

\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}