Rendering of ... is strange

Description

When datavalues contain three dots then these are rendered quite strangely in the State or Events view (see screenshot). It seems that the first two dots are replaced by a unicode symbol and the third one not.

Example machine:
machine SetMinusScalingSmaller

variables s2 s1

invariants
@inv1 s2 ∈ ℙ(ℤ)
@inv2 s1 ∈ ℙ(ℤ)

events
event INITIALISATION
then
@act1 s2 ≔ {x∣x∈1‥20000 ∧ x mod 3 =0}
@act2 s1 ≔ {y∣y∈10000‥20000 ∧ y mod 2 = 0}
end

event SetMinus
then
@act1 s1 ≔ s1 ∖ s2
end
end

Environment

None

Attachments

1

Gliffy Diagrams

Activity

Show:

Details

Assignee

Reporter

Priority

Created June 23, 2015 at 12:37 PM
Updated June 23, 2015 at 12:37 PM