diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/eolang/eolang.dtx')
| -rw-r--r-- | Master/texmf-dist/source/latex/eolang/eolang.dtx | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/Master/texmf-dist/source/latex/eolang/eolang.dtx b/Master/texmf-dist/source/latex/eolang/eolang.dtx index a335662317f..d65c2092bd0 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> -[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; |