chr -is:exact -package:Cabal-syntax package:Agda

A single Char fragment