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.
Running
shows
So the 0s seem to get removed. As one would expect, when changing
01to0or leaving out the angle brackets the zeros are preserved.