5

I find \leqslant command producing nicer output then \leq. For the ideal/normal subgroup symbol, however, one has \trianglelefteq (or \unlhd), but no slant version.

The mathabx package changes the \trianglelefteq itself, but also makes the triangle narrow, which doesn't make me happy.

Is there any other solution to this?

  • not a help, but to record the fact -- this variation wasn't among the symbols requested for the stix project, so it isn't recognized by unicode or in the stix fonts. if you can provide a pointer to its use in a published document, i'll be happy to submit it for consideration. presumably there is also a right-pointing version, and negated forms of both? my hunch is that, if unicode accepts it, it will ba as a "recognized variant", encoded as the base symbol followed by the math "variant selector", U+FE00. – barbara beeton Apr 7 '15 at 12:50
2

Here I stack a \rule atop the \leqslant in order to make \trianglelefteqslant, without the mathabx package. By using the scalerel package's features, it can be made to work across math styles.

\documentclass{article}
\usepackage{amssymb}
\usepackage{stackengine,scalerel}
\stackMath
\def\trianglelefteqslant{\ThisStyle{\mathrel{%
  \stackinset{r}{.75pt+.15\LMpt}{t}{.1\LMpt}{\rule{.3pt}{1.1\LMex+.2ex}}{\SavedStyle\leqslant}%
}}}
%\usepackage{mathabx}
\begin{document}
$x \leqslant y$\par
$x \trianglelefteqslant y$\par
$\scriptstyle x \trianglelefteqslant y$\par
$\scriptscriptstyle x \trianglelefteqslant y$
\end{document}

enter image description here

2

I'm not so sure this is better looking (but I dislike \leqslant as well).

Probably you'll think to a better name than \slunlhd. ;-)

\documentclass{article}
\usepackage{amssymb}

\makeatletter
\newcommand{\slunlhd}{%
  \mathrel{\mathpalette\sl@unlhd\relax}%
}

\newcommand{\sl@unlhd}[2]{%
  \sbox\z@{$#1\lhd$}%
  \sbox\tw@{$#1\leqslant$}%
  \dimen@=\ht\tw@
  \advance\dimen@-\ht\z@
  \ifx#1\displaystyle
    \advance\dimen@ .2pt
  \else
    \ifx#1\textstyle
      \advance\dimen@ .2pt
    \fi
  \fi
  \ooalign{\raisebox{\dimen@}{$\m@th#1\lhd$}\cr$\m@th#1\leqslant$\cr}%
}
\makeatother

\begin{document}
$N\slunlhd G_{\slunlhd}$

\Large
$N\slunlhd G_{\slunlhd}$

\end{document}

Basically, I superimpose \leqslant to \lhd (with a small correction in text and display styles).

enter image description here

1

The symbol you need is present in the package stmaryrd:

\documentclass{article}
\usepackage{stmaryrd}
\begin{document}
\(\trianglelefteqslant_{\trianglelefteqslant_{\trianglelefteqslant}}\)
\[\trianglelefteqslant_{\trianglelefteqslant_{\trianglelefteqslant}}\]
\end{document}

output

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.