On Tue, Oct 15, 2024 at 11:01 AM Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:>> Sticking to LATIN-1 is not such a bad idea from this perspective.
Maybe plus-minus (±), to represent the diff?
--Jacob