Note that I'm not really familiar enough with versioned symbols to know whether there is much more to it than just a specially formatted name.