Not mine, but I'll bet he renamed one of the World Clock time zones with the symbol.
Yeah, he did. I figured it out about an hour later from a Reddit thread after posting this. You can also just put in a space if you want the current digital time with nothing in front.