Why do we use one symbol for latex and another for Unicode?