Some people askedd about a non-Unicode variant of our notation. @jihgfee @gmalecha have such a file I think, maybe we could contribute that upstream?