Next commit, you can write:
x not < y
and
\( x \not\less y \)
Both not and \not mean the same, however not is printed "not" as written,
whereas \not IN MATH MODE ONLY will cause the following TeX operator
to be negated by strikeout.
We need this because whilst TeX defines
\nsubseteq
it does not define \nsubset. You have to write \not\subset.
Note \not\subseteq will work as well, however, the special
form \nsubseteq is provided to make the struck out symbol
more beautiful.
Do not confuse \not with \lnot. The latter is boolean negation operator,
it applies to expressions, and it has looks like logic not symbol,
this has a different precedence than "not" applied to an expression.
Do not write \not expr, it will neither work, nor typeset correctly.
use \not to cancel comparison operators.
--
john skaller
skal...@users.sourceforge.net
http://felix-lang.org
------------------------------------------------------------------------------
Dive into the World of Parallel Programming The Go Parallel Website, sponsored
by Intel and developed in partnership with Slashdot Media, is your hub for all
things parallel software development, from weekly thought leadership blogs to
news, videos, case studies, tutorials and more. Take a look and join the
conversation now. http://goparallel.sourceforge.net/
_______________________________________________
Felix-language mailing list
Felix-language@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/felix-language
