diff --git a/config.ini b/config.ini index e3832ebc844e42b03ae6e6fc243fb74fee5153d2..8ea83812cccb9f44d124673f247679f10b52cf1a 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