5

Is \trianglelefteqslant from stmaryrd and the negated version of the symbol present in Unicode? I cannot find them, neither can shapecatcher.

Shape in different sizes: Shape in different sizes:

Related: How to get \trianglelefteq similar to \leqslant?, Another version of the command \triangleleft in amssymb

EDITED AGAIN: I took a look into the basic math block and the supplemental maths block, I searched for the occurrences of the words "triangle" and "slanted" in the Unicode Chart Databases 11.0.0 and 12.0.0, and, as of today, I found no matching characters. (It doesn't mean that such a character doesn't exist in Unicode, though.) How to use the command \trianglelefteqslant in (any)TeX is not my question and is considered off-topic. My best efforts in combining existing Unicode chars resulted in ⩽⃒ and ⩽⃓.

13
  • The closest things I could find are (U+2AA8) and (U+2AA9), which makes me suspicious about the existence of the Unicode for \trianglelefteqslant. Commented Oct 24, 2018 at 0:18
  • 1
    ⊴ (U+22B4) and ⊵ (U+22B5) are \trianglelefteq and \trianglerighteq.
    – Davislor
    Commented Feb 4, 2019 at 4:03
  • 1
    Unicode defines characters, not glyphs. Using a slanted bar is a stylistic choice and the symbols with horizontal and slanted bar are not distinct by meaning. If no font provides that shape, perhaps as stylistic variant, you're out of luck.
    – egreg
    Commented Feb 4, 2019 at 10:15
  • 1
    Scope-wise, this is borderline for us I suspect. I see the TeX link in that the symbol you want has TeX history, but 'is it in the Unicode standard' is not something that links to TeX-based knowledge. On the other hand, I'm not sure it's on-topic on another network site.
    – Joseph Wright
    Commented Feb 4, 2019 at 15:15
  • 1
    I don't know the significance but it appears that last century a number of symbols were considerd as available by composition thus 5X24 * R NOT, VERTICAL, LEFT TRIANGLE, EQUALS [composed: U+22B4 + U+20D2] whilst 5X25 * R NOT, VERTICAL, RIGHT TRIANGLE, EQUALS [composed: U+22B5 + U+20D2] I thus surmise that there are two glyphs that when combined would produce the symbols you desire (please don't flame the messenger, just correct my supposition :-)
    – user170109
    Commented Feb 4, 2019 at 17:07

2 Answers 2

3
+50

it's true that these symbols aren't in unicode.

the simplest answer for why this is so is probably that no one requested them at the time when the mass addition of math symbols was happening. if they were recognized, it would almost certainly be with "variant selector 1" (VS1). see the table on pp.28-29 of unicode technical report #25 (can be viewed on the unicode site).

as presenter of the stix symbols collection for addition to unicode (and co-author of tech report #25), i still have contacts within the unicode technical committee, and can suggest that additional symbols be recognized. the VS1 route is almost certainly the approach to be taken, since there is no difference in meaning (that i'm aware of) between the symbol with a horizontal equality stroke and a slanted stroke.

henri menke's identification of the desired symbol in the stmaryrd font is currently the best solution, but a unicode equivalent is certainly desirable (even though it will probably cause trouble for the mathml maintainers). i believe there are some other symbols in stmaryrd that are also in the same unfortunate limbo.

i'm currently in the process of retiring from the ams, and won't be able to do anything useful for a couple of weeks, but i intend to follow up. if there are other similar symbol instances that can be presented at the same time, please identify them in comments, and i will submit all of them together.

1
  • @user49915 May I ask why you would like those characters to appear in Unicode? Commented Feb 5, 2019 at 6:59
10

This operator would be in the Mathematical Operators block (or its supplemental block), but it's not there, so the answer is simply

no

Maybe there exists a font which has this symbol in the private use area, but that doesn't count as Unicode.


I guess the point whether these symbols are in Unicode is rather secondary, unless you want to enter the literal Unicode symbol (which unfortunately does not exist). The fact whether they are accessible in LaTeX when using a Unicode math font is more important. The symbols in question are defined by the stmaryrd package, which works in conjunction with Unicode math. It is probably a good idea to load stmaryrd before unicode-math, such that unicode-math can overwrite symbols from stmaryrd, which actually are in Unicode.

\documentclass{article}
\usepackage{stmaryrd}
\usepackage{unicode-math}
\begin{document}
$\trianglelefteqslant \ntrianglelefteqslant$
\end{document}

enter image description here

1
  • I have cleaned up comments here. These largely focussed on whether this answers the question and the resulting vote it deserves. Voting should be purely about whether the answer addresses the question. Up/down voting should be purely based on whether an answer does that.
    – Joseph Wright
    Commented Feb 4, 2019 at 7:52

You must log in to answer this question.