static bool isCharEscape( String str, int index ){ String chr = ClipMath.charAt( str, index ); return ((chr == '\\') || (chr == charUtf8Yen)); }