is_zero_width

Checks if a character that should not be normally rendered.

This includes all Unicode characters with "ZERO WIDTH" in their name, as well as *bidi* formatting characters, and a few other ones.

This is totally different from [[email protected]_iszerowidth] and is at best misnamed.

Parameters:

ch	a Unicode character

Returns:

true if ch is a zero-width character, false otherwise