这个由一条水平线和一条旋转的垂直线相交组成的符号是什么？

Question

我正在查看旧 PDF 文件中 W 和 X 之间的以下符号：

并想在文档的数学模式下使用它，但不知道它是哪个符号。它是标准数学符号吗？有没有类似它的符号推荐？

PDF文件在这里：http://dl.acm.org/citation.cfm?id=74833，尽管它不是开放获取的。论文标题是：“无扫描的 NSLR(1) 编程语言解析”

Answer 1

从未见过这样的符号，但你可以定义它；选择一个更好的名字。

\documentclass{article}
\usepackage{centernot}

\newcommand{\wrel}{% for ``weird relation''
  \centernot{\mathrel{-}\joinrel\mathrel{-}}%
}

\begin{document}
\[
W\wrel X
\]
\end{document}

笔记。我利用了 TeX 不会在连续的关系符号之间添加空格这一事实；这\joinrel是一个算作关系符号的小负空间。因此，我们得到了两个叠加的减号（就像对较长的箭头所做的那样）。\centernot我们将\not符号放在中间。

---

/使用而不是 的不同版本\not，因此也\backslash可以代替。

\documentclass{article}

\makeatletter
\newcommand{\centersymbol}[2]{%
  \mathrel{\vphantom{#1#2}\mathpalette\center@symbol{{#1}{#2}}}%
}
\newcommand{\center@symbol}[2]{%
  \center@@symbol{#1}#2%
}
\newcommand{\center@@symbol}[3]{%
  \ooalign{\hss$#1\m@th#2$\hss\cr\hss$#1\m@th#3$\hss\cr}%
}
\makeatother

\newcommand{\wrel}{\centersymbol{/}{\mathrel{-}\joinrel\mathrel{-}}}
\newcommand{\lerw}{\centersymbol{\backslash}{\mathrel{-}\joinrel\mathrel{-}}}


\begin{document}
\[
W\wrel X \lerw Y
\]
\end{document}

Answer 2

该包MnSymbol定义\nleftrightline看起来类似：

\documentclass{standalone}
\usepackage{MnSymbol}
\begin{document}
  $W \nleftrightline X$
\end{document}