如何创建带有双线的自定义否定符号

Question

我正在尝试创建一个带有两条上线的否定符号，就像我在一篇论文中找到的这个例子（用于比较的常规否定）：

Detexify 不认识这个符号，我甚至查看了综合符号列表，但什么也没找到。任何关于如何查找/创建此符号的帮助都将不胜感激！

Answer 1

您可以叠加\neg到其剪辑（和降低）版本。

\documentclass{article}
\usepackage{trimclip}

\makeatletter
\newcommand{\dneg}{\mathord{\vphantom{\neg}\mathpalette\dneg@\relax}}
\newcommand{\dneg@}[2]{%
  \ooalign{%
    $\m@th#1\neg$\cr
    \raisebox{0.8\height}{\clipbox{0pt {0.6\height} 0pt 0pt}{$\m@th#1\neg$}}\cr
  }%
}
\makeatother

\begin{document}

$\neg\varphi$ $\dneg\varphi$

$\dneg\varphi\scriptstyle\dneg\varphi\scriptscriptstyle\dneg\varphi$

\Large
$\dneg\varphi\scriptstyle\dneg\varphi\scriptscriptstyle\dneg\varphi$

\end{document}

Answer 2

\documentclass{article}
\usepackage{amsmath}
\makeatletter
% based on https://tex.stackexchange.com/a/110981
\providecommand*{\dneg}{%
  \mathord{%
    \mathpalette\@dneg{}%
  }%
}
\newcommand*{\@dneg}[2]{%
  \ooalign{%
    $\m@th#1\neg$\cr
    \sbox0{$#1\neg$}%
    \dimen@=0.4\ht0%
    \hidewidth\raise\dimen@\box0\hidewidth
  }%
}
\makeatother
\begin{document}
\parindent0pt
$\neg$ $\dneg$\par
\bigskip
{\large $\neg$ $\dneg$}\par
\bigskip
{\Huge $\neg$ $\dneg$}\par
\end{document}

编辑：改为\mathord，参见Bernard的评论。

Answer 3

我只是想补充一下我的建议。

\documentclass[a4paper,12pt]{article}
\usepackage{amsmath,amssymb,stmaryrd}
\usepackage{graphicx}

\newcommand{\rrc}{\mathrel{\rotatebox{90}{$\rrfloor$}}}
\newcommand{\rfl}{\mathrel{\rotatebox{90}{$\rfloor$}}}
\begin{document}
$\rrc\varphi$; $\rfl \varphi$.
\end{document}