module Rouge::Lexers::Coq::Punctuation