Issue 12493: Section: A.3.2.2 Syntax and Semantics of Postconditions (ocl2-rtf) Source: (, ) Nature: Revision Severity: Minor Summary: In the paragraph before Definition A.32 you will find, "An environment p = (s, ß is a pair ...." The closing paren. after ß is missing Resolution: Revised Text: see pages 208 - 210 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. The parenthesis problem reported here is just one of the problems that are in this section. End of Annotations:===== m: webmaster@omg.org Date: 15 May 2008 15:24:11 -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.3.2.2 Syntax and Semantics of Postconditions FormalNumber: n/a Version: 2.0 RevisionDate: 1 May 2006 Page: 210 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 In the paragraph before Definition A.32 you will find, "An environment . = (., . is a pair ...." The closing paren. after . is missing.