On Tue, Oct 15, 2024 at 11:01 AM Tom Lane <[email protected]> wrote:
>
> Sticking to LATIN-1 is not such a bad idea from this perspective.

Maybe plus-minus (±), to represent the diff?

--Jacob


Reply via email to