Nuprl Definition : pm_equal
i = ± j == (i = j ∈ ℤ) ∨ (i = (-j) ∈ ℤ)
Definitions occuring in Statement :
or: P ∨ Q,
minus: -n,
int: ℤ,
equal: s = t ∈ T
Definitions occuring in definition :
or: P ∨ Q,
equal: s = t ∈ T,
int: ℤ,
minus: -n
FDL editor aliases :
pm_equal
Latex:
i = \mpm{} j == (i = j) \mvee{} (i = (-j))
Date html generated:
2016_05_14-AM-07_20_55
Last ObjectModification:
2015_09_22-PM-05_46_14
Theory : int_2
Home
Index