plangeo2 http://www.openmath.org/cd http://www.openmath.org/cd/plangeo2.ocd 2006-06-01 experimental 2004-06-01 0 2 This CD defines symbols for planar Euclidean geometry. segment The segment of a line between two points of the line. The segment is contained in the affine part of the line. The symbol takes as arguments the two points. The segment AB: halfline The halfline starting at A and going through B. The symbol takes as arguments the points A and B. corner The corner between two halflines L and M, both starting at the same point. Given three points A, B and C, the corner A, B, C is the corner of the two halflines BA and BC. Corresponding to the two cases, the symbol can have as arguments two halflines or three points. or endpoint The endpoint of a halfline. The endpoint of a halfline H is given by endpoints The two endpoints of a segment. The set of the two endpoints of a segment S is given by