---
Γ := rules "chars"
  chars := rules