Nuprl Definition : dp-perp
(x ⊥ y) == d."P" x y
Definitions occuring in Statement :
record-select: r.x,
apply: f a,
token: "$token"
Definitions occuring in definition :
token: "$token",
record-select: r.x,
apply: f a
FDL editor aliases :
dp-perp
Latex:
(x \mbot{} y) == d."P" x y
Date html generated:
2018_05_21-PM-09_44_36
Last ObjectModification:
2018_05_09-AM-11_34_16
Theory : matrices
Home
Index