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 | |
parent | a6dc753fd014ab59a7edc661809d3230a9904cc2 (diff) |
eolang (30jan23)
git-svn-id: svn://tug.org/texlive/trunk@65688 c570f23f-e606-0410-a88d-b1316a301751
-rw-r--r-- | Master/texmf-dist/doc/latex/eolang/eolang.pdf | bin | 2007062 -> 2007063 bytes | |||
-rw-r--r-- | Master/texmf-dist/source/latex/eolang/eolang.dtx | 19 | ||||
-rw-r--r-- | Master/texmf-dist/tex/latex/eolang/eolang.sty | 16 |
3 files changed, 17 insertions, 18 deletions
diff --git a/Master/texmf-dist/doc/latex/eolang/eolang.pdf b/Master/texmf-dist/doc/latex/eolang/eolang.pdf Binary files differindex 5f74ed44f42..c97623759b0 100644 --- a/Master/texmf-dist/doc/latex/eolang/eolang.pdf +++ b/Master/texmf-dist/doc/latex/eolang/eolang.pdf diff --git a/Master/texmf-dist/source/latex/eolang/eolang.dtx b/Master/texmf-dist/source/latex/eolang/eolang.dtx index d65c2092bd0..f49cc475305 100644 --- a/Master/texmf-dist/source/latex/eolang/eolang.dtx +++ b/Master/texmf-dist/source/latex/eolang/eolang.dtx @@ -50,7 +50,7 @@ %<package>\NeedsTeXFormat{LaTeX2e} %<package>\ProvidesPackage{eolang} %<*package> -[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] %</package> %<*driver> \documentclass{ltxdoc} @@ -96,8 +96,7 @@ % and later formalized by \citet{kudasov2021}. Here is how you render % a simple expression: % \begin{docshot} -% \documentclass{article} -% \pagestyle{empty} +% \documentclass{minimal} % \usepackage{eolang} % \begin{document} % \begin{phiquation*} @@ -826,7 +825,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]+|\*) @@ -863,8 +862,8 @@ if ($macro ne 'phiq') { } $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; @@ -872,12 +871,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; 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; |