From b3ac5757df802269ec36c9a46f909ee00d5d0965 Mon Sep 17 00:00:00 2001 From: Alex Jordan Date: Tue, 20 Aug 2024 10:50:46 -0700 Subject: [PATCH] allow characters for lte and gte in a few contexts --- macros/contexts/contextInequalities.pl | 5 ++++- macros/parsers/parserLinearInequality.pl | 2 ++ 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/macros/contexts/contextInequalities.pl b/macros/contexts/contextInequalities.pl index 6f3d134e4..13d187d93 100644 --- a/macros/contexts/contextInequalities.pl +++ b/macros/contexts/contextInequalities.pl @@ -148,6 +148,7 @@ sub Init { TeX => '\le ', class => 'Inequalities::BOP::inequality', eval => 'evalLessThanOrEqualTo', + alternatives => ["\x{2264}"], combine => 1 }, '=<' => { @@ -170,6 +171,7 @@ sub Init { TeX => '\ge ', class => 'Inequalities::BOP::inequality', eval => 'evalGreaterThanOrEqualTo', + alternatives => ["\x{2265}"], combine => 1 }, '=>' => { @@ -200,7 +202,8 @@ sub Init { string => ' != ', TeX => '\ne ', class => 'Inequalities::BOP::inequality', - eval => 'evalNotEqualTo' + eval => 'evalNotEqualTo', + alternatives => ["\x{2260}"] }, 'and' => { diff --git a/macros/parsers/parserLinearInequality.pl b/macros/parsers/parserLinearInequality.pl index 7e9e13a58..5d8e4d5ae 100644 --- a/macros/parsers/parserLinearInequality.pl +++ b/macros/parsers/parserLinearInequality.pl @@ -104,6 +104,7 @@ sub Init { string => ' <= ', TeX => '\le ', kind => "le", + alternatives => ["\x{2264}"], class => 'LinearInequality::inequality', formulaClass => "LinearInequality" }, @@ -126,6 +127,7 @@ sub Init { TeX => '\ge ', kind => 'ge', reverse => 'le', + alternatives => ["\x{2265}"], class => 'LinearInequality::inequality', formulaClass => "LinearInequality" },