6

Is there a standard TeX or LaTeX code for a symbol that bears the same relation to \prec\prec that \ll bears to << ?

(And how do I get TeX code to get rendered in a question posted here? I'm accustomed to writing things like $\sum_{n=0}^\infty \frac{x^n}{n!}$ on math.stackexchange.com and having it look the way you'd expect it to.)

Herr K.
  • 17,946
  • 4
  • 61
  • 118
  • 2
    We don't use MathJax here, because we're interested in TeX code, not in an approximate representation of the result. – egreg Dec 08 '13 at 20:39
  • 1
    the "doubled" \prec is in unicode at Ux2ABB and should tus be in the stix and xits fonts. whether you will find the visual appearance pleasing isn't assured though; this one's a tough cookie. – barbara beeton Dec 08 '13 at 22:57
  • The shape given in this answer is much nicer than what's shown in the answers here, although a better name would be \Prec. – barbara beeton Apr 28 '23 at 01:50

2 Answers2

9

You can easily build it:

\documentclass{article}
\newcommand{\precprec}{\prec\mathrel{\mkern-5mu}\prec}

\begin{document}
$a\precprec b$
\end{document}

enter image description here

Here's what you get with -6mu and -7mu respectively, take your pick.

enter image description here

egreg
  • 1,121,712
4

Not sure if this is what you want.

\newcommand\pprec{\prec\mkern-5mu\prec}

Then

$\pprec$

produces

enter image description here

A.Ellett
  • 50,533
  • Better than nothing, but I think I'd rather have two non-contiguous parts, as happens with \ll. – Michael Hardy Dec 08 '13 at 21:09
  • So just changing -8 to about -5 would make them non-contiguous. – Michael Hardy Dec 08 '13 at 21:11
  • I wonder if it would be better to make the shape of the one on the right a bit different from that of the one on the left, so that it doesn't get so close at the leftmost point but gets closer than it now does at other points. – Michael Hardy Jul 14 '17 at 18:48