Definition talk:Formal Language/Primitive Symbol