Issue 12486: Section: A.2.7 Type Hierarchy (ocl2-rtf) Source: (, ) Nature: Revision Severity: Minor Summary: The first two sentences of Definition A.27 (Type Hierarchy) seem to have errors in them. The relation "less than or equal" seems to be represented by an underscore in the first sentence. In the second sentence 2 is used where the "is an element of" symbol was intended, 0 is used where a prime mark is intended, and c simply follows t and t0 (t prime) rather than being a subscript as intended. Resolution: Replace the text of Section A.2.7 Type Hierarchy by the following text: Revised Text: see pages 198 - 199 of ptc/2009-05-04 Actions taken: May 15, 2008: received issue October 16, 2009: closed issue Discussion: Problems were due to a semi-automatic Latex to Framemaker conversion. Mathematical symbols were often badly converted. The correct text is in the original from annex A of ptc/03-10-14. . End of Annotations:===== m: webmaster@omg.org Date: 15 May 2008 08:40:04 -0400 To: Subject: Issue/Bug Report -------------------------------------------------------------------------------- Name: Garr Lystad Company: Net.Orange (i.e. Net Dot Orange) mailFrom: glystad@ndorange.com Notification: Yes Specification: Object Constraint Language Section: A.2.7 Type Hierarchy FormalNumber: n/a Version: 2.0 RevisionDate: 1 May 2006 Page: 200 Nature: Revision Severity: Minor HTTP User Agent: Mozilla/5.0 (Windows; U; Windows NT 6.0; en-US; rv:1.8.1.14) Gecko/20080404 Firefox/2.0.0.14 Description The first two sentences of Definition A.27 (Type Hierarchy) seem to have errors in them. The relation "less than or equal" seems to be represented by an underscore in the first sentence. In the second sentence 2 is used where the "is an element of" symbol was intended, 0 is used where a prime mark is intended, and c simply follows t and t0 (t prime) rather than being a subscript as intended.