summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/projlib/ProjLib.dtx
diff options
context:
space:
mode:
Diffstat (limited to 'macros/latex/contrib/projlib/ProjLib.dtx')
-rw-r--r--macros/latex/contrib/projlib/ProjLib.dtx574
1 files changed, 407 insertions, 167 deletions
diff --git a/macros/latex/contrib/projlib/ProjLib.dtx b/macros/latex/contrib/projlib/ProjLib.dtx
index de0b0f23b7..5abd7bf8b5 100644
--- a/macros/latex/contrib/projlib/ProjLib.dtx
+++ b/macros/latex/contrib/projlib/ProjLib.dtx
@@ -18,47 +18,47 @@
%
%<*PJLamssim>
\ProvidesPackage{PJLamssim}
- [2021/05/25 Simulate some features of amsart]
+ [2021/06/07 Simulate some features of amsart]
%</PJLamssim>
%
%<*PJLauthor>
\ProvidesPackage{PJLauthor}
- [2021/05/25 Enhanced author information block]
+ [2021/06/07 Enhanced author information block]
%</PJLauthor>
%
%<*PJLdate>
\ProvidesPackage{PJLdate}
- [2021/05/25 Convert yyyy-mm-dd to normal datetime format]
+ [2021/06/07 Convert yyyy-mm-dd to normal datetime format]
%</PJLdate>
%
%<*PJLdraft>
\ProvidesPackage{PJLdraft}
- [2021/05/25 Some useful macros for the draft stage]
+ [2021/06/07 Some useful macros for the draft stage]
%</PJLdraft>
%
%<*PJLlang>
\ProvidesPackage{PJLlang}
- [2021/05/25 Multi-language configuration]
+ [2021/06/07 Multi-language configuration]
%</PJLlang>
%
%<*PJLlogo>
\ProvidesPackage{PJLlogo}
- [2021/05/25 The ProjLib logo]
+ [2021/06/07 The ProjLib logo]
%</PJLlogo>
%
%<*PJLpaper>
\ProvidesPackage{PJLpaper}
- [2021/05/25 Paper style configuration]
+ [2021/06/07 Paper style configuration]
%</PJLpaper>
%
%<*PJLthm>
\ProvidesPackage{PJLthm}
- [2021/05/25 Theorem setup and configuration]
+ [2021/06/07 Theorem setup and configuration]
%</PJLthm>
%
%<*PJLtoolkit>
\ProvidesPackage{PJLtoolkit}
- [2021/05/25 Collective interface of ProjLib Toolkit]
+ [2021/06/07 Collective interface of ProjLib Toolkit]
%</PJLtoolkit>
%
\RequirePackage{kvoptions}
@@ -76,6 +76,10 @@
\def\keywordsnameEN{\textsc{Key words and phrases}}
\def\keywordsnameFR{\textsc{Mots et phrases clés}}
\def\keywordsnameDE{\textsc{Schlüsselwörter und Phrasen}}
+\def\keywordsnameIT{\textsc{Parole e frasi chiave}}
+\def\keywordsnamePT{\textsc{Palavras e frases chave}}
+\def\keywordsnameBR{\textsc{Palavras e frases chave}}
+\def\keywordsnameES{\textsc{Palabras y frases clave}}
\def\keywordsnameCN{关键词}
\def\keywordsnameTC{關鍵詞}
\def\keywordsnameJP{キーワード}
@@ -374,6 +378,14 @@
\def\needgraphTextFR{Il manque une image ici}
\def\dnfTextDE{Nicht beendet}
\def\needgraphTextDE{Benötigen Sie ein Bild}
+\def\dnfTextIT{Per essere finito}
+\def\needgraphTextIT{Manca un'immagine qui}
+\def\dnfTextPT{Não terminou}
+\def\needgraphTextPT{Precisa de uma foto aqui}
+\def\dnfTextBR{Não terminou}
+\def\needgraphTextBR{Precisa de uma foto aqui}
+\def\dnfTextES{Estar terminado}
+\def\needgraphTextES{Falta una imagen aquí}
\def\dnfTextCN{这里尚未完成}
\def\needgraphTextCN{这里需要一张图片}
\def\dnfTextTC{這裡尚未完成}
@@ -434,6 +446,10 @@
\newcommand\englishABBR{EN}
\newcommand\frenchABBR{FR}
\newcommand\ngermanABBR{DE}
+\newcommand\italianABBR{IT}
+\newcommand\portugueseABBR{PT}
+\newcommand\brazilianABBR{BR}
+\newcommand\spanishABBR{ES}
\newcommand\chineseABBR{CN}
\newcommand\tchineseABBR{TC}
\newcommand\japaneseABBR{JP}
@@ -452,6 +468,7 @@
\setotherlanguage{ngerman}
\setotherlanguage{spanish}
\setotherlanguage{portuguese}
+ \setotherlanguage[variant=brazilian]{portuguese}
\setotherlanguage{italian}
\ifPDFTeX\else
\setotherlanguage{russian}
@@ -463,7 +480,7 @@
\ifPDFTeX\else
\PassOptionsToPackage{japanese,russian}{babel}
\fi
- \PassOptionsToPackage{italian,portuguese,brazilian,spanish.noquoting,ngerman,french,english,shorthands=off}{babel}
+ \PassOptionsToPackage{italian,portuguese,brazilian,spanish,es-notilde,es-noquoting,ngerman,french,english,shorthands=off}{babel}
\PassOptionsToPackage{italian,brazilian,spanish,ngerman,french,english}{cleveref}
\RequirePackage{babel}
\frenchsetup{PartNameFull=false}
@@ -521,6 +538,18 @@
\newcommand{\PJLlang@langconfig@german}{%
\selectlanguage{ngerman}%
}
+\newcommand{\PJLlang@langconfig@italian}{%
+ \selectlanguage{italian}%
+}
+\newcommand{\PJLlang@langconfig@portuguese}{%
+ \selectlanguage{portuguese}%
+}
+\newcommand{\PJLlang@langconfig@brazilian}{%
+ \selectlanguage{brazilian}%
+}
+\newcommand{\PJLlang@langconfig@spanish}{%
+ \selectlanguage{spanish}%
+}
\newcommand{\PJLlang@langconfig@russian}{%
\selectlanguage{russian}%
}
@@ -546,6 +575,14 @@
{french}{\gappto{\PJLlang@langconfig@french}{#2}}%
{de}{\gappto{\PJLlang@langconfig@german}{#2}}%
{ngerman}{\gappto{\PJLlang@langconfig@german}{#2}}%
+ {it}{\gappto{\PJLlang@langconfig@italian}{#2}}%
+ {italian}{\gappto{\PJLlang@langconfig@italian}{#2}}%
+ {pt}{\gappto{\PJLlang@langconfig@portuguese}{#2}}%
+ {portuguese}{\gappto{\PJLlang@langconfig@portuguese}{#2}}%
+ {br}{\gappto{\PJLlang@langconfig@brazilian}{#2}}%
+ {brazilian}{\gappto{\PJLlang@langconfig@brazilian}{#2}}%
+ {es}{\gappto{\PJLlang@langconfig@spanish}{#2}}%
+ {spanish}{\gappto{\PJLlang@langconfig@spanish}{#2}}%
{german}{\gappto{\PJLlang@langconfig@german}{#2}}%
{ru}{\gappto{\PJLlang@langconfig@russian}{#2}}%
{russian}{\gappto{\PJLlang@langconfig@russian}{#2}}%
@@ -579,6 +616,14 @@
{de}{\PJL@config@linespacing\PJLlang@langconfig@german}%
{ngerman}{\PJL@config@linespacing\PJLlang@langconfig@german}%
{german}{\PJL@config@linespacing\PJLlang@langconfig@german}%
+ {it}{\PJL@config@linespacing\PJLlang@langconfig@italian}%
+ {italian}{\PJL@config@linespacing\PJLlang@langconfig@italian}%
+ {pt}{\PJL@config@linespacing\PJLlang@langconfig@portuguese}%
+ {portuguese}{\PJL@config@linespacing\PJLlang@langconfig@portuguese}%
+ {br}{\PJL@config@linespacing\PJLlang@langconfig@brazilian}%
+ {brazilian}{\PJL@config@linespacing\PJLlang@langconfig@brazilian}%
+ {es}{\PJL@config@linespacing\PJLlang@langconfig@spanish}%
+ {spanish}{\PJL@config@linespacing\PJLlang@langconfig@spanish}%
{ru}{\PJL@config@linespacing\PJLlang@langconfig@russian}%
{russian}{\PJL@config@linespacing\PJLlang@langconfig@russian}%
}%
@@ -610,6 +655,14 @@
{de}{\PJLlang@langconfig@german}%
{ngerman}{\PJLlang@langconfig@german}%
{german}{\PJLlang@langconfig@german}%
+ {it}{\PJLlang@langconfig@italian}%
+ {italian}{\PJLlang@langconfig@italian}%
+ {pt}{\PJLlang@langconfig@portuguese}%
+ {portuguese}{\PJLlang@langconfig@portuguese}%
+ {br}{\PJLlang@langconfig@brazilian}%
+ {brazilian}{\PJLlang@langconfig@brazilian}%
+ {es}{\PJLlang@langconfig@spanish}%
+ {spanish}{\PJLlang@langconfig@spanish}%
{ru}{\PJLlang@langconfig@russian}%
{russian}{\PJLlang@langconfig@russian}%
}%
@@ -747,9 +800,13 @@
prefix = @PJLthm@
}
\DeclareBoolOption[false]{nothms}
+\DeclareBoolOption[false]{draft}
\DeclareBoolOption[false]{fast}
\DeclareBoolOption[false]{regionalref}
\ProcessKeyvalOptions*\relax
+\if@PJLthm@draft
+ \@PJLthm@fasttrue
+\fi
\if@PJLthm@fast
\@PJLthm@regionalreftrue
\fi
@@ -784,6 +841,14 @@
{de}{\def\PJL@temp@abbr{DE}}%
{ngerman}{\def\PJL@temp@abbr{DE}}%
{german}{\def\PJL@temp@abbr{DE}}%
+ {it}{\def\PJL@temp@abbr{IT}}%
+ {italian}{\def\PJL@temp@abbr{IT}}%
+ {pt}{\def\PJL@temp@abbr{PT}}%
+ {portuguese}{\def\PJL@temp@abbr{PT}}%
+ {br}{\def\PJL@temp@abbr{BR}}%
+ {brazilian}{\def\PJL@temp@abbr{BR}}%
+ {es}{\def\PJL@temp@abbr{ES}}%
+ {spanish}{\def\PJL@temp@abbr{ES}}%
{ru}{\def\PJL@temp@abbr{RU}}%
{russian}{\def\PJL@temp@abbr{RU}}%
}%
@@ -792,6 +857,10 @@
\expandafter\def\csname\PJLthm@temp nameEN\endcsname{#3}%
\expandafter\def\csname\PJLthm@temp nameFR\endcsname{#3}%
\expandafter\def\csname\PJLthm@temp nameDE\endcsname{#3}%
+ \expandafter\def\csname\PJLthm@temp nameIT\endcsname{#3}%
+ \expandafter\def\csname\PJLthm@temp namePT\endcsname{#3}%
+ \expandafter\def\csname\PJLthm@temp nameBR\endcsname{#3}%
+ \expandafter\def\csname\PJLthm@temp nameES\endcsname{#3}%
\expandafter\def\csname\PJLthm@temp nameCN\endcsname{#3}%
\expandafter\def\csname\PJLthm@temp nameTC\endcsname{#3}%
\expandafter\def\csname\PJLthm@temp nameJP\endcsname{#3}%
@@ -878,12 +947,25 @@
}%
\else
\NewDocumentCommand{\InnerCreateTheorem}{mmmod<>d()}{%
-% #1 = star or no star
-% #2 = name of environment
-% #3 = emptiness or star to append to name of environment
-% #4 = numbered like
-% #5 = numbered within
-% #6 = existed environment
+% #1 = Tokens denoting an xparse-boolean value;
+% value "true" -> the call was \CreateTheorem*{...}...
+% value "false" -> the call was \CreateTheorem{...}...
+% This indicates whether the "starred" variant or the
+% "unstarred" variant of \CreateTheorem was called.
+% #2 = Name of environment to define. One trailing
+% star is removed from the environment-name provided
+% to \CreateTheorem if that environment-name has
+% trailing stars.
+% #3 = If the environment-name provided to \CreateTheorem has
+% trailing stars: A star (*).
+% If the environment-name provided to \CreateTheorem has
+% no trailing stars: Empty/no tokens at all.
+% #4 = numbered like=name of counter like which the environment
+% shall be numbered.
+% #5 = numbered within=name of counter which is superordinate
+% to the environment's counter and whose stepping resets
+% the environment's counter.
+% #6 = existed environment name (the environment to copy)
\IfBooleanTF{#1}{%
\IfValueTF{#4}
{\@firstoftwo}
@@ -898,7 +980,14 @@
{\string\CreateTheorem\space syntax error\on@line}{%
You cannot call the starred variant with optional argument,\MessageBreak
nor call the unstarred variant with several optional arguments.}%
- {}%
+ {%
+ Allowed usage:\MessageBreak\MessageBreak
+ \CreateTheorem*{(name of environment)}\MessageBreak
+ \CreateTheorem{(name of environment)}\MessageBreak
+ \CreateTheorem{(name of environment)}[(numbered like)]\MessageBreak
+ \CreateTheorem{(name of environment)}<(numbered within)>\MessageBreak
+ \CreateTheorem{(name of environment)}((existed environment))\MessageBreak
+ }%
}{%
\IfValueTF{#6}{%
\IfBooleanTF{#1}{%
@@ -912,13 +1001,28 @@
}
}{%
\IfBooleanTF{#1}{%
- \newtheorem*{#2EN#3}{\csname#2nameEN\endcsname}
- \newtheorem*{#2FR#3}{\csname#2nameFR\endcsname}
- \newtheorem*{#2DE#3}{\csname#2nameDE\endcsname}
- \newtheorem*{#2CN#3}{\csname#2nameCN\endcsname}
- \newtheorem*{#2TC#3}{\csname#2nameTC\endcsname}
- \newtheorem*{#2JP#3}{\csname#2nameJP\endcsname}
- \newtheorem*{#2RU#3}{\csname#2nameRU\endcsname}
+% \newtheorem*{#2EN#3}{\csname#2nameEN\endcsname}%
+% \newtheorem*{#2FR#3}{\csname#2nameFR\endcsname}%
+% \newtheorem*{#2DE#3}{\csname#2nameDE\endcsname}%
+% \newtheorem*{#2IT#3}{\csname#2nameIT\endcsname}%
+% \newtheorem*{#2PT#3}{\csname#2namePT\endcsname}%
+% \newtheorem*{#2BR#3}{\csname#2nameBR\endcsname}%
+% \newtheorem*{#2ES#3}{\csname#2nameES\endcsname}%
+% \newtheorem*{#2CN#3}{\csname#2nameCN\endcsname}%
+% \newtheorem*{#2TC#3}{\csname#2nameTC\endcsname}%
+% \newtheorem*{#2JP#3}{\csname#2nameJP\endcsname}%
+% \newtheorem*{#2RU#3}{\csname#2nameRU\endcsname}%
+ \expandafter\PassFirstToSecond\expandafter{\csname#2nameEN\endcsname}{\newtheorem*{#2EN#3}}%
+ \expandafter\PassFirstToSecond\expandafter{\csname#2nameFR\endcsname}{\newtheorem*{#2FR#3}}%
+ \expandafter\PassFirstToSecond\expandafter{\csname#2nameDE\endcsname}{\newtheorem*{#2DE#3}}%
+ \expandafter\PassFirstToSecond\expandafter{\csname#2nameIT\endcsname}{\newtheorem*{#2IT#3}}%
+ \expandafter\PassFirstToSecond\expandafter{\csname#2namePT\endcsname}{\newtheorem*{#2PT#3}}%
+ \expandafter\PassFirstToSecond\expandafter{\csname#2nameBR\endcsname}{\newtheorem*{#2BR#3}}%
+ \expandafter\PassFirstToSecond\expandafter{\csname#2nameES\endcsname}{\newtheorem*{#2ES#3}}%
+ \expandafter\PassFirstToSecond\expandafter{\csname#2nameCN\endcsname}{\newtheorem*{#2CN#3}}%
+ \expandafter\PassFirstToSecond\expandafter{\csname#2nameTC\endcsname}{\newtheorem*{#2TC#3}}%
+ \expandafter\PassFirstToSecond\expandafter{\csname#2nameJP\endcsname}{\newtheorem*{#2JP#3}}%
+ \expandafter\PassFirstToSecond\expandafter{\csname#2nameRU\endcsname}{\newtheorem*{#2RU#3}}%
}{%
\IfValueTF{#5}{%
\newcounter{#2#3}[{#5}]%
@@ -934,6 +1038,10 @@
\CreateTheoremNumberedLikeAliasCounter{#2}{EN}{#3}%
\CreateTheoremNumberedLikeAliasCounter{#2}{FR}{#3}%
\CreateTheoremNumberedLikeAliasCounter{#2}{DE}{#3}%
+ \CreateTheoremNumberedLikeAliasCounter{#2}{IT}{#3}%
+ \CreateTheoremNumberedLikeAliasCounter{#2}{PT}{#3}%
+ \CreateTheoremNumberedLikeAliasCounter{#2}{BR}{#3}%
+ \CreateTheoremNumberedLikeAliasCounter{#2}{ES}{#3}%
\CreateTheoremNumberedLikeAliasCounter{#2}{CN}{#3}%
\CreateTheoremNumberedLikeAliasCounter{#2}{TC}{#3}%
\CreateTheoremNumberedLikeAliasCounter{#2}{JP}{#3}%
@@ -948,180 +1056,290 @@
}%
\NewDocumentCommand{\CreateTheoremNumberedLikeAliasCounter}{mmm}{%
\newaliascnt{#1#2#3}{#1#3}%
- \newtheorem{#1#2#3}[{#1#2#3}]{\csname#1name#2\endcsname}%
+% \newtheorem{#1#2#3}[{#1#2#3}]{\csname#1name#2\endcsname}%
+ \expandafter\PassFirstToSecond\expandafter{\csname#1name#2\endcsname}{\newtheorem{#1#2#3}[{#1#2#3}]}%
\aliascntresetthe{#1#2#3}%
- \crefname{#1#2#3}%
- {\csname#1name#2\endcsname}%
- {\csname#1name#2\endcsname}%
- \Crefname{#1#2#3}%
- {\csname#1name#2\endcsname}%
- {\csname#1name#2\endcsname}%
+% \crefname{#1#2#3}%
+% {\csname#1name#2\endcsname}%
+% {\csname#1name#2\endcsname}%
+% \Crefname{#1#2#3}%
+% {\csname#1name#2\endcsname}%
+% {\csname#1name#2\endcsname}%
+ \expandafter\PassFirstToSecond\expandafter{\csname#1name#2\endcsname}%
+ {%
+ \expandafter\PassFirstToSecond\expandafter{\csname#1name#2\endcsname}%
+ {\crefname{#1#2#3}}%
+ }%
+ \expandafter\PassFirstToSecond\expandafter{\csname#1name#2\endcsname}%
+ {%
+ \expandafter\PassFirstToSecond\expandafter{\csname#1name#2\endcsname}%
+ {\Crefname{#1#2#3}}%
+ }%
}%
\fi
%% English theorems names
-\def\theoremnameEN{Theorem}
-\def\lemmanameEN{Lemma}
-\def\propositionnameEN{Proposition}
-\def\corollarynameEN{Corollary}
-\def\propertynameEN{Property}
-\def\factnameEN{Fact}
-\def\conjecturenameEN{Conjecture}
-\def\definitionnameEN{Definition}
-\def\axiomnameEN{Axiom}
-\def\assumptionnameEN{Assumption}
-\def\conventionnameEN{Convention}
-\def\hypothesisnameEN{Hypothesis}
-\def\notationnameEN{Notation}
-\def\examplenameEN{Example}
-\def\problemnameEN{Problem}
-\def\questionnameEN{Question}
-\def\exercisenameEN{Exercise}
-\def\remarknameEN{Remark}
+\def\theoremnameEN{{Theorem}}
+\def\lemmanameEN{{Lemma}}
+\def\propositionnameEN{{Proposition}}
+\def\corollarynameEN{{Corollary}}
+\def\propertynameEN{{Property}}
+\def\factnameEN{{Fact}}
+\def\conjecturenameEN{{Conjecture}}
+\def\definitionnameEN{{Definition}}
+\def\axiomnameEN{{Axiom}}
+\def\assumptionnameEN{{Assumption}}
+\def\conventionnameEN{{Convention}}
+\def\hypothesisnameEN{{Hypothesis}}
+\def\notationnameEN{{Notation}}
+\def\examplenameEN{{Example}}
+\def\problemnameEN{{Problem}}
+\def\questionnameEN{{Question}}
+\def\exercisenameEN{{Exercise}}
+\def\remarknameEN{{Remark}}
+\def\observationnameEN{{Observation}}
\expandafter\def\csname definition-propositionnameEN\endcsname{\definitionnameEN-\propositionnameEN}
\expandafter\def\csname definition-theoremnameEN\endcsname{\definitionnameEN-\theoremnameEN}
%% French theorems names
-\def\theoremnameFR{Théorème}
-\def\lemmanameFR{Lemme}
-\def\propositionnameFR{Proposition}
-\def\corollarynameFR{Corollaire}
-\def\propertynameFR{Propriété}
-\def\factnameFR{Fait}
-\def\conjecturenameFR{Conjecture}
-\def\definitionnameFR{Définition}
-\def\axiomnameFR{Axiome}
-\def\assumptionnameFR{Supposition}
-\def\conventionnameFR{Convention}
-\def\hypothesisnameFR{Hypothèse}
-\def\notationnameFR{Notation}
-\def\examplenameFR{Exemple}
-\def\problemnameFR{Problème}
-\def\questionnameFR{Question}
-\def\exercisenameFR{Exercice}
-\def\remarknameFR{Remarque}
+\def\theoremnameFR{{Théorème}}
+\def\lemmanameFR{{Lemme}}
+\def\propositionnameFR{{Proposition}}
+\def\corollarynameFR{{Corollaire}}
+\def\propertynameFR{{Propriété}}
+\def\factnameFR{{Fait}}
+\def\conjecturenameFR{{Conjecture}}
+\def\definitionnameFR{{Définition}}
+\def\axiomnameFR{{Axiome}}
+\def\assumptionnameFR{{Supposition}}
+\def\conventionnameFR{{Convention}}
+\def\hypothesisnameFR{{Hypothèse}}
+\def\notationnameFR{{Notation}}
+\def\examplenameFR{{Exemple}}
+\def\problemnameFR{{Problème}}
+\def\questionnameFR{{Question}}
+\def\exercisenameFR{{Exercice}}
+\def\remarknameFR{{Remarque}}
+\def\observationnameFR{{Observation}}
\expandafter\def\csname definition-propositionnameFR\endcsname{\definitionnameFR-\propositionnameFR}
\expandafter\def\csname definition-theoremnameFR\endcsname{\definitionnameFR-\theoremnameFR}
%% German theorems names
-\def\theoremnameDE{Satz}
-\def\lemmanameDE{Lemma}
-\def\propositionnameDE{Proposition}
-\def\corollarynameDE{Korollar}
-\def\propertynameDE{Eigenschaft}
-\def\factnameDE{Fakt}
-\def\conjecturenameDE{Vermutung}
-\def\definitionnameDE{Definition}
-\def\axiomnameDE{Axiom}
-\def\assumptionnameDE{Annahme}
-\def\conventionnameDE{Konvention}
-\def\hypothesisnameDE{Hypothese}
-\def\notationnameDE{Notation}
-\def\examplenameDE{Beispiel}
-\def\problemnameDE{Problem}
-\def\questionnameDE{Frage}
-\def\exercisenameDE{Übung}
-\def\remarknameDE{Bemerkung}
+\def\theoremnameDE{{Satz}}
+\def\lemmanameDE{{Lemma}}
+\def\propositionnameDE{{Proposition}}
+\def\corollarynameDE{{Korollar}}
+\def\propertynameDE{{Eigenschaft}}
+\def\factnameDE{{Fakt}}
+\def\conjecturenameDE{{Vermutung}}
+\def\definitionnameDE{{Definition}}
+\def\axiomnameDE{{Axiom}}
+\def\assumptionnameDE{{Annahme}}
+\def\conventionnameDE{{Konvention}}
+\def\hypothesisnameDE{{Hypothese}}
+\def\notationnameDE{{Notation}}
+\def\examplenameDE{{Beispiel}}
+\def\problemnameDE{{Problem}}
+\def\questionnameDE{{Frage}}
+\def\exercisenameDE{{Übung}}
+\def\remarknameDE{{Bemerkung}}
+\def\observationnameDE{{Beobachtung}}
\expandafter\def\csname definition-propositionnameDE\endcsname{\definitionnameDE-\propositionnameDE}
\expandafter\def\csname definition-theoremnameDE\endcsname{\definitionnameDE-\theoremnameDE}
+%% Italian theorems names
+\def\theoremnameIT{{Teorema}}
+\def\lemmanameIT{{Lemma}}
+\def\propositionnameIT{{Proposizione}}
+\def\corollarynameIT{{Corollario}}
+\def\propertynameIT{{Proprietà}}
+\def\factnameIT{{Fatto}}
+\def\conjecturenameIT{{Congettura}}
+\def\definitionnameIT{{Definizione}}
+\def\axiomnameIT{{Assioma}}
+\def\assumptionnameIT{{Supposizione}}
+\def\conventionnameIT{{Convenzione}}
+\def\hypothesisnameIT{{Ipotesi}}
+\def\notationnameIT{{Notazione}}
+\def\examplenameIT{{Esempio}}
+\def\problemnameIT{{Problema}}
+\def\questionnameIT{{Domanda}}
+\def\exercisenameIT{{Esercizio}}
+\def\remarknameIT{{Nota}}
+\def\observationnameIT{{Osservazione}}
+\expandafter\def\csname definition-propositionnameIT\endcsname{\definitionnameIT-\propositionnameIT}
+\expandafter\def\csname definition-theoremnameIT\endcsname{\definitionnameIT-\theoremnameIT}
+
+%% Portuguese theorems names
+\def\theoremnamePT{{Teorema}}
+\def\lemmanamePT{{Lema}}
+\def\propositionnamePT{{Proposição}}
+\def\corollarynamePT{{Corolário}}
+\def\propertynamePT{{Propriedade}}
+\def\factnamePT{{Facto}}
+\def\conjecturenamePT{{Conjetura}}
+\def\definitionnamePT{{Definição}}
+\def\axiomnamePT{{Axioma}}
+\def\assumptionnamePT{{Suposição}}
+\def\conventionnamePT{{Convenção}}
+\def\hypothesisnamePT{{Hipótese}}
+\def\notationnamePT{{Notação}}
+\def\examplenamePT{{Exemplo}}
+\def\problemnamePT{{Problema}}
+\def\questionnamePT{{Pergunta}}
+\def\exercisenamePT{{Exercício}}
+\def\remarknamePT{{Comentário}}
+\def\observationnamePT{{Observação}}
+\expandafter\def\csname definition-propositionnamePT\endcsname{\definitionnamePT-\propositionnamePT}
+\expandafter\def\csname definition-theoremnamePT\endcsname{\definitionnamePT-\theoremnamePT}
+
+%% Brazilian theorems names
+\def\theoremnameBR{{Teorema}}
+\def\lemmanameBR{{Lema}}
+\def\propositionnameBR{{Proposição}}
+\def\corollarynameBR{{Corolário}}
+\def\propertynameBR{{Propriedade}}
+\def\factnameBR{{Facto}}
+\def\conjecturenameBR{{Conjetura}}
+\def\definitionnameBR{{Definição}}
+\def\axiomnameBR{{Axioma}}
+\def\assumptionnameBR{{Suposição}}
+\def\conventionnameBR{{Convenção}}
+\def\hypothesisnameBR{{Hipótese}}
+\def\notationnameBR{{Notação}}
+\def\examplenameBR{{Exemplo}}
+\def\problemnameBR{{Problema}}
+\def\questionnameBR{{Pergunta}}
+\def\exercisenameBR{{Exercício}}
+\def\remarknameBR{{Comentário}}
+\def\observationnameBR{{Observação}}
+\expandafter\def\csname definition-propositionnameBR\endcsname{\definitionnameBR-\propositionnameBR}
+\expandafter\def\csname definition-theoremnameBR\endcsname{\definitionnameBR-\theoremnameBR}
+
+%% Spanish theorems names
+\def\theoremnameES{{Teorema}}
+\def\lemmanameES{{Lema}}
+\def\propositionnameES{{Proposición}}
+\def\corollarynameES{{Corolario}}
+\def\propertynameES{{Propiedad}}
+\def\factnameES{{Hecho}}
+\def\conjecturenameES{{Conjetura}}
+\def\definitionnameES{{Definición}}
+\def\axiomnameES{{Axioma}}
+\def\assumptionnameES{{Suposición}}
+\def\conventionnameES{{Convención}}
+\def\hypothesisnameES{{Hipótesis}}
+\def\notationnameES{{Notación}}
+\def\examplenameES{{Ejemplo}}
+\def\problemnameES{{Problema}}
+\def\questionnameES{{Pregunta}}
+\def\exercisenameES{{Ejercicio}}
+\def\remarknameES{{Comentario}}
+\def\observationnameES{{Observación}}
+\expandafter\def\csname definition-propositionnameES\endcsname{\definitionnameES-\propositionnameES}
+\expandafter\def\csname definition-theoremnameES\endcsname{\definitionnameES-\theoremnameES}
+
%% Chinese theorems names
-\def\theoremnameCN{定理}
-\def\lemmanameCN{引理}
-\def\propositionnameCN{命题}
-\def\corollarynameCN{推论}
-\def\propertynameCN{性质}
-\def\factnameCN{事实}
-\def\conjecturenameCN{猜想}
-\def\definitionnameCN{定义}
-\def\axiomnameCN{公理}
-\def\assumptionnameCN{假设}
-\def\conventionnameCN{约定}
-\def\hypothesisnameCN{假设}
-\def\notationnameCN{记号}
-\def\examplenameCN{例}
-\def\problemnameCN{问题}
-\def\questionnameCN{问题}
-\def\exercisenameCN{练习}
-\def\remarknameCN{备注}
+\def\theoremnameCN{{定理}}
+\def\lemmanameCN{{引理}}
+\def\propositionnameCN{{命题}}
+\def\corollarynameCN{{推论}}
+\def\propertynameCN{{性质}}
+\def\factnameCN{{事实}}
+\def\conjecturenameCN{{猜想}}
+\def\definitionnameCN{{定义}}
+\def\axiomnameCN{{公理}}
+\def\assumptionnameCN{{假设}}
+\def\conventionnameCN{{约定}}
+\def\hypothesisnameCN{{假设}}
+\def\notationnameCN{{记号}}
+\def\examplenameCN{{例}}
+\def\problemnameCN{{问题}}
+\def\questionnameCN{{问题}}
+\def\exercisenameCN{{练习}}
+\def\remarknameCN{{备注}}
+\def\observationnameCN{{观察}}
\expandafter\def\csname definition-propositionnameCN\endcsname{\definitionnameCN-\propositionnameCN}
\expandafter\def\csname definition-theoremnameCN\endcsname{\definitionnameCN-\theoremnameCN}
-\def\theoremnameTC{定理}
-\def\lemmanameTC{引理}
-\def\propositionnameTC{命題}
-\def\corollarynameTC{推論}
-\def\propertynameTC{性質}
-\def\factnameTC{事實}
-\def\conjecturenameTC{猜想}
-\def\definitionnameTC{定義}
-\def\axiomnameTC{公理}
-\def\assumptionnameTC{假設}
-\def\conventionnameTC{約定}
-\def\hypothesisnameTC{假設}
-\def\notationnameTC{記號}
-\def\examplenameTC{例}
-\def\problemnameTC{問題}
-\def\questionnameTC{問題}
-\def\exercisenameTC{練習}
-\def\remarknameTC{備註}
+\def\theoremnameTC{{定理}}
+\def\lemmanameTC{{引理}}
+\def\propositionnameTC{{命題}}
+\def\corollarynameTC{{推論}}
+\def\propertynameTC{{性質}}
+\def\factnameTC{{事實}}
+\def\conjecturenameTC{{猜想}}
+\def\definitionnameTC{{定義}}
+\def\axiomnameTC{{公理}}
+\def\assumptionnameTC{{假設}}
+\def\conventionnameTC{{約定}}
+\def\hypothesisnameTC{{假設}}
+\def\notationnameTC{{記號}}
+\def\examplenameTC{{例}}
+\def\problemnameTC{{問題}}
+\def\questionnameTC{{問題}}
+\def\exercisenameTC{{練習}}
+\def\remarknameTC{{備註}}
+\def\observationnameTC{{觀察}}
\expandafter\def\csname definition-propositionnameTC\endcsname{\definitionnameTC-\propositionnameTC}
\expandafter\def\csname definition-theoremnameTC\endcsname{\definitionnameTC-\theoremnameTC}
%% Japanese theorems names
-\def\theoremnameJP{定理}
-\def\lemmanameJP{補題}
-\def\propositionnameJP{命題}
-\def\corollarynameJP{系}
-\def\propertynameJP{性質}
-\def\factnameJP{事実}
-\def\conjecturenameJP{予想}
-\def\definitionnameJP{定義}
-\def\axiomnameJP{公理}
-\def\assumptionnameJP{仮定}
-\def\conventionnameJP{慣例}
-\def\hypothesisnameJP{仮設}
-\def\notationnameJP{記法}
-\def\examplenameJP{例}
-\def\problemnameJP{問題}
-\def\questionnameJP{問題}
-\def\exercisenameJP{練習}
-\def\remarknameJP{注釈}
+\def\theoremnameJP{{定理}}
+\def\lemmanameJP{{補題}}
+\def\propositionnameJP{{命題}}
+\def\corollarynameJP{{系}}
+\def\propertynameJP{{性質}}
+\def\factnameJP{{事実}}
+\def\conjecturenameJP{{予想}}
+\def\definitionnameJP{{定義}}
+\def\axiomnameJP{{公理}}
+\def\assumptionnameJP{{仮定}}
+\def\conventionnameJP{{慣例}}
+\def\hypothesisnameJP{{仮設}}
+\def\notationnameJP{{記法}}
+\def\examplenameJP{{例}}
+\def\problemnameJP{{問題}}
+\def\questionnameJP{{問題}}
+\def\exercisenameJP{{練習}}
+\def\remarknameJP{{注釈}}
+\def\observationnameJP{{観察}}
\expandafter\def\csname definition-propositionnameJP\endcsname{\definitionnameJP-\propositionnameJP}
\expandafter\def\csname definition-theoremnameJP\endcsname{\definitionnameJP-\theoremnameJP}
%% Russian theorems names
-\def\theoremnameRU{Теорема} % Теоре́ма
-\def\lemmanameRU{Лемма} % Ле́мма
-\def\propositionnameRU{Предложение} % Предложе́ние
-\def\corollarynameRU{Следствие} % Сле́дствие
-\def\propertynameRU{Имущество} % Иму́щество
-\def\factnameRU{Факт}
-\def\conjecturenameRU{Гипотеза} % Гипо́теза
-\def\definitionnameRU{Определение} % Определе́ние
-\def\axiomnameRU{Аксиома} % Аксио́ма
-\def\assumptionnameRU{Предположение} % Предположе́ние
-\def\conventionnameRU{Конвенция} % Конве́нция
-\def\hypothesisnameRU{Гипотеза} % Гипо́теза
-\def\notationnameRU{Нотация} % Нота́ция
-\def\examplenameRU{Пример} % Приме́р
-\def\problemnameRU{Проблема} % Пробле́ма
-\def\questionnameRU{Вопрос} % Вопро́с
-\def\exercisenameRU{Упражнение} % Упражне́ние
-\def\remarknameRU{Замечание} % Замеча́ние
+\def\theoremnameRU{{Теорема}} % Теоре́ма
+\def\lemmanameRU{{Лемма}} % Ле́мма
+\def\propositionnameRU{{Предложение}} % Предложе́ние
+\def\corollarynameRU{{Следствие}} % Сле́дствие
+\def\propertynameRU{{Имущество}} % Иму́щество
+\def\factnameRU{{Факт}}
+\def\conjecturenameRU{{Гипотеза}} % Гипо́теза
+\def\definitionnameRU{{Определение}} % Определе́ние
+\def\axiomnameRU{{Аксиома}} % Аксио́ма
+\def\assumptionnameRU{{Предположение}} % Предположе́ние
+\def\conventionnameRU{{Конвенция}} % Конве́нция
+\def\hypothesisnameRU{{Гипотеза}} % Гипо́теза
+\def\notationnameRU{{Нотация}} % Нота́ция
+\def\examplenameRU{{Пример}} % Приме́р
+\def\problemnameRU{{Проблема}} % Пробле́ма
+\def\questionnameRU{{Вопрос}} % Вопро́с
+\def\exercisenameRU{{Упражнение}} % Упражне́ние
+\def\remarknameRU{{Замечание}} % Замеча́ние
+\def\observationnameRU{{Наблюдение}} % Наблюде́ние
\expandafter\def\csname definition-propositionnameRU\endcsname{\definitionnameRU-\propositionnameRU}
\expandafter\def\csname definition-theoremnameRU\endcsname{\definitionnameRU-\theoremnameRU}
\newif\ifPJLthm@IsBook
-\ifdefined\chapter\PJLthm@IsBooktrue\else\PJLthm@IsBookfalse\fi
-\if@PJLthm@nothms\else
+\ifdefined\c@chapter\PJLthm@IsBooktrue\else\PJLthm@IsBookfalse\fi
%% Theorem environments
\ifbool{PJLthm@IsBook}{
- \newaliascnt{highest}{chapter}
+ \newaliascnt{PJLthm@highest}{chapter}
}{
- \newaliascnt{highest}{section}
+ \newaliascnt{PJLthm@highest}{section}
}
-\CreateTheorem{theorem}<highest>
+\if@PJLthm@nothms\else
+\CreateTheorem{theorem}<PJLthm@highest>
\CreateTheorem{lemma}[theorem]
\CreateTheorem{proposition}[theorem]
\CreateTheorem{corollary}[theorem]
@@ -1163,11 +1381,14 @@
\CreateTheorem*{exercise*}
\theoremstyle{remark}
-\CreateTheorem{remark}<highest>
+\CreateTheorem{remark}<PJLthm@highest>
\CreateTheorem*{remark*}
-\numberwithin{equation}{highest}
+\CreateTheorem{observation}<PJLthm@highest>
+\CreateTheorem*{observation*}
\fi
+\numberwithin{equation}{PJLthm@highest}
+
% Some localization of cref
\gappto{\PJLlang@langconfig@chinese}{%
\crefname{equation}{式}{式}%
@@ -1178,7 +1399,7 @@
\Crefname{figure}{图}{图}%
\Crefname{table}{表}{表}%
\Crefname{appendix}{附录}{附录}%
- \def\crefpairconjunction{~和~}%
+ \def\crefpairconjunction{、}%
\def\crefmiddleconjunction{、}%
\def\creflastconjunction{~和~}%
\def\crefpairgroupconjunction{~和~}%
@@ -1195,7 +1416,7 @@
\Crefname{figure}{圖}{圖}%
\Crefname{table}{表}{表}%
\Crefname{appendix}{附錄}{附錄}%
- \def\crefpairconjunction{~與~}%
+ \def\crefpairconjunction{、}%
\def\crefmiddleconjunction{、}%
\def\creflastconjunction{~與~}%
\def\crefpairgroupconjunction{~與~}%
@@ -1237,6 +1458,23 @@
\def\creflastgroupconjunction{~и~}%
\def\crefrangeconjunction{~\textasciitilde~}%
}
+\gappto{\PJLlang@langconfig@portuguese}{%
+ \crefname{equation}{eq.}{eqs.}%
+ \crefname{figure}{fig.}{figs.}%
+ \crefname{table}{tabela}{tabelas}%
+ \crefname{appendix}{apêndice}{apêndices}%
+ \Crefname{equation}{Eq.}{Eqs.}%
+ \Crefname{figure}{Fig.}{Figs.}%
+ \Crefname{table}{Tabela}{Tabelas}%
+ \Crefname{appendix}{Apêndice}{Apêndices}%
+ \def\crefpairconjunction{ e\nobreakspace}%
+ \def\crefmiddleconjunction{, }%
+ \def\creflastconjunction{ e\nobreakspace}%
+ \def\crefpairgroupconjunction{ e\nobreakspace}%
+ \def\crefmiddlegroupconjunction{, }%
+ \def\creflastgroupconjunction{ e\nobreakspace}%
+ \def\crefrangeconjunction{ a\nobreakspace}%
+}
%</PJLthm>
%
%<*PJLtoolkit>
@@ -1316,6 +1554,7 @@
\if@PJLtoolkit@garamond
\RequirePackage{amssymb}
+ \PassOptionsToPackage{lining}{ebgaramond}
\RequirePackage{ebgaramond-maths}
\RequirePackage{ebgaramond}
% \RequirePackage{garamondlibre}
@@ -1324,7 +1563,7 @@
\if@PJLtoolkit@biolinum
\RequirePackage{amssymb}
- \RequirePackage{mathpazo}
+ % \RequirePackage{mathpazo}
% \RequirePackage[sansmath]{libertinust1math}
\ifPDFTeX
\RequirePackage{biolinum}
@@ -1338,6 +1577,7 @@
BoldItalicFont = LinBiolinum_RBO.otf ]
\fi
\PJLsetlinespacing{\setstretch{1.05}}
+ \RequirePackage[italic,defaultmathsizes]{mathastext}
\fi
\fi