# What does this “double less than or equals to” sign mean?

I found this in a Computer Science pseudocode context (see page 4 of this paper).

-

It means exactly the same as $\le$.

-
Is there any particular reason for using this sign instead of $\le$ ? –  8128 Jan 11 '12 at 11:34
It might just be the author's preference, or the journal's convention, or just because it's an old paper and there were typographical restrictions. If you start reading even older stuff with maths in it, you'll be surprised what kooky notation and language they use (at least, it's considered kooky now). –  Clive Newstead Jan 11 '12 at 11:40
@Doug: It's likely that the latter evolved from the former; the meaning of $\leqq$ and $\le$ is the same, but convention has it that $\le$ is now the most commonly used. This is probably because there's no distinction that really needs to be made. This is in contrast to, say, $\simeq$ and $\cong$ in topology, which do mean different things (respectively, homotopy equivalence and homeomorphism). –  Clive Newstead Jan 11 '12 at 12:02
${\lower 1pt\lt}\atop\raise 1pt =$ apparently came first. jeff560.tripod.com/relation.html . I could not find any information on when the modern symbol "$\le$" was first used. –  David Mitra Jan 11 '12 at 12:16
In short, $\leqq=\leq$. –  Tsuyoshi Ito Jan 11 '12 at 12:44

It is the same old $\le$ symbol.

Mathematical notation is far from set in stone or standardised, as might appear to a beginner. Here's a sample of the variations in the inequality signs (taken from symbols-a4.pdf):

Of course, most of this is not commonly used; my guess is that they have been included only for historical purposes and for completeness.

-

In the given context, it means “less than or equal to,” just as “≤” means. However, it is coded as a separate character (not just a glyph variant), so it could be used for some other meaning. A symbol means whatever people make it mean.

Historically, it is a glyph variant, and it has been encoded as a character primarily for compatibility reasons, see Unicode Standard, pages 491–492.

According to the ISO 80000-2 standard, the character to be used is “≤” (U+2264).

-