OK. Also, the Germans and Dutch number the weeks of the year, so 2023-W46, aside from the numbering within the month. There's a rule about what the first week is based on which weekday New Year's falls on. Maybe that's where I got it from. We probably never run into it in English text.
Oops. Google tracked this down: https://www.epochconverter.com/weeknumbers. Maybe it is a broader thing. If the Thursday rule/guideline holds within months, it could be used to produce exact dates when the year and month are known or a -W when not.
OK. Also, the Germans and Dutch number the weeks of the year, so 2023-W46, aside from the numbering within the month. There's a rule about what the first week is based on which weekday New Year's falls on. Maybe that's where I got it from. We probably never run into it in English text.
Oops. Google tracked this down: https://www.epochconverter.com/weeknumbers. Maybe it is a broader thing. If the Thursday rule/guideline holds within months, it could be used to produce exact dates when the year and month are known or a -W when not.