Nuprl Definition : geo-perp
ab ⊥ cd == ∃x:Point. ab ⊥x cd
Definitions occuring in Statement :
geo-perp-in: ab ⊥x cd,
geo-point: Point,
exists: ∃x:A. B[x]
Definitions occuring in definition :
exists: ∃x:A. B[x],
geo-point: Point,
geo-perp-in: ab ⊥x cd
FDL editor aliases :
geo-perp
geo-perp
Latex:
ab \mbot{} cd == \mexists{}x:Point. ab \mbot{}x cd
Date html generated:
2017_10_02-PM-06_42_46
Last ObjectModification:
2017_08_05-PM-04_48_50
Theory : euclidean!plane!geometry
Home
Index