Definition:Letter (Formal Systems)