Fix ligation for [|] (#2221).

This commit is contained in:
be5invis 2024-03-07 17:33:29 -08:00
parent d5661093ff
commit 1f7be24fe1
3 changed files with 22 additions and 13 deletions

View file

@ -976,12 +976,20 @@ define [buildLigationsImpl gsub para $LigGroup$] : begin
# [| |] {| |}
LigGroup "Bracket and bar" : begin
CreateLigationLookup : list
if [hasLG 'brack-bar'] : chain-rule
{'bracketLeft'} ~> advance
{'bar'} ~> advance
{'bracketRight'} ~> advance
if [hasLG 'brack-bar'] : chain-rule
{'bracketLeft'} ~> {'ligExtBracketLeft'}
{'bar'} ~> {'ligBarInsideBracketLeft'}
if [hasLG 'brack-bar'] : chain-rule
{'bar'} ~> {'ligBarInsideBracketRight'}
{'bracketRight'} ~> {'ligExtBracketRight'}
if [hasLG 'brace-bar'] : chain-rule
{'braceLeft'} ~> advance
{'bar'} ~> advance
{'braceRight'} ~> advance
if [hasLG 'brace-bar'] : chain-rule
{'braceLeft'} ~> {'ligExtBraceLeft'}
{'bar'} ~> {'ligBarInsideBracketLeft'}