This commit is contained in:
be5invis 2023-07-23 11:46:49 -07:00
parent a48d98c235
commit f70ff9d60a
2 changed files with 22 additions and 4 deletions

View file

@ -452,9 +452,9 @@ define [buildLigationsImpl sink para $LigGroup$] : begin
define heads {}
define rods {}
define doLT : [not ltgt] || [hasLG 'arrow-l'] && ![hasLG 'lteq']
define doLTAlt : [not ltgt] || [hasLG 'counter-arrow-l'] && ![hasLG 'eqlt']
define doRT : [not ltgt] || [hasLG 'counter-arrow-r'] && ![hasLG 'gteq']
define doLT : [not ltgt] || [hasLG 'arrow-l'] && ![hasLG 'lteq'] && ![hasLG 'lteq-separate']
define doLTAlt : [not ltgt] || [hasLG 'counter-arrow-l'] && ![hasLG 'eqlt'] && ![hasLG 'eqlt-separate']
define doRT : [not ltgt] || [hasLG 'counter-arrow-r'] && ![hasLG 'gteq'] && ![hasLG 'gteq-separate']
# Disable regular expression lookaheads
heads.push : chain-rule

View file

@ -109,6 +109,24 @@ samples = [">="]
sampleRank = 2
desc = 'Enable ligation for `>=` as greater-than-or-equal sign'
[simple.lteq-separate]
ligGroup = "lteq-separate"
samples = ["<="]
sampleRank = 3
desc = 'Display `<=` as separate shape'
[simple.eqlt-separate]
ligGroup = "eqlt-separate"
samples = ["=<"]
sampleRank = 3
desc = 'Display `=<` as separate shape'
[simple.gteq-separate]
ligGroup = "gteq-separate"
samples = [">="]
sampleRank = 3
desc = 'Display `>=` as separate shape'
[simple.exeqeqeq]
ligGroup = "exeqeqeq"
samples = ["!==="]
@ -300,7 +318,7 @@ buildup = [ 'eqeq', 'slasheq', 'lteq', 'gteq' ]
buildup = [ 'eqeq', 'tildeeq', 'lteq', 'gteq' ]
[composite.--verilog-equality-inequality--]
buildup = [ 'eqeqeq', 'eqeq', 'exeqeq', 'exeq' ]
buildup = [ 'eqeqeq', 'eqeq', 'exeqeq', 'exeq', 'lteq-separate', 'gteq-separate' ]
[composite.--wolfram-equality-inequality--]
buildup = [ 'eqeq', 'exeq', 'eqexeq-dl', 'lteq', 'gteq' ]