Is mirco the only non-ASCII character we use? If so, I vote for avoiding this whole mess by sticking to ASCII and using "u". I don't think there will be any problems understanding the meaning in our context. -- These are my opinions. I hate spam.