public static boolean isRepeatChar(char ch){
  return null != repeatCharHashTable.get("" + ch);
}

public static boolean isRepeatChar ( char ch ) { return null != repeatCharHashTable . get ( "" + ch ) ; }
a hashtable of all characters that can be repeated to make some sort of " dash " , for example writing " = = = = = = = = = = " . we should define a new object type for the entries . however , to avoid the hassle , we just let the entry be a symbol object , where the fields have the following meaning . * texstring : a command \ foo such that \ foo { n } produces the output for a string of n of the characters . it equals " " if the texified characters themselves should be used . * symboltype : the minimum number of characters needed to qualify as a rep_char ctoken .
