public static boolean isPropositionSymbolIdentifierPart(char ch){
  return Character.isJavaIdentifierPart(ch);
}

public static boolean isPropositionSymbolIdentifierPart ( char ch ) { return Character . isJavaIdentifierPart ( ch ) ; }
determine if the given character is part of a proposition symbol .
