Rendering of ... is strange

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