Nuprl Definition : rneq
x ≠ y == (x < y) ∨ (y < x)
Definitions occuring in Statement :
rless: x < y,
or: P ∨ Q
Definitions occuring in definition :
or: P ∨ Q,
rless: x < y
FDL editor aliases :
rneq
rneq
Latex:
x \mneq{} y == (x < y) \mvee{} (y < x)
Date html generated:
2016_05_18-AM-07_10_19
Last ObjectModification:
2015_09_23-AM-09_01_30
Theory : reals
Home
Index