Thanks for the clarification. I never saw this format earlier.
Matthew Piziak <[email protected]> writes: >> obviously wrong > > It's natural to think so, but my Org mode correctly interprets `Tue > 25:00` as being equivalent to `Wed 01:00`. That includes agenda > scheduling filters. > > This format is used in the real world sometimes too, especially for > things like TV showings that span across the midnight boundary, as in > your example.
