Database
ELEMENTARY GEOMETRY
Tarskian Geometry
Angle Comparisons
cleag
Next ⟩
df-inag
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cleag
Description:
Extend class relation with the "angle less than" relation.
Ref
Expression
Assertion
cleag
class
≤
𝒢
∠