module Rouge::Lexers::Isabelle::Operator