> So is it okay for ucs to map the Unicode horn characters to \horn O, > \horn o, \horn U, and \horn u, as it is done currently? I think so, yes. No time to actually check it. Werner