#2903: more

paper/Makefile

@@ -27,7 +27,7 @@ TLROOT=$$(kpsewhich -var-value TEXMFDIST)
 PACKAGES=ffcode to-be-determined href-ul minted
 REPO=objectionary/eo
 
-gsed=$(if $(shell which gsed),gsed,sed)
+gsed=\((if \)(shell which gsed),gsed,sed)
 
 zip: *.tex sections/*.tex
 	rm -rf package
@@ -36,12 +36,12 @@ zip: *.tex sections/*.tex
 	cp ../eolang-paper.tex .
 	cp ../phigure.sty .
 	cp ../main.bib .
-	for p in $(PACKAGES); do cp $(TLROOT)/tex/latex/$${p}/$${p}.sty .; done
+	for p in \((PACKAGES); do cp \)(TLROOT)/tex/latex/$\({p}/\)${p}.sty .; done
 	cp -r ../sections .
-	version=$$(curl --silent -H "Accept: application/vnd.github.v3+json" https://api.github.com/repos/$(REPO)/releases/latest | jq -r '.tag_name')
+	version=$\((curl --silent -H "Accept: application/vnd.github.v3+json" https://api.github.com/repos/\)(REPO)/releases/latest | jq -r '.tag_name')
 	echo "Version is: $${version}"
-	${gsed} -i "s|0\.0\.0|$${version}|g" eolang-paper.tex
-	${gsed} -i "s|REPOSITORY|$(REPO)|g" eolang-paper.tex
+	\({gsed} -i "s|0\.0\.0|\)${version}|g" eolang-paper.tex
+	\({gsed} -i "s|REPOSITORY|\)(REPO)|g" eolang-paper.tex
 	pdflatex -shell-escape -halt-on-error eolang-paper.tex > /dev/null
 	biber eolang-paper
 	pdflatex -halt-on-error eolang-paper.tex > /dev/null

paper/eolang-paper.tex

@@ -79,7 +79,7 @@
 \setlength{\footskip}{13.0pt}
 
 \acmBooktitle{untitled}
-\title{EOLANG and \texorpdfstring{$\varphi$}{phi}-calculus}
+\title{EOLANG and \texorpdfstring{\(\varphi\)}{phi}-calculus}
 \subtitle{%
   Ver:
   \texorpdfstring{
@@ -108,7 +108,7 @@
   the rendered version is \href{https://github.com/REPOSITORY/releases/tag/0.0.0}{\ff{0.0.0}}.}.
 However, despite
 its industrial and academic popularity, OOP is still missing
-a formal apparatus similar to $\lambda$-calculus, which functional
+a formal apparatus similar to \(\lambda\)-calculus, which functional
 programming is based on. There were a number of attempts to formalize
 OOP, but none of them managed to cover all the features available in
 modern OO programming languages, such as C++ or Java.

paper/sections/acks.tex

@@ -8,7 +8,7 @@
   \nospell{Ali-Sultan Ki-giz\-ba\-ev},
   \nospell{Nikolai Ku\-da\-sov},
   \nospell{Alexander Legalov},
-  \nospell{Tymur $\lambda$ysenko},
+  \nospell{Tymur \(\lambda\)ysenko},
   \nospell{Alexandr Naumchev},
   \nospell{Alonso A. Ortega},
   \nospell{John Page},

paper/sections/complexity.tex

@@ -16,7 +16,7 @@
       , %
     \fi%
     P\ref{ptn:\r}%
-  } $\to$
+  } \(\to\)
 }
 
 \begin{itemize}

paper/sections/features.tex

@@ -116,7 +116,7 @@
 %
 All objects in \eolang{} are assigned to some attributes. Objects constructed
 in the global scope of visibility are assigned to attributes of the
-$\Phi$ object of the highest level of abstraction.
+\(\Phi\) object of the highest level of abstraction.
 Newspeak and Eiffel are two programming languages that does not have global scope as well.
 
 \feature{no-mutability}{No Mutability}

paper/sections/overview.tex

@@ -17,14 +17,14 @@
 attributes are specified with arguments.
 
 \item An object may \emph{decorate} another object by binding it
-to the $\varphi$ attribute of itself. A decorator has its
+to the \(\varphi\) attribute of itself. A decorator has its
 own attributes and bound attributes of its decoratee.
 
-\item A special attribute $\Delta$ may be bound to \emph{data},
+\item A special attribute \(\Delta\) may be bound to \emph{data},
 which is a computation platform dependable entity not
 decomposable any further.
 \emph{Dataization} is a process of retrieving data from an object,
-by taking what the $\Delta$ attribute is bound to.
+by taking what the \(\Delta\) attribute is bound to.
 The dataization of an object at the highest level of composition
 leads to the execution of a program.
 \end{itemize}

paper/sections/related.tex

@@ -5,7 +5,7 @@
 by~\citet{gordon1998concurrent} to support concurrency and synchronisation,
 and by~\citet{jeffrey1999distributed} to support distributed programming.
 
-Earlier, \citet{honda1991object} combined OOP and $\pi$-calculus in order to
+Earlier, \citet{honda1991object} combined OOP and \(\pi\)-calculus in order to
 introduce object calculus for asynchronous communication, which was further
 referenced by~\citet{jones1993pi} in their work on object-based design notation.