
Key: OCL23132

Legacy Issue Number: 16291

Status: closed

Source: CumuloCogitus Inc. ( Dominic Roy)

Summary:
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=227AI'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.

Reported: OCL 2.3 — Sat, 28 May 2011 04:00 GMT

Disposition: Resolved — OCL 2.3.1

Disposition Summary:
The current operator has not been significantly changed by the Latex to FrameMaker conversion and so corresponds to an informed academic choice.
The requested change is lessinformed and subjective.
Disposition: Closed, no change 
Updated: Fri, 6 Mar 2015 20:58 GMT
OCL231 — Confusing usage of the "precedes" symbol for generalization hierarchy
 Key: OCL23132
 OMG Task Force: OCL 2.4 RTF