How does other software handle this? pytz, most importantly? I found a bug report in Java about the same thing, and they said "use another name", i.e. Australia/Eastern or AEST, which are both unambiguous. And how does Brazilians solve it? They also have an EST.