Nuprl Definition : dontcare
(don't care) == ⋅
Definitions occuring in Statement :
it: ⋅
Definitions occuring in definition :
it: ⋅
FDL editor aliases :
dontcare
Latex:
(don't care) == \mcdot{}
Date html generated:
2016_05_15-PM-05_30_33
Last ObjectModification:
2015_09_23-AM-07_54_56
Theory : general
Home
Index