0
  chars := • [0-0]
  Γ := chars • [0-0]