真理想的符号（\unlhd + \lneq）

Question

我怎样才能写出符号

为了一个正确的理想？

标准关系\leq,\subseteq都有一个“适当”的版本\lneq,\subsetneq，但我无法找到或\unlhd的“适当”版本\trianglelefteq。

有什么建议么？

Answer 1

您可以通过叠加符号来实现：

\documentclass[a4paper]{article}
\usepackage{amssymb}

\newcommand{\properideal}{%
  \mathrel{\ooalign{$\lneq$\cr\raise.22ex\hbox{$\lhd$}\cr}}}

\begin{document}
$I\properideal A$
\end{document}

下标/上标大小发生变化的版本；在低屏幕分辨率下可能会出现一些瑕疵。

\documentclass[a4paper]{article}
\usepackage{amsmath}
\usepackage{amssymb}

\makeatletter
\DeclareRobustCommand{\properideal}{\mathrel{\text{$\m@th\proper@ideal$}}}
\newcommand{\proper@ideal}{%
  \ooalign{$\lneq$\cr\raise.22ex\hbox{$\lhd$}\cr}%
}
\makeatother
\begin{document}
$I\properideal A_{\properideal_{\properideal}}$
\end{document}