Glad to be of help!
That sounds like a good idea to me. Symbols can be useful for this, and very clear to the eye. We have no shortage of them these days, with Unicode fonts and Emoji.
What I use, incidentally, is a very abbreviated date and time stamp format: two-digit year, three-digit day of year, and three-digit fraction of the day (where .500 is noon and .999 is 23:59). This results in an ID t
hat looks like this: 22321-853, which is very compact, useful in its own right, and bound to be unique given I’m not a machine generating dozens of edits per second.