Issue 16291: Confusing usage of the "precedes" symbol for generalization hierarchy (ocl2-rtf) Source: (, ) Nature: Clarification Severity: Significant Summary: The symbol &#8826; is used in this page. According to Unicode definition, this symbol represents a mathematical symbol whose definition is "precedes". Here is the reference of that definition : http://unicode.org/cldr/utility/character.jsp?a=227A I'm not a mathematician and I don't know precisely what this symbol means for mathematicians, even if I searched in many books and on the Internet. However, I find very confusing to use a symbol that means "precedes" to means "is the child of". There is another symbol &#8827; which means 'succeeds' that would be less confusing in the sense of "C1 succeeds C2" to means that C1 is the child of C2. As I'm not mathematician, I may be completely wrong and I would greatly appreciate a sound reference where this symbol is defined formally. Resolution: Revised Text: Actions taken: May 28, 2011: received issue Discussion: End of Annotations:===== m: webmaster@omg.org Date: 28 May 2011 15:38:05 -0400 To: Subject: Issue/Bug Report ******************************************************************************* Name: Dominic Roy Employer: CumuloCogitus Inc. mailFrom: roy.dominic@sympatico.ca Terms_Agreement: I agree Specification: Object Constraint Language (OCL) Section: A.1.1.6 FormalNumber: ptc/2010-11-42 Version: 2.3 Doc_Year: 2010 Doc_Month: December Doc_Day: 01 Page: 205 Title: Confusing usage of the "precedes" symbol for generalization hierarchy Nature: Clarification Severity: Significant CODE: 3TMw8 B1: Report Issue Description: The symbol ≺ is used in this page. According to Unicode definition, this symbol represents a mathematical symbol whose definition is "precedes". Here is the reference of that definition : http://unicode.org/cldr/utility/character.jsp?a=227A I'm not a mathematician and I don't know precisely what this symbol means for mathematicians, even if I searched in many books and on the Internet. However, I find very confusing to use a symbol that means "precedes" to means "is the child of". There is another symbol ≻ which means 'succeeds' that would be less confusing in the sense of "C1 succeeds C2" to means that C1 is the child of C2. X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArIFAM2e5k3Unw4R/2dsb2JhbABNBoJSonNqd8gqgzGCbwSCN5Jhimk Date: Wed, 01 Jun 2011 21:25:02 +0100 From: Ed Willink User-Agent: Mozilla/5.0 (Windows; U; Windows NT 6.0; en-GB; rv:1.9.2.13) Gecko/20101207 Thunderbird/3.1.7 To: roy.dominic@sympatico.ca, "ocl2-rtf@omg.org" Subject: Re: issue 16291 -- OCL 2 RTF issue Hi 8827 is a Han Script ideograph. Appendix A was written by academics with strong type theory credentials, so I would hesitate to question the text here. However parts of Appendix A have suffered during a Latex to FrameMaker conversion, so there are errors but not in this case. The 'precedes' is a sub-type/super-type relationship on a type-lattice. See for instance the equivalent <: in http://en.wikipedia.org/wiki/Subtype_polymorphism. Regards Ed Willink On 01/06/2011 21:03, Juergen Boldt wrote: From: webmaster@omg.org Date: 28 May 2011 15:38:05 -0400 To: Subject: Issue/Bug Report ******************************************************************************* Name: Dominic Roy Employer: CumuloCogitus Inc. mailFrom: roy.dominic@sympatico.ca Terms_Agreement: I agree Specification: Object Constraint Language (OCL) Section: A.1.1.6 FormalNumber: ptc/2010-11-42 Version: 2.3 Doc_Year: 2010 Doc_Month: December Doc_Day: 01 Page: 205 Title: Confusing usage of the "precedes" symbol for generalization hierarchy Nature: Clarification Severity: Significant CODE: 3TMw8 B1: Report Issue Description: The symbol ≺ is used in this page. According to Unicode definition, this symbol represents a mathematical symbol whose definition is "precedes". Here is the reference of that definition : http://unicode.org/cldr/utility/character.jsp?a=227A I'm not a mathematician and I don't know precisely what this symbol means for mathematicians, even if I searched in many books and on the Internet. However, I find very confusing to use a symbol that means "precedes" to means "is the child of". There is another symbol ≻ which means 'succeeds' that would be less confusing in the sense of "C1 succeeds C2" to means that C1 is the child of C2. As I'm not mathematician, I may be completely wrong and I would greatly appreciate a sound reference where this symbol is defined formally. Juergen Boldt Director, Member Services 140 Kendrick Street, Building A Suite 300 Needham, MA 02494 USA Tel: 781 444 0404 x 132 fax: 781 444 0320 www.omg.org -------------------------------------------------------------------------------- No virus found in this message. Checked by AVG - www.avg.com Version: 10.0.1375 / Virus Database: 1511/3673 - Release Date: 06/01/11 As I'm not mathematician, I may be completely wrong and I would greatly appreciate a sound reference where this symbol is defined formally.