How are characters with diacritical marks represented