diff options
author | Karl Berry <karl@freefriends.org> | 2023-01-30 20:49:28 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2023-01-30 20:49:28 +0000 |
commit | 1b69cff971f4d00759ccead9d6c3a808668e3f50 (patch) | |
tree | 58734fddb7b6526f35c384fdedf6d556a095c068 /Master/texmf-dist/tex/latex/eolang | |
parent | a6dc753fd014ab59a7edc661809d3230a9904cc2 (diff) |
eolang (30jan23)
git-svn-id: svn://tug.org/texlive/trunk@65688 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/latex/eolang')
-rw-r--r-- | Master/texmf-dist/tex/latex/eolang/eolang.sty | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/Master/texmf-dist/tex/latex/eolang/eolang.sty b/Master/texmf-dist/tex/latex/eolang/eolang.sty index e5a3e39fa1d..4683d1ff073 100644 --- a/Master/texmf-dist/tex/latex/eolang/eolang.sty +++ b/Master/texmf-dist/tex/latex/eolang/eolang.sty @@ -31,7 +31,7 @@ \NeedsTeXFormat{LaTeX2e} \ProvidesPackage{eolang} -[2023-01-22 0.10.0 Formulas and Graphs for EO Programming Language] +[2023-01-30 0.11.0 Formulas and Graphs for EO Programming Language] @@ -168,7 +168,7 @@ $tex =~ s/([^\\{a-z0-9]|^)Q(?![a-z0-9])/\1\\Phi{}/g; $tex =~ s/([^\\{a-z0-9]|^)D>/\1\\Delta{}..>/g; $tex =~ s/([^\\{a-z0-9]|^)L>/\1\\lambda{}..>/g; $tex =~ s/"([^"]+)"/|"\1"|/g; -$tex =~ s/(^|(?<=[\s)(\]\[,.>\/]))([a-z][a-z0-9]+)(?=[\s)(\]\[,.-]|$)/|\2|/g; +$tex =~ s/(^|(?<=[\s)(\]\[,.>\/]))([a-zA-Z][a-z0-9]+)(?=[\s)(\]\[,.-]|$)/|\2|/g; $tex =~ s/([^^_]|^)([0-9]+|\*)\/(\\?[a-z]+|\|[a-z]+\|) (->|\.\.>|~>|:=|!->)/\1\\alpha_{\2}\\vert{}\3\\space{}\4/xg; $tex =~ s/([^^_]|^)([0-9]+|\*) @@ -205,8 +205,8 @@ $tex =~ s/\\begin\{(\Q$e\E\*?)\}(.+)\\end\{\Q$e\E\*?\}/strip_tabs($1, $2)/sge; } $tex =~ s/\$/\\xi{}/g; $tex =~ s/(?<!\{)\^/\\rho{}/g; -$tex =~ s/\[\[/\\llbracket\\mathrel{}/g; -$tex =~ s/\]\]/\\mathrel{}\\rrbracket{}/g; +$tex =~ s/\[\[/\\llbracket\\mathbin{}/g; +$tex =~ s/\]\]/\\mathbin{}\\rrbracket{}/g; $tex =~ s/([\s,>(])([0-9A-F]{2}(?:-[0-9A-F]{2})+| [0-9]+(?:\.[0-9]+)?)(?!\{)/\1|\2|/xg; $tex =~ s/TRUE/|TRUE|/g; @@ -214,12 +214,12 @@ $tex =~ s/FALSE/|FALSE|/g; $tex =~ s/\?/\\varnothing{}/g; $tex =~ s/@/\\varphi{}/g; $tex =~ s/-([a-z]+)>/\\mathrel{\\phiSlot{\1}}/g; -$tex =~ s/!->/\\mathrel{\\phiConst}/g; -$tex =~ s/->/\\mathrel{\\mapsto}/g; -$tex =~ s/~>/\\mathrel{\\phiWave}/g; +$tex =~ s/!->/\\mathbin{\\phiConst}/g; +$tex =~ s/->/\\mathbin{\\mapsto}/g; +$tex =~ s/~>/\\mathbin{\\phiWave}/g; $tex =~ s/:=/\\mathrel{\\vDash}/g; $tex =~ s/==/\\mathrel{\\equiv}/g; -$tex =~ s/\.\.>/\\mathrel{\\phiDotted}/g; +$tex =~ s/\.\.>/\\mathbin{\\phiDotted}/g; $tex =~ s/<</\\langle/g; $tex =~ s/>>/\\rangle/g; $tex =~ s/\|{2,}/|/g; |