public static boolean isPropositionSymbol(String symbol){
  return SourceVersion.isIdentifier(symbol);
}

public static boolean isPropositionSymbol ( String symbol ) { return SourceVersion . isIdentifier ( symbol ) ; }
determine if the given symbol is a legal proposition symbol .
