# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorDavidRoberts
• CommentTimeMay 24th 2010

At well-order, the third para of the section ’Definition’, the first line is missing the symbol \preceq (in Firefox), as is the first line of the 4th para. Not sure what it is mean to be, but it is discussed in contrast with $\prec$.

• CommentRowNumber2.
• CommentAuthorTobyBartels
• CommentTimeMay 26th 2010

The symbol is defined in the second paragraph of that section. It should be \prec with an equals sign under it, to mean (roughly) ’precedes or equals’.

I can see it on Firefox 3.6 on Windows 7, using the default fonts. (And I’m sure that I’ve seen it in the past on Firefox 3.0 running under Gnome on Ubuntu 8, both using the default fonts and Deja Vu fonts.)

And here it is on the Forum:

$\preceq$
• CommentRowNumber3.
• CommentAuthorDavidRoberts
• CommentTimeMay 26th 2010

Thanks, Toby. It’s missing in that I can’t see it in Firefox 3.0.11 on the system at work (which is far from optimal).It’s not here in the forum either, but it’s not the end of the world. :)