public static RE mkChar(char c){
  return mkString(Character.toString(c));
}

public static RE mkChar ( char c ) { return mkString ( Character . toString ( c ) ) ; }
construct a regular expression matching a single character .
