summaryrefslogtreecommitdiff
path: root/macros/latex
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2023-01-23 03:03:03 +0000
committerNorbert Preining <norbert@preining.info>2023-01-23 03:03:03 +0000
commit4451a2090261307c963209bc65fea9fde4eceeea (patch)
tree9a58aba3994cf4468060d85cbfa5e3642eada01e /macros/latex
parent328cc6eb536476a95a84cd7de863b32cabc41b0e (diff)
CTAN sync 202301230303
Diffstat (limited to 'macros/latex')
-rw-r--r--macros/latex/contrib/eolang/eolang.dtx15
-rw-r--r--macros/latex/contrib/eolang/eolang.pdfbin2004235 -> 2007062 bytes
2 files changed, 10 insertions, 5 deletions
diff --git a/macros/latex/contrib/eolang/eolang.dtx b/macros/latex/contrib/eolang/eolang.dtx
index a335662317..d65c2092bd 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>
-[2022-12-16 0.9.1 Formulas and Graphs for EO Programming Language]
+[2023-01-22 0.10.0 Formulas and Graphs for EO Programming Language]
%</package>
%<*driver>
\documentclass{ltxdoc}
@@ -143,6 +143,8 @@
% (|\llbracket|),
% \item ``|]]|'' maps to ``$\rrbracket$''
% (|\rrbracket|),
+% \item ``|==|'' maps to ``$\equiv$''
+% (|\equiv|),
% \item ``\texttt{\textbar{abc}\textbar}'' maps to ``\texttt{abc}''
% (|\texttt{abc}|).
% \end{itemize}
@@ -553,7 +555,7 @@
% The |phiquation| environment will automatically align formulas by the first
% arrow, if there are only left-aligned formulas:
-% \docshotOptions{firstline=5,lastline=10}
+% \docshotOptions{firstline=5,lastline=11}
% \begin{docshot}
% \documentclass{acmart}
% \usepackage{eolang}
@@ -563,7 +565,8 @@
% x(\pi) -> [[\lambda ..> f_1]], \\
% x(a,b,c) -> [[ \alpha_0 -> ?, \
% @ -> |hello|($), x -> |FALSE| ]], \\
-% \Delta = |43-09|.
+% \Delta = |43-09|,
+% x(y) == x(0-> y).
% \end{phiquation*}
% \end{document}
% \end{docshot}
@@ -756,6 +759,7 @@
% \changes{0.8.0}{2022/11/21}{Inside \texttt{phiquation} any text inside the \texttt{\char`\\text} macro is not processed.}
% \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.}
% Then, we create a Perl script for |phiquation| processing using |VerbatimOut| environment from
% \href{https://ctan.org/pkg/fancyvrb}{fancyvrb}:
% \begin{macrocode}
@@ -837,11 +841,11 @@ if ($macro ne 'phiq') {
$tex =~ s/([^&\s])\s{2}([^\s])/\1 \2/g;
$tex =~ s/\s{2}/ \\quad{}/g;
$tex = '&' . $tex;
- my $lead = '[^\s]+\s(?:->|:=|=)';
+ my $lead = '[^\s]+\s(?:->|:=|=|==)\s';
my @leads = $tex =~ /&${lead}/g;
my @eols = $tex =~ /&/g;
if (0+@leads == 0+@eols && 0+@eols > 1) {
- $tex =~ s/&(${lead})/\1&/g;
+ $tex =~ s/&(${lead})/\1&~/g;
$gathered = 0;
print '% The "gathered" is NOT used because all ' .
(0+@eols) . ' lines are ' . (0+@leads) . " leads\n";
@@ -872,6 +876,7 @@ $tex =~ s/!->/\\mathrel{\\phiConst}/g;
$tex =~ s/->/\\mathrel{\\mapsto}/g;
$tex =~ s/~>/\\mathrel{\\phiWave}/g;
$tex =~ s/:=/\\mathrel{\\vDash}/g;
+$tex =~ s/==/\\mathrel{\\equiv}/g;
$tex =~ s/\.\.>/\\mathrel{\\phiDotted}/g;
$tex =~ s/<</\\langle/g;
$tex =~ s/>>/\\rangle/g;
diff --git a/macros/latex/contrib/eolang/eolang.pdf b/macros/latex/contrib/eolang/eolang.pdf
index b2fa196630..5f74ed44f4 100644
--- a/macros/latex/contrib/eolang/eolang.pdf
+++ b/macros/latex/contrib/eolang/eolang.pdf
Binary files differ