Triple dot operator removes 0s #839

Running

on names;
s <x01a1>,...,<x01a3>;
.end

shows

 Symbols
 x1a1 x1a2 x1a3

So the 0s seem to get removed. As one would expect, when changing 01 to 0 or leaving out the angle brackets the zeros are preserved.