summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/eolang/eolang.dtx
diff options
context:
space:
mode:
Diffstat (limited to 'macros/latex/contrib/eolang/eolang.dtx')
-rw-r--r--macros/latex/contrib/eolang/eolang.dtx12
1 files changed, 8 insertions, 4 deletions
diff --git a/macros/latex/contrib/eolang/eolang.dtx b/macros/latex/contrib/eolang/eolang.dtx
index f11125a7e2..3260d2eacc 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-06-17 0.12.2 Formulas and Graphs for EO Programming Language]
+[2023-07-01 0.13.0 Formulas and Graphs for EO Programming Language]
%</package>
%<*driver>
\documentclass{ltxdoc}
@@ -102,8 +102,8 @@
% \begin{phiquation*}
% app -> [[ % it's abstract!
% ^ !-> $.b.^{^2}, 0/t~> TRUE,
-% b -> [[ *-> fn(56),
-% @ -> Q.hello.bye($),
+% b -> [[ *-> Q.fn(56),
+% @ -> QQ.string.trim($),
% D> 01-FE-C3 ]]]],\\
% x -> [[ \lambda ..> ? ]].
% \end{phiquation*}
@@ -126,6 +126,8 @@
% (|\varnothing|),
% \item ``|Q|'' maps to ``$\Phi$''
% (|\Phi|),
+% \item ``|QQ|'' maps to ``$\dot{\Phi}$''
+% (|\dot{\Phi}|),
% \item ``|->|'' maps to ``$\mapsto$''
% (|\mapsto|),
% \item ``|~>|'' maps to ``$\phiWave$''
@@ -788,6 +790,7 @@
% \changes{0.9.0}{2022/12/15}{Proper handling of the \texttt{matrix} environment.}
% \changes{0.9.0}{2022/12/15}{Parsing of \texttt{<<} and \texttt{>>} implemented.}
% \changes{0.10.0}{2023/01/22}{Parsing of \texttt{==} into \texttt{\char`\\equiv} implemented.}
+% \changes{0.13.0}{2023/06/28}{Parsing of \texttt{QQ} into \texttt{\char`\\dot\{\char`\\Phi\}} implemented.}
% Then, we create a Perl script for |phiquation| processing using |VerbatimOut| environment from
% \href{https://ctan.org/pkg/fancyvrb}{fancyvrb}:
% \begin{macrocode}
@@ -796,7 +799,7 @@
$macro = $ARGV[0];
open(my $fh, '<', $ARGV[1]);
my $tex; { local $/; $tex = <$fh>; }
-print "% This file is auto-generated by 0.12.2\n";
+print "% This file is auto-generated by 0.13.0\n";
print '% There are ', length($tex),
' chars in the input: ', $ARGV[1], "\n";
print '% ---', "\n";
@@ -867,6 +870,7 @@ $tex =~ s/\\text\{(.+)/trep("$1")/ge;
if (not $splitting) {
$tex =~ s/(?<![{&])&(?![&}])/\\sigma{}/g;
}
+$tex =~ s/([^\\{a-z0-9]|^)QQ(?![a-z0-9])/\1\\dot{\\Phi{}}/g;
$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;