[tz] Re: Asia/Riyadh TZ abbreviation "+03"?

[Peter Chamberlin via tz]

Okay, though for me the render of "[Date] [Time] +03 +03:00" just looked 
a bit odd. If there is no official abbreviation then perhaps remove the 
"+03"?

On 23 Aug 2025 02:04, Paul Eggert wrote:
On 8/22/25 06:20, Peter Chamberlin via tz wrote:
Wouldn’t this be better defined as "AST" for Arabia Standard Time per 
https://24timezones.com/Riyadh/time?

No, as the source you cite got that from me and I made it up. Invented 
abbreviations (which can be a real problem) were removed in 2017.