RE: Proposed revision to Level 1 comparisons
I like this very much.
By the way, there is LaTeX symbol for precedes \prec it produces exactly what you want, without giving the impression of reflexivity
-----Original Message-----
From: stds-1788@xxxxxxxx [mailto:stds-1788@xxxxxxxx] On Behalf Of John Pryce
Sent: Saturday, April 07, 2012 2:24 PM
To: stds-1788
Subject: Proposed revision to Level 1 comparisons
P1788, and Baker
- I also don't like the symbol for "precedes" (formerly "precedesEqual")
because the line beneath suggests it's reflexive; but have not found
an alternative that I like.