We only use NFPA symbols, not IEC style so I use the round coil symbol and label it 1TR. But if you're using IEC symbols, then probably just use the retangle.
The real question is how are the timer contacts shown. The old school type or just regular N.O. and N.C. with comments saying instantaneneous, time opening or time closing, etc.