CTAN sync 202301310301

1 files changed, 9 insertions, 10 deletions

diff --git a/macros/latex/contrib/eolang/eolang.dtx b/macros/latex/contrib/eolang/eolang.dtx
index d65c2092bd..f49cc47530 100644
--- a/macros/latex/contrib/eolang/eolang.dtx
+++ b/macros/latex/contrib/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;