[Tex/LaTex] Output a relational symbol on LaTeX (precedes under relation, ⊰)

relation-symbols

I'm trying to output this character on LaTeX: ⊰ (click here if you can't see it)

The more I search and read the more confused I am. At this point I am clueless.

Supposedly the command is \prurel, but I found no package related to that macro. The \mathrel command is related, but I don't know how, I didn't find a package for that macro either. \UnicodeMathSymbol{"022B0} is related somehow, I couldn't figure which way yet. unicode-math.tex is related to all these things, but I could not find that file in my installation.

I simply hope it is possible to add this without collateral damages (for instance converting all the other symbols to unicode or anything like that).

Best Answer

I'm not an expert at this subject, but after some experimentation and detective work, I've found the following:

  • Your guesses about \UnicodeMathSymbol{"022B0}, \prurel and \mathrel seems to be based on the content of the file [...]texmf-dist/tex/latex/unicode-math/unicode-math-table.tex, which contains the following line:

    \UnicodeMathSymbol{"022B0}{\prurel}{\mathrel}{element precedes under relation}%

  • That file is part of the package unicode-math.

  • According with the documentation of that package:

    A simple beginning is:

    \usepackage{unicode-math}
\setmathfont{xits-math.otf}

So I tried the following MWE:

\documentclass{article}
\usepackage{unicode-math}
\setmathfont{xits-math.otf}
\begin{document}
$a\prurel b$, $c ⊰ d$
\end{document}

which had to be compiled with xelatex or lualatex (because it uses .otf fonts, only supported with those engines), and produced:

Result

The conclusion is then that the macro in question (\prurel) is simply a way to get the symbol from an appropiate math font which contains it, which in this case is xits-math.otf (but the documentation of unicode-math lists other compatible fonts), and it will not work if you don't have an appropiate font.

In addition, since apparently that symbol is implemented only in otf fonts, you would require xelatex or luatex to compile your document. I don't know if this qualifies as "collateral damages" :-)

Related Question