Greg Minshall <minsh...@umich.edu> writes: >> 2022-11-12 12:00 @Asia/Singapore # tzdb syntax > > aesthetically, allowing a space after the "@" sign might be nice. i > don't know what that would do to the parsing/BNF/whatever.
[2022-11-12 12:00 @Asia/Singapore] vs. [2022-11-12 12:00 @ Asia/Singapore] Either way is possible. I am in favour of my variant though :) Mostly because I find it more neatly grouped in more complex timestamps like [2022-11-12 12:00 @Asia/Singapore +1w -1d] [2022-11-12 12:00 @ Asia/Singapore +1w -1d] feels a slightly wrong. And extra space to type manually. Other opinions welcome though. We can decide according to the majority. There is no technical limitation when choosing space vs. no space. -- Ihor Radchenko // yantar92, Org mode contributor, Learn more about Org mode at <https://orgmode.org/>. Support Org development at <https://liberapay.com/org-mode>, or support my work at <https://liberapay.com/yantar92>
