From 68c062ee7f77b3797a1933bb75f159d49ccbd2d0 Mon Sep 17 00:00:00 2001 From: ankraft <an.kraft@gmail.com> Date: Mon, 7 Apr 2025 13:10:42 +0200 Subject: [PATCH] Changed some character replcements --- config.ini | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/config.ini b/config.ini index e3832eb..8ea8381 100644 --- a/config.ini +++ b/config.ini @@ -143,12 +143,14 @@ ff09 = 2920 d7 = 78 ; Ligature "fi" fb01 = 6669 +; "<=>" +; f0df = 3c3d3e +; "<=" +f0df = 3c3d ; "<=" -f0fd = 3c3d +;f0fd = 3c3d ; "=>" f0e0 = 3d3e -; "<=>" -f0df = 3c3d3e ; "<->" f0f3 = 266c743b2d3e ; subscript 2 -- GitLab