Exactly, we should use symbols that people are likely to be familiar with. We've collectively decided to include the greek alphabet in this.