public static boolean isPropositionSymbolIdentifierStart(char ch){
  return Character.isJavaIdentifierStart(ch);
}

public static boolean isPropositionSymbolIdentifierStart ( char ch ) { return Character . isJavaIdentifierStart ( ch ) ; }
determine if the given character can be at the beginning of a proposition symbol .
