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