Issue 16306: The t should be subscripted next to the equal sign (ocl2-rtf)
Source:  (, )
Nature: Revision
Severity: Significant
Summary: At the top of the page, there is a formula to define the equal operator. The formula begins with I(=t). That t should be subscripted as we see in the sentence that precedes the formula.
Resolution: The original report against OCL 2.3 A.2.2 has migrated to A.4.2 in OCL 2.3.1.
Revised Text: Restore Annex A sectioning to that in OCL 2.3.
In A.4.2, reverting to A2.2 replace
I(=t)
by the same with 't' as a subscript.
Actions taken:
June 1, 2011: received issue
December 23, 2013: closed issue
Discussion: 

End of Annotations:=====

m: webmaster@omg.org
Date: 01 Jun 2011 17:07:33 -0400
To: <issues@omg.org>
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.2.2 
FormalNumber:    ptc/2010-11-42
Version:         2.3
Doc_Year:        2010
Doc_Month:       December
Doc_Day:         Day
Page:            214
Title:           The t should be subscripted next to the equal sign
Nature:          Revision
Severity:        Significant
CODE:            3TMw8
B1:              Report Issue


Description:

At the top of the page, there is a formula to define the equal operator. The formula begins with I(=t). That t should be subscripted as we see in the sentence that precedes the formula.