Nuprl Definition : ss-eq

x ≡ y ==  ¬x # y


Definitions occuring in Statement :  ss-sep: x # y,  not: ¬A
Definitions occuring in definition :  ss-sep: x # y,  not: ¬A
FDL editor aliases :  ss-eq
Latex:
x  \mequiv{}  y  ==    \mneg{}x  \#  y


Date html generated: 2016_11_08-AM-09_10_57
Last ObjectModification: 2016_10_31-AM-11_05_21

Theory : inner!product!spaces


Home Index