texlive[60914] Master/texmf-dist: projlib (31oct21)

commits+karl at tug.org commits+karl at tug.org
Sun Oct 31 22:09:13 CET 2021


Revision: 60914
          http://tug.org/svn/texlive?view=revision&revision=60914
Author:   karl
Date:     2021-10-31 22:09:13 +0100 (Sun, 31 Oct 2021)
Log Message:
-----------
projlib (31oct21)

Modified Paths:
--------------
    trunk/Master/texmf-dist/doc/latex/projlib/ProjLib-doc-cn.pdf
    trunk/Master/texmf-dist/doc/latex/projlib/ProjLib-doc-cn.tex
    trunk/Master/texmf-dist/doc/latex/projlib/ProjLib-doc-en.pdf
    trunk/Master/texmf-dist/doc/latex/projlib/ProjLib-doc-en.tex
    trunk/Master/texmf-dist/doc/latex/projlib/ProjLib-doc-fr.pdf
    trunk/Master/texmf-dist/doc/latex/projlib/ProjLib-doc-fr.tex
    trunk/Master/texmf-dist/source/latex/projlib/ProjLib-doc.dtx
    trunk/Master/texmf-dist/source/latex/projlib/ProjLib.dtx
    trunk/Master/texmf-dist/tex/latex/projlib/PJLauthor.sty
    trunk/Master/texmf-dist/tex/latex/projlib/PJLdate.sty
    trunk/Master/texmf-dist/tex/latex/projlib/PJLdraft.sty
    trunk/Master/texmf-dist/tex/latex/projlib/PJLlang.sty
    trunk/Master/texmf-dist/tex/latex/projlib/PJLlogo.sty
    trunk/Master/texmf-dist/tex/latex/projlib/PJLmath.sty
    trunk/Master/texmf-dist/tex/latex/projlib/PJLpaper.sty
    trunk/Master/texmf-dist/tex/latex/projlib/PJLthm.sty
    trunk/Master/texmf-dist/tex/latex/projlib/ProjLib.sty

Modified: trunk/Master/texmf-dist/doc/latex/projlib/ProjLib-doc-cn.pdf
===================================================================
(Binary files differ)

Modified: trunk/Master/texmf-dist/doc/latex/projlib/ProjLib-doc-cn.tex
===================================================================
--- trunk/Master/texmf-dist/doc/latex/projlib/ProjLib-doc-cn.tex	2021-10-31 21:08:53 UTC (rev 60913)
+++ trunk/Master/texmf-dist/doc/latex/projlib/ProjLib-doc-cn.tex	2021-10-31 21:09:13 UTC (rev 60914)
@@ -85,7 +85,7 @@
 
 \title{\ProjLib{} 工具集\\[.3\baselineskip]\normalsize 使用指南}
 \author{许锦文}
-\thanks{对应版本.~~\texttt{\ProjLib{}~2021/10/24}}
+\thanks{对应版本.~~\texttt{\ProjLib{}~2021/10/30}}
 \email{\href{mailto:ProjLib at outlook.com}{ProjLib at outlook.com}}
 \date{2021年10月,巴黎}
 
@@ -247,6 +247,7 @@
 
 常见的定理类环境可以直接使用。在引用的时候,建议采用智能引用 \lstinline|\cref{|\meta{label}\lstinline|}|——这样就不必每次都写上相应环境的名称了。
 
+\clearpage
 \section{主宏包的选项}
 
 \ProjLibPackage{} 提供下列选项以供选择:
@@ -260,7 +261,7 @@
             \item 字体选项。顾名思义,会加载相应名称的字体。
             \item \texttt{useosf} 选项用来启用“旧式”数字。
         \end{itemize}
-    \item \texttt{nothms}、\texttt{delaythms}、\texttt{nothmnum}、\texttt{thmnum} 或 \texttt{thmnum=}\meta{counter}、\texttt{regionalref}、\texttt{originalref}
+    \item \texttt{nothms}、\texttt{delaythms}、\texttt{nothmnum}、\texttt{thmnum} 或 \texttt{thmnum=}\meta{counter}、\texttt{complexname}、\texttt{simplename}、\texttt{regionalref}、\texttt{originalref}
         \begin{itemize}
             \item 来自用于设置定理类环境的组件 \PJLthm{} 的选项,详细信息请参阅有关这一宏包的小节。
         \end{itemize}
@@ -281,32 +282,6 @@
 
 \subsection{主要功能}
 
-\subsubsection{PJLauthor:增强的作者信息块}
-
-\PJLauthor{} 提供了 \lstinline|\address|、\lstinline|\curraddr|、\lstinline|\email| 命令,并且允许输入多组用户信息。标准的输入方式是这样的:
-\begin{code}
-\author{(*\meta{author 1}*)}
-\address{(*\meta{address 1}*)}
-\email{(*\meta{email 1}*)}
-\author{(*\meta{author 2}*)}
-\address{(*\meta{address 2}*)}
-\email{(*\meta{email 2}*)}
-...
-\end{code}
-其中 \lstinline|\address|、\lstinline|\curraddr|、\lstinline|\email| 的相互顺序是不重要的。
-
-\medskip
-另外,你可以通过选项 \texttt{amsfashion} 以使用 \AmS{} 方式写作。具体来说,效果为:
-\begin{itemize}
-    \item 提供 \lstinline|\dedicatory|、\lstinline|\keywords| 及 \lstinline|\subjclass| 命令
-    \item \lstinline|\thanks| 可以写在 \lstinline|\author| 之外
-    \item \lstinline|abstract| 环境可以放在 \lstinline|\maketitle| 的前面
-\end{itemize}
-
-\begin{tip}[注意]
-    这些功能只在标准文档类中启用。在 \AmS{} 文档类中,\PJLauthor{} 不会起到任何效果。
-\end{tip}
-
 \subsubsection{PJLlang:多语言支持}
 
 \PJLlang{} 提供了多语言支持,包括简体中文、繁体中文、英文、法文、德文、日文、俄文 (其中中文、日文、俄文需要相应的 \TeX{} 引擎与字体支持)。
@@ -331,7 +306,7 @@
     \end{itemize}
 \end{itemize}
 
-\clearpage
+\medskip
 \meta{language name} 有下列选择 (不区分大小写,如 \texttt{French} 或 \texttt{french} 均可):
 \begin{itemize}\setstretch{1.15}
     \item 简体中文:\texttt{CN}、\texttt{Chinese}、\texttt{SChinese} 或 \texttt{SimplifiedChinese}
@@ -377,6 +352,10 @@
     \begin{itemize}
         \item 使定理类环境均不编号 / 按照 1、2、3 顺序编号 / 在 \meta{counter} 内编号。其中 \meta{counter} 应该是自带的计数器 (如 \texttt{subsection}) 或在导言部分自定义的计数器 (在启用 \texttt{delaythms} 选项的情况下)。在没有使用任何选项的情况下将按照 \texttt{chapter} (书) 或 \texttt{section} (文章) 编号。
     \end{itemize}
+    \item \texttt{complexname}、\texttt{simplename}
+    \begin{itemize}
+        \item 对于预设的定理名称,使用详细版本(默认)或简易版本。详细版本包含单复数的差别,并且在可能的情况下加入了定冠词;简易版本则统一采用单个单词的名称,不区分单复数。
+    \end{itemize}
     \item \texttt{regionalref}、\texttt{originalref}
     \begin{itemize}
         \item 在智能引用时,定理类环境的名称是否随当前语言而变化。默认为 \texttt{regionalref},即引用时采用当前语言对应的名称;例如,在中文语境中引用定理类环境时,无论原环境处在什么语境中,都将使用名称“定理、定义……”。若启用 \texttt{originalref},则引用时会始终采用定理类环境所处语境下的名称;例如,在英文语境中书写的定理,即使稍后在中文语境下引用时,仍将显示为 Theorem。
@@ -429,7 +408,7 @@
     除此以外,你也可以在定义相应的定理类环境时为之命名,可以参见后文对 \lstinline|\CreateTheorem| 的说明。
 \end{tip}
 
-\clearpage
+\bigskip
 然后,用下面五种方式之一定义这一环境:
 \begin{itemize}
     \item \lstinline|\CreateTheorem*{|\meta{name of environment}\lstinline|}|
@@ -525,10 +504,35 @@
 }
 \end{code}
 
-\clearpage
 
 \subsection{次要功能}
 
+\subsubsection{PJLauthor:增强的作者信息块}
+
+\PJLauthor{} 提供了 \lstinline|\address|、\lstinline|\curraddr|、\lstinline|\email| 命令,并且允许输入多组用户信息。标准的输入方式是这样的:
+\begin{code}
+\author{(*\meta{author 1}*)}
+\address{(*\meta{address 1}*)}
+\email{(*\meta{email 1}*)}
+\author{(*\meta{author 2}*)}
+\address{(*\meta{address 2}*)}
+\email{(*\meta{email 2}*)}
+...
+\end{code}
+其中 \lstinline|\address|、\lstinline|\curraddr|、\lstinline|\email| 的相互顺序是不重要的。
+
+\medskip
+另外,你可以通过选项 \texttt{amsfashion} 以使用 \AmS{} 方式写作。具体来说,效果为:
+\begin{itemize}
+    \item 提供 \lstinline|\dedicatory|、\lstinline|\keywords| 及 \lstinline|\subjclass| 命令
+    \item \lstinline|\thanks| 可以写在 \lstinline|\author| 之外
+    \item \lstinline|abstract| 环境可以放在 \lstinline|\maketitle| 的前面
+\end{itemize}
+
+\begin{tip}[注意]
+    这些功能只在标准文档类中启用。在 \AmS{} 文档类中,\PJLauthor{} 不会起到任何效果。
+\end{tip}
+
 \subsubsection{PJLdate:智能日期处理}
 
 \PJLdatePackage{} 提供了 \lstinline|\PLdate|\meta{yyyy-mm-dd} (或 \lstinline|\PJLdate|\meta{yyyy-mm-dd}) 命令,以将 \meta{yyyy-mm-dd} 转换为当前语言的日期格式显示。例如,在当前的中文语境下,\lstinline|\PLdate{2022-04-01}| 会被显示为“\PJLdate{2022-04-01}”,而在英文语境下则会被显示为“\UseOtherLanguage{English}{\PJLdate{2022-04-01}}”。

Modified: trunk/Master/texmf-dist/doc/latex/projlib/ProjLib-doc-en.pdf
===================================================================
(Binary files differ)

Modified: trunk/Master/texmf-dist/doc/latex/projlib/ProjLib-doc-en.tex
===================================================================
--- trunk/Master/texmf-dist/doc/latex/projlib/ProjLib-doc-en.tex	2021-10-31 21:08:53 UTC (rev 60913)
+++ trunk/Master/texmf-dist/doc/latex/projlib/ProjLib-doc-en.tex	2021-10-31 21:09:13 UTC (rev 60914)
@@ -85,9 +85,9 @@
 
 \title{\ProjLib{}~\,Toolkit\\[.3\baselineskip]\normalsize User Manual}
 \author{Jinwen XU}
-\thanks{Corresponding to: \texttt{\ProjLib{}~2021/10/24}}
+\thanks{Corresponding to: \texttt{\ProjLib{}~2021/10/30}}
 \email{\href{mailto:ProjLib at outlook.com}{ProjLib at outlook.com}}
-\date{October 2021, Paris}
+\date{October 2021, in Paris}
 
 \maketitle
 
@@ -248,6 +248,7 @@
 
 Commonly used theorem-like environments have been pre-defined. Also, when referencing a theorem-like environment, it is recommended to use \lstinline|\cref{|\meta{label}\texttt{\}} --- in this way, there is no need to explicitly write down the name of the corresponding environment every time.
 
+\clearpage
 \section{Options of the main package}
 
 \ProjLibPackage{} offers the following options:
@@ -261,7 +262,7 @@
             \item Font options. As the names suggest, font with corresponding name will be loaded.
             \item The \texttt{useosf} option is used to enable the old-style figures.
         \end{itemize}
-    \item \texttt{nothms}, \texttt{delaythms}, \texttt{nothmnum}, \texttt{thmnum} or \texttt{thmnum=}\meta{counter}, \texttt{regionalref}, \texttt{originalref}
+    \item \texttt{nothms}, \texttt{delaythms}, \texttt{nothmnum}, \texttt{thmnum} or \texttt{thmnum=}\meta{counter}, \texttt{complexname}, \texttt{simplename}, \texttt{regionalref}, \texttt{originalref}
         \begin{itemize}
             \item Options from the component \PJLthm{} used for setting theorem-like environments, please refer to the section on this package for details.
         \end{itemize}
@@ -282,32 +283,6 @@
 
 \subsection{Main functions}
 
-\subsubsection{PJLauthor: enhanced author block}
-
-\PJLauthor{} offers \lstinline|\address|, \lstinline|\curraddr| and \lstinline|\email|, and allows you to enter multiple groups of author information. The standard usage is like this:
-\begin{code}
-\author{(*\meta{author 1}*)}
-\address{(*\meta{address 1}*)}
-\email{(*\meta{email 1}*)}
-\author{(*\meta{author 2}*)}
-\address{(*\meta{address 2}*)}
-\email{(*\meta{email 2}*)}
-...
-\end{code}
-The mutual order of \lstinline|\address|, \lstinline|\curraddr| and \lstinline|\email| is not important.
-
-\medskip
-In addition, you can use the option \texttt{amsfashion} to enable the \AmS{} fashion. More specifically, the effect is:
-\begin{itemize}
-    \item Provides the macros \lstinline|\dedicatory|, \lstinline|\keywords| and \lstinline|\subjclass|;
-    \item \lstinline|\thanks| can be written outside \lstinline|\author|;
-    \item The \lstinline|abstract| environment can be placed before \lstinline|\maketitle|.
-\end{itemize}
-
-\begin{tip}[Attention]
-    These modifications would only take place in standard classes. In the \AmS{} classes, \PJLauthor{} does not have any effect.
-\end{tip}
-
 \subsubsection{PJLlang: multi-language support}
 
 \PJLlang{} offers multi-language support, including simplified Chinese, traditional Chinese, English, French, German, Japanese, and Russian (among them, Chinese, Japanese, and Russian require appropriate \TeX{} engines and fonts to support).
@@ -375,6 +350,10 @@
     \begin{itemize}
         \item Theorem-like environments will not be numbered / numbered in order 1, 2, 3... / numbered within \meta{counter}. Here, \meta{counter} should be a built-in counter (such as \texttt{subsection}) or a custom counter defined in the preamble (with the option \texttt{delaythms} enabled). If no option is used, they will be numbered within \texttt{chapter} (book) or \texttt{section} (article).
     \end{itemize}
+    \item \texttt{complexname}, \texttt{simplename}
+        \begin{itemize}
+            \item Enabled the detailed preset (default) or the simple preset for names of theorem-like environments. The detailed version includes singular and plural forms, and, where possible, the definite articles; the simple version uses always the same word, without distinction between singular and plural forms.
+        \end{itemize}
     \item \texttt{regionalref}, \texttt{originalref}
     \begin{itemize}
         \item When referencing, whether the name of the theorem-like environment changes with the current language. The default is \texttt{regionalref}, \emph{i.e.}, the name corresponding to the current language is used; for example, when referencing a theorem-like environment in English context, the names "Theorem, Definition..." will be used no matter which language context the original environment is in. If \texttt{originalref} is enabled, then the name will always remain the same as the original place; for example, when referencing a theorem written in the French context, even if one is currently in the English context, it will still be displayed as ``Théorème''.
@@ -524,10 +503,35 @@
 }
 \end{code}
 
-\clearpage
 
 \subsection{Secondary functions}
 
+\subsubsection{PJLauthor: enhanced author block}
+
+\PJLauthor{} offers \lstinline|\address|, \lstinline|\curraddr| and \lstinline|\email|, and allows you to enter multiple groups of author information. The standard usage is like this:
+\begin{code}
+\author{(*\meta{author 1}*)}
+\address{(*\meta{address 1}*)}
+\email{(*\meta{email 1}*)}
+\author{(*\meta{author 2}*)}
+\address{(*\meta{address 2}*)}
+\email{(*\meta{email 2}*)}
+...
+\end{code}
+The mutual order of \lstinline|\address|, \lstinline|\curraddr| and \lstinline|\email| is not important.
+
+\medskip
+In addition, you can use the option \texttt{amsfashion} to enable the \AmS{} fashion. More specifically, the effect is:
+\begin{itemize}
+    \item Provides the macros \lstinline|\dedicatory|, \lstinline|\keywords| and \lstinline|\subjclass|;
+    \item \lstinline|\thanks| can be written outside \lstinline|\author|;
+    \item The \lstinline|abstract| environment can be placed before \lstinline|\maketitle|.
+\end{itemize}
+
+\begin{tip}[Attention]
+    These modifications would only take place in standard classes. In the \AmS{} classes, \PJLauthor{} does not have any effect.
+\end{tip}
+
 \subsubsection{PJLdate: date-time processing}
 
 \PJLdatePackage{} offers the \lstinline|\PLdate|\meta{yyyy-mm-dd} (or \lstinline|\PJLdate|\meta{yyyy-mm-dd}) macro to convert \meta{yyyy-mm-dd} into the date format of the currently selected language. For example, in current English context, \lstinline|\PLdate{2022-04-01}| would become ``\PLdate{2022-04-01}'', while in French context as ``\UseOtherLanguage{French}{\PLdate{2022-04-01}}''.

Modified: trunk/Master/texmf-dist/doc/latex/projlib/ProjLib-doc-fr.pdf
===================================================================
(Binary files differ)

Modified: trunk/Master/texmf-dist/doc/latex/projlib/ProjLib-doc-fr.tex
===================================================================
--- trunk/Master/texmf-dist/doc/latex/projlib/ProjLib-doc-fr.tex	2021-10-31 21:08:53 UTC (rev 60913)
+++ trunk/Master/texmf-dist/doc/latex/projlib/ProjLib-doc-fr.tex	2021-10-31 21:09:13 UTC (rev 60914)
@@ -85,7 +85,7 @@
 
 \title{La boîte à outils~\,\ProjLib{}\\[.3\baselineskip]\normalsize Manuel d'utilisation}
 \author{Jinwen XU}
-\thanks{Correspondant à : \texttt{\ProjLib{}~2021/10/24}}
+\thanks{Correspondant à : \texttt{\ProjLib{}~2021/10/30}}
 \email{\href{mailto:ProjLib at outlook.com}{ProjLib at outlook.com}}
 \date{Octobre 2021, à Paris}
 
@@ -248,6 +248,7 @@
 
 Les environnements de type théorème couramment utilisés ont été prédéfinis. De plus, lors du référencement d'un environnement de type théorème, il est recommandé d'utiliser \lstinline|\cref{|\meta{label}\texttt{\}} --- de cette manière, il ne serait pas nécessaire d'écrire explicitement le nom de l'environnement correspondant à chaque fois.
 
+\clearpage
 \section{Options du package principal}
 
 \ProjLibPackage{} a les options suivantes :
@@ -261,7 +262,7 @@
             \item Options de police. Comme les noms l'indiquent, la police avec le nom correspondant sera utilisée.
             \item L'option \texttt{useosf} est pour activer les chiffres à l'ancienne.
         \end{itemize}
-    \item \texttt{nothms}, \texttt{delaythms}, \texttt{nothmnum}, \texttt{thmnum} ou \texttt{thmnum=}\meta{counter}, \texttt{regionalref}, \texttt{originalref}
+    \item \texttt{nothms}, \texttt{delaythms}, \texttt{nothmnum}, \texttt{thmnum} ou \texttt{thmnum=}\meta{counter}, \texttt{complexname}, \texttt{simplename}, \texttt{regionalref}, \texttt{originalref}
         \begin{itemize}
             \item Options du composant \PJLthm{} utilisé pour définir des environnements de type théorème, veuillez vous référer à la section sur ce package pour plus de détails.
         \end{itemize}
@@ -282,32 +283,6 @@
 
 \subsection{Fonctions principales}
 
-\subsubsection{PJLauthor : bloc auteur amélioré}
-
-\PJLauthor{} propose les macros \lstinline|\address|, \lstinline|\curraddr| et \lstinline|\email|, et vous permet de saisir plusieurs groupes d'informations sur l'auteur. L'utilisation standard est comme ceci :
-\begin{code}
-\author{(*\meta{author 1}*)}
-\address{(*\meta{address 1}*)}
-\email{(*\meta{email 1}*)}
-\author{(*\meta{author 2}*)}
-\address{(*\meta{address 2}*)}
-\email{(*\meta{email 2}*)}
-...
-\end{code}
-L'ordre mutuel de \lstinline|\address|, \lstinline|\curraddr| et \lstinline|\email| n'est pas important.
-
-\medskip
-De plus, vous pouvez utiliser l'option \texttt{amsfashion} pour écrire à la manière \AmS{}. Plus précisément, l'effet est :
-\begin{itemize}
-    \item Fournit les macros \lstinline|\dedicatory|, \lstinline|\keywords| et \lstinline|\subjclass|;
-    \item \lstinline|\thanks| peut être écrit en dehors de la macro \lstinline|\author|;
-    \item La environnement \lstinline|abstract| peut être placé avant \lstinline|\maketitle|.
-\end{itemize}
-
-\begin{tip}[Attention]
-    Ces modifications n'auraient lieu que dans les classes standard. Dans les classes \AmS{}, \PJLauthor{} n'a aucun effet.
-\end{tip}
-
 \subsubsection{PJLlang : support multilingue}
 
 \PJLlang{} offre le support multilingue, notamment : chinois simplifié, chinois traditionnel, anglais, français, allemand, japonais et russe (parmi eux, le chinois, le japonais et le russe requièrent des moteurs \TeX{} et des polices appropriés).
@@ -375,6 +350,10 @@
     \begin{itemize}
         \item Les environnements de type théorème ne seront pas numérotés / numérotés dans l'ordre 1, 2, 3... / numérotés dans \meta{counter}. Ici, \meta{counter} doit être un compteur intégré (tel que \texttt{subsection}) ou un compteur défini dans le préambule (avec l'option \texttt{delaythms} activée). Si aucune option n'est utilisée, ils seront numérotés dans \texttt{chapter} (livre) ou \texttt{section} (article).
     \end{itemize}
+    \item \texttt{complexname}, \texttt{simplename}
+        \begin{itemize}
+            \item Utilisez le preset détaillé (par défaut) ou le preset simple pour les noms des environnements de type théorème. La version détaillée inclut les formes singulières et plurielles, et, où possible, les articles définis ; la version simple utilise toujours le même mot, sans distinction entre les formes singulières ou plurielles.
+        \end{itemize}
     \item \texttt{regionalref}, \texttt{originalref}
     \begin{itemize}
         \item Lors du référencement, si le nom de l'environnement de type théorème change avec la langue actuelle. Par défaut \texttt{regionalref} est activé, c'est-à-dire que le nom correspondant à la langue courante est utilisé ; par exemple, lors du référencement d'un environnement de type théorème dans un contexte français, les noms «~Théorème, Définition ...~» seront utilisés quel que soit le contexte linguistique dans lequel se trouve l'environnement d'origine. Si \texttt{originalref} est activé, alors le nom restera toujours le même que l'environnement d'origine ; par exemple, lors du référencement d'un théorème écrit dans le contexte français, même si l'on est actuellement dans le contexte anglais, il sera toujours affiché comme «~Théorème~».
@@ -524,10 +503,35 @@
 }
 \end{code}
 
-\clearpage
 
 \subsection{Fonctions secondaires}
 
+\subsubsection{PJLauthor : bloc auteur amélioré}
+
+\PJLauthor{} propose les macros \lstinline|\address|, \lstinline|\curraddr| et \lstinline|\email|, et vous permet de saisir plusieurs groupes d'informations sur l'auteur. L'utilisation standard est comme ceci :
+\begin{code}
+\author{(*\meta{author 1}*)}
+\address{(*\meta{address 1}*)}
+\email{(*\meta{email 1}*)}
+\author{(*\meta{author 2}*)}
+\address{(*\meta{address 2}*)}
+\email{(*\meta{email 2}*)}
+...
+\end{code}
+L'ordre mutuel de \lstinline|\address|, \lstinline|\curraddr| et \lstinline|\email| n'est pas important.
+
+\medskip
+De plus, vous pouvez utiliser l'option \texttt{amsfashion} pour écrire à la manière \AmS{}. Plus précisément, l'effet est :
+\begin{itemize}
+    \item Fournit les macros \lstinline|\dedicatory|, \lstinline|\keywords| et \lstinline|\subjclass|;
+    \item \lstinline|\thanks| peut être écrit en dehors de la macro \lstinline|\author|;
+    \item La environnement \lstinline|abstract| peut être placé avant \lstinline|\maketitle|.
+\end{itemize}
+
+\begin{tip}[Attention]
+    Ces modifications n'auraient lieu que dans les classes standard. Dans les classes \AmS{}, \PJLauthor{} n'a aucun effet.
+\end{tip}
+
 \subsubsection{PJLdate : traitement de date-heure}
 
 \PJLdatePackage{} propose la macro \lstinline|\PLdate|\meta{yyyy-mm-dd} (ou \lstinline|\PJLdate|\meta{yyyy-mm-dd}) pour convertir \meta{yyyy-mm-dd} dans le format de date de la langue actuellement sélectionnée. Par exemple, dans le contexte français actuel, \lstinline|\PLdate{2022-04-01}| deviendrait «~\PLdate{2022-04-01}~», tandis que dans le contexte anglais «~\UseOtherLanguage{English}{\PLdate{2022-04-01}}~».

Modified: trunk/Master/texmf-dist/source/latex/projlib/ProjLib-doc.dtx
===================================================================
--- trunk/Master/texmf-dist/source/latex/projlib/ProjLib-doc.dtx	2021-10-31 21:08:53 UTC (rev 60913)
+++ trunk/Master/texmf-dist/source/latex/projlib/ProjLib-doc.dtx	2021-10-31 21:09:13 UTC (rev 60914)
@@ -107,7 +107,7 @@
 %<*ProjLib-doc-cn>
 \title{\ProjLib{} 工具集\\[.3\baselineskip]\normalsize 使用指南}
 \author{许锦文}
-\thanks{对应版本.~~\texttt{\ProjLib{}~2021/10/24}}
+\thanks{对应版本.~~\texttt{\ProjLib{}~2021/10/30}}
 \email{\href{mailto:ProjLib at outlook.com}{ProjLib at outlook.com}}
 \date{2021年10月,巴黎}
 %</ProjLib-doc-cn>
@@ -115,15 +115,15 @@
 %<*ProjLib-doc-en>
 \title{\ProjLib{}~\,Toolkit\\[.3\baselineskip]\normalsize User Manual}
 \author{Jinwen XU}
-\thanks{Corresponding to: \texttt{\ProjLib{}~2021/10/24}}
+\thanks{Corresponding to: \texttt{\ProjLib{}~2021/10/30}}
 \email{\href{mailto:ProjLib at outlook.com}{ProjLib at outlook.com}}
-\date{October 2021, Paris}
+\date{October 2021, in Paris}
 %</ProjLib-doc-en>
 %
 %<*ProjLib-doc-fr>
 \title{La boîte à outils~\,\ProjLib{}\\[.3\baselineskip]\normalsize Manuel d'utilisation}
 \author{Jinwen XU}
-\thanks{Correspondant à : \texttt{\ProjLib{}~2021/10/24}}
+\thanks{Correspondant à : \texttt{\ProjLib{}~2021/10/30}}
 \email{\href{mailto:ProjLib at outlook.com}{ProjLib at outlook.com}}
 \date{Octobre 2021, à Paris}
 %</ProjLib-doc-fr>
@@ -585,6 +585,7 @@
 Les environnements de type théorème couramment utilisés ont été prédéfinis. De plus, lors du référencement d'un environnement de type théorème, il est recommandé d'utiliser \lstinline|\cref{|\meta{label}\texttt{\}} --- de cette manière, il ne serait pas nécessaire d'écrire explicitement le nom de l'environnement correspondant à chaque fois.
 %</ProjLib-doc-fr>
 
+\clearpage
 %<*ProjLib-doc-cn>
 \section{主宏包的选项}
 
@@ -599,7 +600,7 @@
             \item 字体选项。顾名思义,会加载相应名称的字体。
             \item \texttt{useosf} 选项用来启用“旧式”数字。
         \end{itemize}
-    \item \texttt{nothms}、\texttt{delaythms}、\texttt{nothmnum}、\texttt{thmnum} 或 \texttt{thmnum=}\meta{counter}、\texttt{regionalref}、\texttt{originalref}
+    \item \texttt{nothms}、\texttt{delaythms}、\texttt{nothmnum}、\texttt{thmnum} 或 \texttt{thmnum=}\meta{counter}、\texttt{complexname}、\texttt{simplename}、\texttt{regionalref}、\texttt{originalref}
         \begin{itemize}
             \item 来自用于设置定理类环境的组件 \PJLthm{} 的选项,详细信息请参阅有关这一宏包的小节。
         \end{itemize}
@@ -629,7 +630,7 @@
             \item Font options. As the names suggest, font with corresponding name will be loaded. 
             \item The \texttt{useosf} option is used to enable the old-style figures.
         \end{itemize}
-    \item \texttt{nothms}, \texttt{delaythms}, \texttt{nothmnum}, \texttt{thmnum} or \texttt{thmnum=}\meta{counter}, \texttt{regionalref}, \texttt{originalref}
+    \item \texttt{nothms}, \texttt{delaythms}, \texttt{nothmnum}, \texttt{thmnum} or \texttt{thmnum=}\meta{counter}, \texttt{complexname}, \texttt{simplename}, \texttt{regionalref}, \texttt{originalref}
         \begin{itemize}
             \item Options from the component \PJLthm{} used for setting theorem-like environments, please refer to the section on this package for details.
         \end{itemize}
@@ -659,7 +660,7 @@
             \item Options de police. Comme les noms l'indiquent, la police avec le nom correspondant sera utilisée.
             \item L'option \texttt{useosf} est pour activer les chiffres à l'ancienne.
         \end{itemize}
-    \item \texttt{nothms}, \texttt{delaythms}, \texttt{nothmnum}, \texttt{thmnum} ou \texttt{thmnum=}\meta{counter}, \texttt{regionalref}, \texttt{originalref}
+    \item \texttt{nothms}, \texttt{delaythms}, \texttt{nothmnum}, \texttt{thmnum} ou \texttt{thmnum=}\meta{counter}, \texttt{complexname}, \texttt{simplename}, \texttt{regionalref}, \texttt{originalref}
         \begin{itemize}
             \item Options du composant \PJLthm{} utilisé pour définir des environnements de type théorème, veuillez vous référer à la section sur ce package pour plus de détails.
         \end{itemize}
@@ -704,91 +705,6 @@
 %</ProjLib-doc-fr>
 
 %<*ProjLib-doc-cn>
-\subsubsection{PJLauthor:增强的作者信息块}
-
-\PJLauthor{} 提供了 \lstinline|\address|、\lstinline|\curraddr|、\lstinline|\email| 命令,并且允许输入多组用户信息。标准的输入方式是这样的:
-\begin{code}
-\author{(*\meta{author 1}*)}
-\address{(*\meta{address 1}*)}
-\email{(*\meta{email 1}*)}
-\author{(*\meta{author 2}*)}
-\address{(*\meta{address 2}*)}
-\email{(*\meta{email 2}*)}
-...
-\end{code}
-其中 \lstinline|\address|、\lstinline|\curraddr|、\lstinline|\email| 的相互顺序是不重要的。
-
-\medskip
-另外,你可以通过选项 \texttt{amsfashion} 以使用 \AmS{} 方式写作。具体来说,效果为:
-\begin{itemize}
-    \item 提供 \lstinline|\dedicatory|、\lstinline|\keywords| 及 \lstinline|\subjclass| 命令
-    \item \lstinline|\thanks| 可以写在 \lstinline|\author| 之外
-    \item \lstinline|abstract| 环境可以放在 \lstinline|\maketitle| 的前面
-\end{itemize}
-
-\begin{tip}[注意]
-    这些功能只在标准文档类中启用。在 \AmS{} 文档类中,\PJLauthor{} 不会起到任何效果。
-\end{tip}
-%</ProjLib-doc-cn>
-%
-%<*ProjLib-doc-en>
-\subsubsection{PJLauthor: enhanced author block}
-
-\PJLauthor{} offers \lstinline|\address|, \lstinline|\curraddr| and \lstinline|\email|, and allows you to enter multiple groups of author information. The standard usage is like this:
-\begin{code}
-\author{(*\meta{author 1}*)}
-\address{(*\meta{address 1}*)}
-\email{(*\meta{email 1}*)}
-\author{(*\meta{author 2}*)}
-\address{(*\meta{address 2}*)}
-\email{(*\meta{email 2}*)}
-...
-\end{code}
-The mutual order of \lstinline|\address|, \lstinline|\curraddr| and \lstinline|\email| is not important.
-
-\medskip
-In addition, you can use the option \texttt{amsfashion} to enable the \AmS{} fashion. More specifically, the effect is:
-\begin{itemize}
-    \item Provides the macros \lstinline|\dedicatory|, \lstinline|\keywords| and \lstinline|\subjclass|;
-    \item \lstinline|\thanks| can be written outside \lstinline|\author|;
-    \item The \lstinline|abstract| environment can be placed before \lstinline|\maketitle|.
-\end{itemize}
-
-\begin{tip}[Attention]
-    These modifications would only take place in standard classes. In the \AmS{} classes, \PJLauthor{} does not have any effect.
-\end{tip}
-%</ProjLib-doc-en>
-%
-%<*ProjLib-doc-fr>
-\subsubsection{PJLauthor : bloc auteur amélioré}
-
-\PJLauthor{} propose les macros \lstinline|\address|, \lstinline|\curraddr| et \lstinline|\email|, et vous permet de saisir plusieurs groupes d'informations sur l'auteur. L'utilisation standard est comme ceci :
-\begin{code}
-\author{(*\meta{author 1}*)}
-\address{(*\meta{address 1}*)}
-\email{(*\meta{email 1}*)}
-\author{(*\meta{author 2}*)}
-\address{(*\meta{address 2}*)}
-\email{(*\meta{email 2}*)}
-...
-\end{code}
-L'ordre mutuel de \lstinline|\address|, \lstinline|\curraddr| et \lstinline|\email| n'est pas important.
-
-\medskip
-De plus, vous pouvez utiliser l'option \texttt{amsfashion} pour écrire à la manière \AmS{}. Plus précisément, l'effet est :
-\begin{itemize}
-    \item Fournit les macros \lstinline|\dedicatory|, \lstinline|\keywords| et \lstinline|\subjclass|;
-    \item \lstinline|\thanks| peut être écrit en dehors de la macro \lstinline|\author|;
-    \item La environnement \lstinline|abstract| peut être placé avant \lstinline|\maketitle|.
-\end{itemize}
-
-\begin{tip}[Attention]
-    Ces modifications n'auraient lieu que dans les classes standard. Dans les classes \AmS{}, \PJLauthor{} n'a aucun effet.
-\end{tip}
-%</ProjLib-doc-fr>
-
-
-%<*ProjLib-doc-cn>
 \subsubsection{PJLlang:多语言支持}
 
 \PJLlang{} 提供了多语言支持,包括简体中文、繁体中文、英文、法文、德文、日文、俄文 (其中中文、日文、俄文需要相应的 \TeX{} 引擎与字体支持)。
@@ -813,8 +729,7 @@
     \end{itemize}
 \end{itemize}
 
-% \medskip
-\clearpage
+\medskip
 \meta{language name} 有下列选择 (不区分大小写,如 \texttt{French} 或 \texttt{french} 均可):
 \begin{itemize}\setstretch{1.15}
     \item 简体中文:\texttt{CN}、\texttt{Chinese}、\texttt{SChinese} 或 \texttt{SimplifiedChinese}
@@ -965,6 +880,10 @@
     \begin{itemize}
         \item 使定理类环境均不编号 / 按照 1、2、3 顺序编号 / 在 \meta{counter} 内编号。其中 \meta{counter} 应该是自带的计数器 (如 \texttt{subsection}) 或在导言部分自定义的计数器 (在启用 \texttt{delaythms} 选项的情况下)。在没有使用任何选项的情况下将按照 \texttt{chapter} (书) 或 \texttt{section} (文章) 编号。
     \end{itemize}
+    \item \texttt{complexname}、\texttt{simplename}
+    \begin{itemize}
+        \item 对于预设的定理名称,使用详细版本(默认)或简易版本。详细版本包含单复数的差别,并且在可能的情况下加入了定冠词;简易版本则统一采用单个单词的名称,不区分单复数。
+    \end{itemize}
     \item \texttt{regionalref}、\texttt{originalref}
     \begin{itemize}
         \item 在智能引用时,定理类环境的名称是否随当前语言而变化。默认为 \texttt{regionalref},即引用时采用当前语言对应的名称;例如,在中文语境中引用定理类环境时,无论原环境处在什么语境中,都将使用名称“定理、定义……”。若启用 \texttt{originalref},则引用时会始终采用定理类环境所处语境下的名称;例如,在英文语境中书写的定理,即使稍后在中文语境下引用时,仍将显示为 Theorem。
@@ -1017,8 +936,7 @@
     除此以外,你也可以在定义相应的定理类环境时为之命名,可以参见后文对 \lstinline|\CreateTheorem| 的说明。
 \end{tip}
 
-\clearpage
-% \bigskip
+\bigskip
 然后,用下面五种方式之一定义这一环境:
 \begin{itemize}
     \item \lstinline|\CreateTheorem*{|\meta{name of environment}\lstinline|}|
@@ -1135,6 +1053,10 @@
     \begin{itemize}
         \item Theorem-like environments will not be numbered / numbered in order 1, 2, 3... / numbered within \meta{counter}. Here, \meta{counter} should be a built-in counter (such as \texttt{subsection}) or a custom counter defined in the preamble (with the option \texttt{delaythms} enabled). If no option is used, they will be numbered within \texttt{chapter} (book) or \texttt{section} (article).
     \end{itemize}
+    \item \texttt{complexname}, \texttt{simplename}
+        \begin{itemize}
+            \item Enabled the detailed preset (default) or the simple preset for names of theorem-like environments. The detailed version includes singular and plural forms, and, where possible, the definite articles; the simple version uses always the same word, without distinction between singular and plural forms.
+        \end{itemize}
     \item \texttt{regionalref}, \texttt{originalref}
     \begin{itemize}
         \item When referencing, whether the name of the theorem-like environment changes with the current language. The default is \texttt{regionalref}, \emph{i.e.}, the name corresponding to the current language is used; for example, when referencing a theorem-like environment in English context, the names "Theorem, Definition..." will be used no matter which language context the original environment is in. If \texttt{originalref} is enabled, then the name will always remain the same as the original place; for example, when referencing a theorem written in the French context, even if one is currently in the English context, it will still be displayed as ``Théorème''. 
@@ -1304,6 +1226,10 @@
     \begin{itemize}
         \item Les environnements de type théorème ne seront pas numérotés / numérotés dans l'ordre 1, 2, 3... / numérotés dans \meta{counter}. Ici, \meta{counter} doit être un compteur intégré (tel que \texttt{subsection}) ou un compteur défini dans le préambule (avec l'option \texttt{delaythms} activée). Si aucune option n'est utilisée, ils seront numérotés dans \texttt{chapter} (livre) ou \texttt{section} (article).
     \end{itemize}
+    \item \texttt{complexname}, \texttt{simplename}
+        \begin{itemize}
+            \item Utilisez le preset détaillé (par défaut) ou le preset simple pour les noms des environnements de type théorème. La version détaillée inclut les formes singulières et plurielles, et, où possible, les articles définis ; la version simple utilise toujours le même mot, sans distinction entre les formes singulières ou plurielles.
+        \end{itemize}
     \item \texttt{regionalref}, \texttt{originalref}
     \begin{itemize}
         \item Lors du référencement, si le nom de l'environnement de type théorème change avec la langue actuelle. Par défaut \texttt{regionalref} est activé, c'est-à-dire que le nom correspondant à la langue courante est utilisé ; par exemple, lors du référencement d'un environnement de type théorème dans un contexte français, les noms «~Théorème, Définition ...~» seront utilisés quel que soit le contexte linguistique dans lequel se trouve l'environnement d'origine. Si \texttt{originalref} est activé, alors le nom restera toujours le même que l'environnement d'origine ; par exemple, lors du référencement d'un théorème écrit dans le contexte français, même si l'on est actuellement dans le contexte anglais, il sera toujours affiché comme «~Théorème~». 
@@ -1456,7 +1382,7 @@
 
 
 
-\clearpage
+% \clearpage
 
 %<*ProjLib-doc-cn>
 \subsection{次要功能}
@@ -1471,6 +1397,90 @@
 %</ProjLib-doc-fr>
 
 %<*ProjLib-doc-cn>
+\subsubsection{PJLauthor:增强的作者信息块}
+
+\PJLauthor{} 提供了 \lstinline|\address|、\lstinline|\curraddr|、\lstinline|\email| 命令,并且允许输入多组用户信息。标准的输入方式是这样的:
+\begin{code}
+\author{(*\meta{author 1}*)}
+\address{(*\meta{address 1}*)}
+\email{(*\meta{email 1}*)}
+\author{(*\meta{author 2}*)}
+\address{(*\meta{address 2}*)}
+\email{(*\meta{email 2}*)}
+...
+\end{code}
+其中 \lstinline|\address|、\lstinline|\curraddr|、\lstinline|\email| 的相互顺序是不重要的。
+
+\medskip
+另外,你可以通过选项 \texttt{amsfashion} 以使用 \AmS{} 方式写作。具体来说,效果为:
+\begin{itemize}
+    \item 提供 \lstinline|\dedicatory|、\lstinline|\keywords| 及 \lstinline|\subjclass| 命令
+    \item \lstinline|\thanks| 可以写在 \lstinline|\author| 之外
+    \item \lstinline|abstract| 环境可以放在 \lstinline|\maketitle| 的前面
+\end{itemize}
+
+\begin{tip}[注意]
+    这些功能只在标准文档类中启用。在 \AmS{} 文档类中,\PJLauthor{} 不会起到任何效果。
+\end{tip}
+%</ProjLib-doc-cn>
+%
+%<*ProjLib-doc-en>
+\subsubsection{PJLauthor: enhanced author block}
+
+\PJLauthor{} offers \lstinline|\address|, \lstinline|\curraddr| and \lstinline|\email|, and allows you to enter multiple groups of author information. The standard usage is like this:
+\begin{code}
+\author{(*\meta{author 1}*)}
+\address{(*\meta{address 1}*)}
+\email{(*\meta{email 1}*)}
+\author{(*\meta{author 2}*)}
+\address{(*\meta{address 2}*)}
+\email{(*\meta{email 2}*)}
+...
+\end{code}
+The mutual order of \lstinline|\address|, \lstinline|\curraddr| and \lstinline|\email| is not important.
+
+\medskip
+In addition, you can use the option \texttt{amsfashion} to enable the \AmS{} fashion. More specifically, the effect is:
+\begin{itemize}
+    \item Provides the macros \lstinline|\dedicatory|, \lstinline|\keywords| and \lstinline|\subjclass|;
+    \item \lstinline|\thanks| can be written outside \lstinline|\author|;
+    \item The \lstinline|abstract| environment can be placed before \lstinline|\maketitle|.
+\end{itemize}
+
+\begin{tip}[Attention]
+    These modifications would only take place in standard classes. In the \AmS{} classes, \PJLauthor{} does not have any effect.
+\end{tip}
+%</ProjLib-doc-en>
+%
+%<*ProjLib-doc-fr>
+\subsubsection{PJLauthor : bloc auteur amélioré}
+
+\PJLauthor{} propose les macros \lstinline|\address|, \lstinline|\curraddr| et \lstinline|\email|, et vous permet de saisir plusieurs groupes d'informations sur l'auteur. L'utilisation standard est comme ceci :
+\begin{code}
+\author{(*\meta{author 1}*)}
+\address{(*\meta{address 1}*)}
+\email{(*\meta{email 1}*)}
+\author{(*\meta{author 2}*)}
+\address{(*\meta{address 2}*)}
+\email{(*\meta{email 2}*)}
+...
+\end{code}
+L'ordre mutuel de \lstinline|\address|, \lstinline|\curraddr| et \lstinline|\email| n'est pas important.
+
+\medskip
+De plus, vous pouvez utiliser l'option \texttt{amsfashion} pour écrire à la manière \AmS{}. Plus précisément, l'effet est :
+\begin{itemize}
+    \item Fournit les macros \lstinline|\dedicatory|, \lstinline|\keywords| et \lstinline|\subjclass|;
+    \item \lstinline|\thanks| peut être écrit en dehors de la macro \lstinline|\author|;
+    \item La environnement \lstinline|abstract| peut être placé avant \lstinline|\maketitle|.
+\end{itemize}
+
+\begin{tip}[Attention]
+    Ces modifications n'auraient lieu que dans les classes standard. Dans les classes \AmS{}, \PJLauthor{} n'a aucun effet.
+\end{tip}
+%</ProjLib-doc-fr>
+
+%<*ProjLib-doc-cn>
 \subsubsection{PJLdate:智能日期处理}
 
 \PJLdatePackage{} 提供了 \lstinline|\PLdate|\meta{yyyy-mm-dd} (或 \lstinline|\PJLdate|\meta{yyyy-mm-dd}) 命令,以将 \meta{yyyy-mm-dd} 转换为当前语言的日期格式显示。例如,在当前的中文语境下,\lstinline|\PLdate{2022-04-01}| 会被显示为“\PJLdate{2022-04-01}”,而在英文语境下则会被显示为“\UseOtherLanguage{English}{\PJLdate{2022-04-01}}”。

Modified: trunk/Master/texmf-dist/source/latex/projlib/ProjLib.dtx
===================================================================
--- trunk/Master/texmf-dist/source/latex/projlib/ProjLib.dtx	2021-10-31 21:08:53 UTC (rev 60913)
+++ trunk/Master/texmf-dist/source/latex/projlib/ProjLib.dtx	2021-10-31 21:09:13 UTC (rev 60914)
@@ -18,47 +18,47 @@
 %
 %<*ProjLib>
 \ProvidesPackage{ProjLib}
-    [2021/10/24 The collective interface of ProjLib toolkit]
+    [2021/10/30 The collective interface of ProjLib toolkit]
 %</ProjLib>
 %
 %<*PJLauthor>
 \ProvidesPackage{PJLauthor}
-    [2021/10/24 Enhanced author information block]
+    [2021/10/30 Enhanced author information block]
 %</PJLauthor>
 %
 %<*PJLdate>
 \ProvidesPackage{PJLdate}
-    [2021/10/24 Convert yyyy-mm-dd to normal datetime format]
+    [2021/10/30 Convert yyyy-mm-dd to normal datetime format]
 %</PJLdate>
 %
 %<*PJLdraft>
 \ProvidesPackage{PJLdraft}
-    [2021/10/24 Some useful macros for the draft stage]
+    [2021/10/30 Some useful macros for the draft stage]
 %</PJLdraft>
 %
 %<*PJLlang>
 \ProvidesPackage{PJLlang}
-    [2021/10/24 Multi-language configuration]
+    [2021/10/30 Multi-language configuration]
 %</PJLlang>
 %
 %<*PJLlogo>
 \ProvidesPackage{PJLlogo}
-    [2021/10/24 The ProjLib logo]
+    [2021/10/30 The ProjLib logo]
 %</PJLlogo>
 %
 %<*PJLmath>
 \ProvidesPackage{PJLmath}
-    [2021/10/24 Useful math macros and shortcuts]
+    [2021/10/30 Useful math macros and shortcuts]
 %</PJLmath>
 %
 %<*PJLpaper>
 \ProvidesPackage{PJLpaper}
-    [2021/10/24 Paper style configuration]
+    [2021/10/30 Paper style configuration]
 %</PJLpaper>
 %
 %<*PJLthm>
 \ProvidesPackage{PJLthm}
-    [2021/10/24 Theorem setup and configuration]
+    [2021/10/30 Theorem setup and configuration]
 %</PJLthm>
 %
 %# 下面两行引入宏包的代码是所有文件共用的。
@@ -1405,6 +1405,10 @@
 %# Reference name will change with the current language
 \DeclareBoolOption[true]{regionalref}
 \DeclareBoolOption[false]{originalref}
+%# 名称采用详尽设置或简易设置
+%# Detailed or simple settings for the name of theorem-like environments
+\DeclareBoolOption[true]{complexname}
+\DeclareBoolOption[false]{simplename}
 %# 处理选项
 %# Process options
 \ProcessKeyvalOptions*\relax
@@ -1413,6 +1417,9 @@
 \if at PJLthm@originalref
     \@PJLthm at regionalreffalse
 \fi
+\if at PJLthm@simplename
+    \@PJLthm at complexnamefalse
+\fi
 \if at PJLthm@draft
     \@PJLthm at fasttrue
 \fi
@@ -1423,6 +1430,16 @@
 \@ifclassloaded{beamer}{%
     \RequirePackage{silence}
     \WarningFilter{cleveref}{hyperref package loaded with implicit=false option}
+    \@PJLthm at nothmnumtrue%
+    \if at PJLthm@nothms\else%
+        \let\theorem\relax
+        \let\lemma\relax
+        \let\corollary\relax
+        \let\definition\relax
+        \let\fact\relax
+        \let\example\relax
+        \let\problem\relax
+    \fi
 }{}
 
 \RequirePackage{PJLlang}
@@ -1429,10 +1446,11 @@
 \RequirePackage{amsmath,amsthm}
 \RequirePackage{aliascnt}
 \PassOptionsToPackage{nameinlink}{cleveref}
-\RequirePackage{cleveref}
+\RequirePackage{ccref}
 
 %# 用于命名定理类环境的用户命令
 %# Macro for naming theorems
+\RequirePackage{xparse}
 \RequirePackage{xstring}
 \NewDocumentCommand{\NameTheorem}{omm}{%
     \protected at edef\PJLthm at temp{#2}%
@@ -1523,18 +1541,22 @@
                     \newaliascnt{#2#3}{PJL#2#3}%
                 }{%
                     \IfValueTF{#4}{%
-                            \newtheorem{PJL#2#3}[#4]{\csname#2name\csname\languagename ABBR\endcsname\endcsname}
+                            \newtheorem{PJL#2#3}[#4]{\csname#2name\csname\languagename ABBR\endcsname\endcsname}%
                         }{%
-                            \newtheorem{PJL#2#3}{\csname#2name\csname\languagename ABBR\endcsname\endcsname}  
+                            \newtheorem{PJL#2#3}{\csname#2name\csname\languagename ABBR\endcsname\endcsname}%
                             \newaliascnt{#2#3}{PJL#2#3}%
                         }%
                 }%
-                \crefname{PJL#2#3}%
-                    {\csname#2name\csname\languagename ABBR\endcsname\endcsname}%
-                    {\csname#2name\csname\languagename ABBR\endcsname\endcsname}%
-                \Crefname{PJL#2#3}%
-                    {\csname#2name\csname\languagename ABBR\endcsname\endcsname}%
-                    {\csname#2name\csname\languagename ABBR\endcsname\endcsname}%
+                \ifcsname cref at PJL#2#3 at name\endcsname\else%
+                    \crefname{PJL#2#3}%
+                        {\csname#2name\csname\languagename ABBR\endcsname\endcsname}%
+                        {\csname#2name\csname\languagename ABBR\endcsname\endcsname}%
+                \fi%
+                \ifcsname Cref at PJL#2#3 at name\endcsname\else%
+                    \Crefname{PJL#2#3}%
+                        {\csname#2name\csname\languagename ABBR\endcsname\endcsname}%
+                        {\csname#2name\csname\languagename ABBR\endcsname\endcsname}%
+                \fi%
                 \NewDocumentEnvironment{#2#3}{}
                     {\begin{PJL#2#3}}
                     {\end{PJL#2#3}}
@@ -1542,7 +1564,7 @@
         }%
     }%
     \IfValueTF{#7}{%
-        \CreateTheoremSetKeys{#2}{#7}%
+        \NameTheorem{#2}{#7}%
     }{}%
 }%
 \else
@@ -1655,7 +1677,7 @@
         }%
     }%
     \IfValueTF{#7}{%
-        \CreateTheoremSetKeys{#2}{#7}%
+        \NameTheorem{#2}{#7}%
     }{}%
 }%
 \NewDocumentCommand{\CreateTheoremNumberedLikeAliasCounter}{mmm}{%
@@ -1669,16 +1691,20 @@
 %     \Crefname{#1#2#3}%
 %         {\csname#1name#2\endcsname}%
 %         {\csname#1name#2\endcsname}%
-    \expandafter\PassFirstToSecond\expandafter{\csname#1name#2\endcsname}%
-    {%
+    \ifcsname cref@#1#2#3 at name\endcsname\else%
         \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%
+    \ifcsname Cref@#1#2#3 at name\endcsname\else%
         \expandafter\PassFirstToSecond\expandafter{\csname#1name#2\endcsname}%
-        {\Crefname{#1#2#3}}%
-    }%
+        {%
+            \expandafter\PassFirstToSecond\expandafter{\csname#1name#2\endcsname}%
+            {\Crefname{#1#2#3}}%
+        }%
+    \fi%
 }%
 \fi
 
@@ -1710,8 +1736,8 @@
 % The keys for the inner level are defined via  \keys_define:nn .
 
 \NewDocumentCommand \CreateTheoremSetKeys { mm } {
-  % #1 = name of counter
-  % #2 = keyval-list of language-specifications
+% #1 = name of counter
+% #2 = keyval-list of language-specifications
   \cs_set:Nn \__PJLthm_countername: {#1}
   \keyval_parse:nnn { \PJLthm_exchange_i_iii_ii:nnn { \PJLthm_setlanguagespecificparameters:nn } {} } 
                     { \PJLthm_setlanguagespecificparameters:nn }
@@ -1719,29 +1745,35 @@
 }
 
 \cs_new_protected:Nn \PJLthm_setlanguagespecificparameters:nn {
-  % #1 = language-prefix
-  % #2 = key-val-list for language whose prefix is language-prefix
+% #1 = language-prefix
+% #2 = key-val-list for language whose prefix is language-prefix
   \cs_set:Nx \__PJLthm_languageprefix: {\StrToABBR{#1}}
   \exp_args:No \tl_if_empty:nTF {\__PJLthm_languageprefix:} 
     { \msg_error:nn { PJLthm }
-                    { No language \exp_not:n{#1} defined }
+                    { No~language~"\exp_not:n{#1}"~defined }
     }%
     {%
-        \ifcsname the\__PJLthm_countername:\endcsname\else
-            \newcounter{\__PJLthm_countername:}%
-        \fi
-        \newaliascnt {\__PJLthm_countername: \__PJLthm_languageprefix:} {\__PJLthm_countername:}%
-        \aliascntresetthe {\__PJLthm_countername: \__PJLthm_languageprefix:}%
         \keys_set:nn { PJLthm } { #2 } 
     }%
 }%
+
 \keys_define:nn { PJLthm } {
   crefname.code:n  = \cs_if_exist:NTF \crefname  {
-                        \exp_args:Nx \crefname {\__PJLthm_countername: \__PJLthm_languageprefix: }#1
+                        \ifbool{@PJLthm at regionalref}{
+                            \exp_args:Nx \PJLthm at setcrefinnername{PJL\__PJLthm_countername: \__PJLthm_languageprefix: }#1
+                            \exp_args:Nx \PJLthm at setcrefname{PJL\__PJLthm_countername: }
+                        }{
+                            \exp_args:Nx \crefname {\__PJLthm_countername: \__PJLthm_languageprefix: }#1
+                        }
                      }{},
   crefname.value_required:n = true,
-  Crefname.code:n  = \cs_if_exist:NTF \Crefname  { 
-                        \exp_args:Nx \Crefname {\__PJLthm_countername: \__PJLthm_languageprefix: }#1
+  Crefname.code:n  = \cs_if_exist:NTF \Crefname  {
+                        \ifbool{@PJLthm at regionalref}{
+                            \exp_args:Nx \PJLthm at setCrefinnername{PJL\__PJLthm_countername: \__PJLthm_languageprefix: }#1
+                            \exp_args:Nx \PJLthm at setCrefname{PJL\__PJLthm_countername: }
+                        }{
+                            \exp_args:Nx \Crefname {\__PJLthm_countername: \__PJLthm_languageprefix: }#1
+                        }
                      }{},
   Crefname.value_required:n = true,
   name.code:n  = \exp_args:Nx \cs_set:cpn {\__PJLthm_countername: name \__PJLthm_languageprefix:} {#1},
@@ -1763,267 +1795,1490 @@
 
 \ExplSyntaxOff
 
+% Some command for regionalref mode
+\newcommand{\PJLthm at setcrefinnername}[3]{%
+    \expandafter\def\csname PJLthm at cref@#1 at name\endcsname{#2}%
+    \expandafter\def\csname PJLthm at cref@#1 at name@plural\endcsname{#3}%
+}
+\newcommand{\PJLthm at setCrefinnername}[3]{%
+    \expandafter\def\csname PJLthm at Cref@#1 at name\endcsname{#2}%
+    \expandafter\def\csname PJLthm at Cref@#1 at name@plural\endcsname{#3}%
+}
+
+\newcommand{\PJLthm at setcrefname}[1]{%
+    \crefname{#1}%
+        {\csname PJLthm at cref@#1\csname\languagename ABBR\endcsname @name\endcsname}%
+        {\csname PJLthm at cref@#1\csname\languagename ABBR\endcsname @name at plural\endcsname}%
+}
+\newcommand{\PJLthm at setCrefname}[1]{%
+    \Crefname{#1}%
+        {\csname PJLthm at Cref@#1\csname\languagename ABBR\endcsname @name\endcsname}%
+        {\csname PJLthm at Cref@#1\csname\languagename ABBR\endcsname @name at plural\endcsname}%
+}
+
+%# 设置定理类环境名称
+%# Set the names of theorem-like environments
+\ifbool{@PJLthm at complexname}{
+    \NameTheorem{theorem}{
+        EN = {
+            name = {Theorem},
+            crefname = {theorem}{theorems},
+            Crefname = {Theorem}{Theorems},
+        },
+        FR = {
+            name = {Théorème},
+            crefname = {\ccmarkart{le} théorème}{\ccmarkart{les} théorèmes},
+            Crefname = {Le théorème}{Les théorèmes},
+        },
+        DE = {
+            name = {Satz},
+            crefname = {Satz}{Sätze},
+            Crefname = {Satz}{Sätze},
+        },
+        IT = {
+            name = {Teorema},
+            crefname = {\ccmarkart{il} teorema}{\ccmarkart{i} teoremi},
+            Crefname = {Il teorema}{I teoremi},
+        },
+        PT = {
+            name = {Teorema},
+            crefname = {\ccmarkart{o} teorema}{\ccmarkart{os} teoremas},
+            Crefname = {O teorema}{Os teoremas},
+        },
+        BR = {
+            name = {Teorema},
+            crefname = {\ccmarkart{o} teorema}{\ccmarkart{os} teoremas},
+            Crefname = {O teorema}{Os teoremas},
+        },
+        ES = {
+            name = {Teorema},
+            crefname = {\ccmarkart{el} teorema}{los teoremas},
+            Crefname = {El teorema}{Los teoremas},
+        },
+        CN = {
+            name = {定理},
+            crefname = {定理}{定理},
+            Crefname = {定理}{定理},
+        },
+        TC = {
+            name = {定理},
+            crefname = {定理}{定理},
+            Crefname = {定理}{定理},
+        },
+        JP = {
+            name = {定理},
+            crefname = {定理}{定理},
+            Crefname = {定理}{定理},
+        },
+        RU = {
+            name = {Теорема},
+            crefname = {теорема}{теоремы},
+            Crefname = {Теорема}{Теоремы},
+        },
+    }
+    \NameTheorem{lemma}{
+        EN = {
+            name = {Lemma},
+            crefname = {lemma}{Lemmas},
+            Crefname = {Lemma}{Lemmas},
+        },
+        FR = {
+            name = {Lemme},
+            crefname = {\ccmarkart{le} lemme}{\ccmarkart{les} lemmes},
+            Crefname = {Le lemme}{Les lemmes},
+        },
+        DE = {
+            name = {Lemma},
+            crefname = {Lemma}{Lemmata},
+            Crefname = {Lemma}{Lemmata},
+        },
+        IT = {
+            name = {Lemma},
+            crefname = {\ccmarkart{il} lemma}{\ccmarkart{i} lemmi},
+            Crefname = {Il lemma}{I lemmi},
+        },
+        PT = {
+            name = {Lema},
+            crefname = {\ccmarkart{o} lema}{\ccmarkart{os} lemas},
+            Crefname = {O lema}{Os lemas},
+        },
+        BR = {
+            name = {Lema},
+            crefname = {\ccmarkart{o} lema}{\ccmarkart{os} lemas},
+            Crefname = {O lema}{Os lemas},
+        },
+        ES = {
+            name = {Lema},
+            crefname = {\ccmarkart{el} lema}{las lemas},
+            Crefname = {El lema}{Las lemas},
+        },
+        CN = {
+            name = {引理},
+            crefname = {引理}{引理},
+            Crefname = {引理}{引理},
+        },
+        TC = {
+            name = {引理},
+            crefname = {引理}{引理},
+            Crefname = {引理}{引理},
+        },
+        JP = {
+            name = {補題},
+            crefname = {補題}{補題},
+            Crefname = {補題}{補題},
+        },
+        RU = {
+            name = {Лемма},
+            crefname = {лемма}{леммы},
+            Crefname = {Лемма}{Леммы},
+        },
+    }
+    \NameTheorem{proposition}{
+        EN = {
+            name = {Proposition},
+            crefname = {proposition}{propositions},
+            Crefname = {Proposition}{Propositions},
+        },
+        FR = {
+            name = {Proposition},
+            crefname = {\ccmarkart{la} proposition}{\ccmarkart{les} propositions},
+            Crefname = {La proposition}{Les propositions},
+        },
+        DE = {
+            name = {Proposition},
+            crefname = {Proposition}{Propositionen},
+            Crefname = {Proposition}{Propositionen},
+        },
+        IT = {
+            name = {Proposizione},
+            crefname = {\ccmarkart{la} proposizione}{\ccmarkart{le} proposte},
+            Crefname = {La proposizione}{Le proposte},
+        },
+        PT = {
+            name = {Proposição},
+            crefname = {\ccmarkart{a} proposição}{\ccmarkart{as} proposições},
+            Crefname = {A proposição}{As proposições},
+        },
+        BR = {
+            name = {Proposição},
+            crefname = {\ccmarkart{a} proposição}{\ccmarkart{as} proposições},
+            Crefname = {A proposição}{As proposições},
+        },
+        ES = {
+            name = {Proposición},
+            crefname = {la proposición}{las proposiciones},
+            Crefname = {La proposición}{Las proposiciones},
+        },
+        CN = {
+            name = {命题},
+            crefname = {命题}{命题},
+            Crefname = {命题}{命题},
+        },
+        TC = {
+            name = {命題},
+            crefname = {命題}{命題},
+            Crefname = {命題}{命題},
+        },
+        JP = {
+            name = {命題},
+            crefname = {命題}{命題},
+            Crefname = {命題}{命題},
+        },
+        RU = {
+            name = {Предложение},
+            crefname = {предложение}{предложения},
+            Crefname = {Предложение}{Предложения},
+        },
+    }
+    \NameTheorem{corollary}{
+        EN = {
+            name = {Corollary},
+            crefname = {corollary}{corollaries},
+            Crefname = {Corollary}{Corollaries},
+        },
+        FR = {
+            name = {Corollaire},
+            crefname = {\ccmarkart{le} corollaire}{\ccmarkart{les} corollaires},
+            Crefname = {Le corollaire}{Les corollaires},
+        },
+        DE = {
+            name = {Korollar},
+            crefname = {Korollar}{Korollare},
+            Crefname = {Korollar}{Korollare},
+        },
+        IT = {
+            name = {Corollario},
+            crefname = {\ccmarkart{il} corollario}{\ccmarkart{i} corollari},
+            Crefname = {Il corollario}{I corollari},
+        },
+        PT = {
+            name = {Corolário},
+            crefname = {\ccmarkart{o} corolário}{\ccmarkart{os} corolários},
+            Crefname = {O corolário}{Os corolários},
+        },
+        BR = {
+            name = {Corolário},
+            crefname = {\ccmarkart{o} corolário}{\ccmarkart{os} corolários},
+            Crefname = {O corolário}{Os corolários},
+        },
+        ES = {
+            name = {Corolario},
+            crefname = {\ccmarkart{el} corolario}{los corolarios},
+            Crefname = {El corolario}{Los corolarios},
+        },
+        CN = {
+            name = {推论},
+            crefname = {推论}{推论},
+            Crefname = {推论}{推论},
+        },
+        TC = {
+            name = {推論},
+            crefname = {推論}{推論},
+            Crefname = {推論}{推論},
+        },
+        JP = {
+            name = {系},
+            crefname = {系}{系},
+            Crefname = {系}{系},
+        },
+        RU = {
+            name = {Следствие},
+            crefname = {следствие}{следствия},
+            Crefname = {Следствие}{Следствия},
+        },
+    }
+    \NameTheorem{property}{
+        EN = {
+            name = {Property},
+            crefname = {property}{properties},
+            Crefname = {Property}{Properties},
+        },
+        FR = {
+            name = {Propriété},
+            crefname = {\ccmarkart{la} propriété}{\ccmarkart{les} propriétés},
+            Crefname = {La propriété}{Les propriétés},
+        },
+        DE = {
+            name = {Eigenschaft},
+            crefname = {Eigenschaft}{Eigenschaften},
+            Crefname = {Eigenschaft}{Eigenschaften},
+        },
+        IT = {
+            name = {Proprietà},
+            crefname = {\ccmarkart{la} proprietà}{\ccmarkart{le} proprietà},
+            Crefname = {La proprietà}{Le proprietà},
+        },
+        PT = {
+            name = {Propriedade},
+            crefname = {\ccmarkart{a} propriedade}{\ccmarkart{as} propriedades},
+            Crefname = {A propriedade}{As propriedades},
+        },
+        BR = {
+            name = {Propriedade},
+            crefname = {\ccmarkart{a} propriedade}{\ccmarkart{as} propriedades},
+            Crefname = {A propriedade}{As propriedades},
+        },
+        ES = {
+            name = {Propiedad},
+            crefname = {la propiedad}{las propiedades},
+            Crefname = {La propiedad}{Las propiedades},
+        },
+        CN = {
+            name = {性质},
+            crefname = {性质}{性质},
+            Crefname = {性质}{性质},
+        },
+        TC = {
+            name = {性質},
+            crefname = {性質}{性質},
+            Crefname = {性質}{性質},
+        },
+        JP = {
+            name = {性質},
+            crefname = {性質}{性質},
+            Crefname = {性質}{性質},
+        },
+        RU = {
+            name = {Имущество},
+            crefname = {имущество}{имущества},
+            Crefname = {Имущество}{Имущества},
+        },
+    }
+    \NameTheorem{fact}{
+        EN = {
+            name = {Fact},
+            crefname = {fact}{facts},
+            Crefname = {Fact}{Facts},
+        },
+        FR = {
+            name = {Fait},
+            crefname = {\ccmarkart{le} fait}{\ccmarkart{les} faits},
+            Crefname = {Le fait}{Les faits},
+        },
+        DE = {
+            name = {Fakt},
+            crefname = {Fakt}{Fakten},
+            Crefname = {Fakt}{Fakten},
+        },
+        IT = {
+            name = {Fatto},
+            crefname = {\ccmarkart{il} fatto}{\ccmarkart{i} fatti},
+            Crefname = {Il fatto}{I fatti},
+        },
+        PT = {
+            name = {Facto},
+            crefname = {\ccmarkart{o} facto}{\ccmarkart{os} factos},
+            Crefname = {O facto}{Os factos},
+        },
+        BR = {
+            name = {Fato},
+            crefname = {\ccmarkart{o} fato}{\ccmarkart{os} fatos},
+            Crefname = {O fato}{Os fatos},
+        },
+        ES = {
+            name = {Hecho},
+            crefname = {\ccmarkart{el} hecho}{los hechos},
+            Crefname = {El hecho}{Los hechos},
+        },
+        CN = {
+            name = {事实},
+            crefname = {事实}{事实},
+            Crefname = {事实}{事实},
+        },
+        TC = {
+            name = {事實},
+            crefname = {事實}{事實},
+            Crefname = {事實}{事實},
+        },
+        JP = {
+            name = {事実},
+            crefname = {事実}{事実},
+            Crefname = {事実}{事実},
+        },
+        RU = {
+            name = {Факт},
+            crefname = {факт}{факты},
+            Crefname = {Факт}{Факты},
+        },
+    }
+    \NameTheorem{conjecture}{
+        EN = {
+            name = {Conjecture},
+            crefname = {conjecture}{conjectures},
+            Crefname = {Conjecture}{Conjectures},
+        },
+        FR = {
+            name = {Conjecture},
+            crefname = {\ccmarkart{la} conjecture}{\ccmarkart{les} conjectures},
+            Crefname = {La conjecture}{Les conjectures},
+        },
+        DE = {
+            name = {Vermutung},
+            crefname = {Vermutung}{Vermutungen},
+            Crefname = {Vermutung}{Vermutungen},
+        },
+        IT = {
+            name = {Congettura},
+            crefname = {\ccmarkart{la} congettura}{\ccmarkart{le} congetture},
+            Crefname = {La congettura}{Le congetture},
+        },
+        PT = {
+            name = {Conjetura},
+            crefname = {\ccmarkart{a} conjetura}{\ccmarkart{as} conjeturas},
+            Crefname = {A conjetura}{As conjeturas},
+        },
+        BR = {
+            name = {Conjectura},
+            crefname = {\ccmarkart{a} conjectura}{\ccmarkart{as} conjecturas},
+            Crefname = {A conjectura}{As conjecturas},
+        },
+        ES = {
+            name = {Conjetura},
+            crefname = {la conjetura}{las conjeturas},
+            Crefname = {La conjetura}{Las conjeturas},
+        },
+        CN = {
+            name = {猜想},
+            crefname = {猜想}{猜想},
+            Crefname = {猜想}{猜想},
+        },
+        TC = {
+            name = {猜想},
+            crefname = {猜想}{猜想},
+            Crefname = {猜想}{猜想},
+        },
+        JP = {
+            name = {予想},
+            crefname = {予想}{予想},
+            Crefname = {予想}{予想},
+        },
+        RU = {
+            name = {Гипотеза},
+            crefname = {гипотеза}{гипотезы},
+            Crefname = {Гипотеза}{Гипотезы},
+        },
+    }
+    \NameTheorem{definition}{
+        EN = {
+            name = {Definition},
+            crefname = {definition}{definitions},
+            Crefname = {Definition}{Definitions},
+        },
+        FR = {
+            name = {Définition},
+            crefname = {\ccmarkart{la} définition}{\ccmarkart{les} définitions},
+            Crefname = {La définition}{Les définitions},
+        },
+        DE = {
+            name = {Definition},
+            crefname = {Definition}{Definitionen},
+            Crefname = {Definition}{Definitionen},
+        },
+        IT = {
+            name = {Definizione},
+            crefname = {\ccmarkart{la} definizione}{\ccmarkart{le} definizioni},
+            Crefname = {La definizione}{Le definizioni},
+        },
+        PT = {
+            name = {Definição},
+            crefname = {\ccmarkart{a} definição}{\ccmarkart{as} definições},
+            Crefname = {A definição}{As definições},
+        },
+        BR = {
+            name = {Definição},
+            crefname = {\ccmarkart{a} definição}{\ccmarkart{as} definições},
+            Crefname = {A definição}{As definições},
+        },
+        ES = {
+            name = {Definición},
+            crefname = {la definición}{las definiciones},
+            Crefname = {La definición}{Las definiciones},
+        },
+        CN = {
+            name = {定义},
+            crefname = {定义}{定义},
+            Crefname = {定义}{定义},
+        },
+        TC = {
+            name = {定義},
+            crefname = {定義}{定義},
+            Crefname = {定義}{定義},
+        },
+        JP = {
+            name = {定義},
+            crefname = {定義}{定義},
+            Crefname = {定義}{定義},
+        },
+        RU = {
+            name = {Определение},
+            crefname = {определение}{определения},
+            Crefname = {Определение}{Определения},
+        },
+    }
+    \NameTheorem{axiom}{
+        EN = {
+            name = {Axiom},
+            crefname = {axiom}{axioms},
+            Crefname = {Axiom}{Axioms},
+        },
+        FR = {
+            name = {Axiome},
+            crefname = {\ccmarkart{l'}axiome}{\ccmarkart{les} axiomes},
+            Crefname = {L'axiome}{Les axiomes},
+        },
+        DE = {
+            name = {Axiom},
+            crefname = {Axiom}{Axiome},
+            Crefname = {Axiom}{Axiome},
+        },
+        IT = {
+            name = {Assioma},
+            crefname = {\ccmarkart{l'}assioma}{\ccmarkart{gli} assiomi},
+            Crefname = {L'assioma}{Gli assiomi},
+        },
+        PT = {
+            name = {Axioma},
+            crefname = {\ccmarkart{o} axioma}{\ccmarkart{os} axiomas},
+            Crefname = {O axioma}{Os axiomas},
+        },
+        BR = {
+            name = {Axioma},
+            crefname = {\ccmarkart{o} axioma}{\ccmarkart{os} axiomas},
+            Crefname = {O axioma}{Os axiomas},
+        },
+        ES = {
+            name = {Axioma},
+            crefname = {\ccmarkart{el} axioma}{los axiomas},
+            Crefname = {El axioma}{Los axiomas},
+        },
+        CN = {
+            name = {公理},
+            crefname = {公理}{公理},
+            Crefname = {公理}{公理},
+        },
+        TC = {
+            name = {公理},
+            crefname = {公理}{公理},
+            Crefname = {公理}{公理},
+        },
+        JP = {
+            name = {公理},
+            crefname = {公理}{公理},
+            Crefname = {公理}{公理},
+        },
+        RU = {
+            name = {Аксиома},
+            crefname = {аксиома}{аксиомы},
+            Crefname = {Аксиома}{Аксиомы},
+        },
+    }
+    \NameTheorem{assumption}{
+        EN = {
+            name = {Assumption},
+            crefname = {assumption}{assumptions},
+            Crefname = {Assumption}{Assumptions},
+        },
+        FR = {
+            name = {Supposition},
+            crefname = {\ccmarkart{la} supposition}{\ccmarkart{les} suppositions},
+            Crefname = {La supposition}{Les suppositions},
+        },
+        DE = {
+            name = {Annahme},
+            crefname = {Annahme}{Annahmen},
+            Crefname = {Annahme}{Annahmen},
+        },
+        IT = {
+            name = {Supposizione},
+            crefname = {\ccmarkart{la} supposizione}{\ccmarkart{le} supposizioni},
+            Crefname = {La supposizione}{Le supposizioni},
+        },
+        PT = {
+            name = {Suposição},
+            crefname = {\ccmarkart{a} suposição}{\ccmarkart{as} suposições},
+            Crefname = {A suposição}{As suposições},
+        },
+        BR = {
+            name = {Suposição},
+            crefname = {\ccmarkart{a} suposição}{\ccmarkart{as} suposições},
+            Crefname = {A suposição}{As suposições},
+        },
+        ES = {
+            name = {Suposición},
+            crefname = {la suposición}{las suposiciones},
+            Crefname = {La suposición}{Las suposiciones},
+        },
+        CN = {
+            name = {假定},
+            crefname = {假定}{假定},
+            Crefname = {假定}{假定},
+        },
+        TC = {
+            name = {假定},
+            crefname = {假定}{假定},
+            Crefname = {假定}{假定},
+        },
+        JP = {
+            name = {仮定},
+            crefname = {仮定}{仮定},
+            Crefname = {仮定}{仮定},
+        },
+        RU = {
+            name = {Предположение},
+            crefname = {предположение}{предположения},
+            Crefname = {Предположение}{Предположения},
+        },
+    }
+    \NameTheorem{convention}{
+        EN = {
+            name = {Convention},
+            crefname = {convention}{conventions},
+            Crefname = {Convention}{Conventions},
+        },
+        FR = {
+            name = {Convention},
+            crefname = {\ccmarkart{la} convention}{\ccmarkart{les} conventions},
+            Crefname = {La convention}{Les conventions},
+        },
+        DE = {
+            name = {Konvention},
+            crefname = {Konvention}{Konventionen},
+            Crefname = {Konvention}{Konventionen},
+        },
+        IT = {
+            name = {Convenzione},
+            crefname = {\ccmarkart{la} convenzione}{\ccmarkart{le} convenzioni},
+            Crefname = {La convenzione}{Le convenzioni},
+        },
+        PT = {
+            name = {Convenção},
+            crefname = {\ccmarkart{a} convenção}{\ccmarkart{as} convenções},
+            Crefname = {A convenção}{As convenções},
+        },
+        BR = {
+            name = {Convenção},
+            crefname = {\ccmarkart{a} convenção}{\ccmarkart{as} convenções},
+            Crefname = {A convenção}{As convenções},
+        },
+        ES = {
+            name = {Convención},
+            crefname = {la convención}{las convenciones},
+            Crefname = {La convención}{Las convenciones},
+        },
+        CN = {
+            name = {约定},
+            crefname = {约定}{约定},
+            Crefname = {约定}{约定},
+        },
+        TC = {
+            name = {約定},
+            crefname = {約定}{約定},
+            Crefname = {約定}{約定},
+        },
+        JP = {
+            name = {慣例},
+            crefname = {慣例}{慣例},
+            Crefname = {慣例}{慣例},
+        },
+        RU = {
+            name = {Конвенция},
+            crefname = {конвенция}{конвенции},
+            Crefname = {Конвенция}{Конвенции},
+        },
+    }
+    \NameTheorem{hypothesis}{
+        EN = {
+            name = {Hypothesis},
+            crefname = {hypothesis}{hypotheses},
+            Crefname = {Hypothesis}{Hypotheses},
+        },
+        FR = {
+            name = {Hypothèse},
+            crefname = {\ccmarkart{l'}hypothèse}{\ccmarkart{les} hypothèses},
+            Crefname = {L'hypothèse}{Les hypothèses},
+        },
+        DE = {
+            name = {Hypothese},
+            crefname = {Hypothese}{Hypothesen},
+            Crefname = {Hypothese}{Hypothesen},
+        },
+        IT = {
+            name = {Ipotesi},
+            crefname = {\ccmarkart{l'}ipotesi}{\ccmarkart{le} ipotesi},
+            Crefname = {L'ipotesi}{Le ipotesi},
+        },
+        PT = {
+            name = {Hipótese},
+            crefname = {\ccmarkart{a} hipótese}{\ccmarkart{as} hipóteses},
+            Crefname = {A hipótese}{As hipóteses},
+        },
+        BR = {
+            name = {Hipótese},
+            crefname = {\ccmarkart{a} hipótese}{\ccmarkart{as} hipóteses},
+            Crefname = {A hipótese}{As hipóteses},
+        },
+        ES = {
+            name = {Hipótesis},
+            crefname = {la hipótesis}{las hipótesis},
+            Crefname = {La hipótesis}{Las hipótesis},
+        },
+        CN = {
+            name = {假设},
+            crefname = {假设}{假设},
+            Crefname = {假设}{假设},
+        },
+        TC = {
+            name = {假設},
+            crefname = {假設}{假設},
+            Crefname = {假設}{假設},
+        },
+        JP = {
+            name = {仮設},
+            crefname = {仮設}{仮設},
+            Crefname = {仮設}{仮設},
+        },
+        RU = {
+            name = {Гипотеза},
+            crefname = {гипотеза}{гипотезы},
+            Crefname = {Гипотеза}{Гипотезы},
+        },
+    }
+    \NameTheorem{notation}{
+        EN = {
+            name = {Notation},
+            crefname = {notation}{notations},
+            Crefname = {Notation}{Notations},
+        },
+        FR = {
+            name = {Notation},
+            crefname = {\ccmarkart{la} notation}{\ccmarkart{les} notations},
+            Crefname = {La notation}{Les notations},
+        },
+        DE = {
+            name = {Notation},
+            crefname = {Notation}{Notationen},
+            Crefname = {Notation}{Notationen},
+        },
+        IT = {
+            name = {Notazione},
+            crefname = {\ccmarkart{la} notazione}{\ccmarkart{le} notazioni},
+            Crefname = {La notazione}{Le notazioni},
+        },
+        PT = {
+            name = {Notação},
+            crefname = {\ccmarkart{a} notação}{\ccmarkart{as} notações},
+            Crefname = {A notação}{As notações},
+        },
+        BR = {
+            name = {Notação},
+            crefname = {\ccmarkart{a} notação}{\ccmarkart{as} notações},
+            Crefname = {A notação}{As notações},
+        },
+        ES = {
+            name = {Notación},
+            crefname = {la notación}{las notaciones},
+            Crefname = {La notación}{Las notaciones},
+        },
+        CN = {
+            name = {记号},
+            crefname = {记号}{记号},
+            Crefname = {记号}{记号},
+        },
+        TC = {
+            name = {記號},
+            crefname = {記號}{記號},
+            Crefname = {記號}{記號},
+        },
+        JP = {
+            name = {記法},
+            crefname = {記法}{記法},
+            Crefname = {記法}{記法},
+        },
+        RU = {
+            name = {Нотация},
+            crefname = {нотация}{нотации},
+            Crefname = {Нотация}{Нотации},
+        },
+    }
+    \NameTheorem{example}{
+        EN = {
+            name = {Example},
+            crefname = {example}{examples},
+            Crefname = {Example}{Examples},
+        },
+        FR = {
+            name = {Exemple},
+            crefname = {\ccmarkart{l'}example}{\ccmarkart{les} examples},
+            Crefname = {L'example}{Les examples},
+        },
+        DE = {
+            name = {Beispiel},
+            crefname = {Beispiel}{Beispiele},
+            Crefname = {Beispiel}{Beispiele},
+        },
+        IT = {
+            name = {Esempio},
+            crefname = {\ccmarkart{l'}esempio}{\ccmarkart{gli} esempi},
+            Crefname = {L'esempio}{Gli esempi},
+        },
+        PT = {
+            name = {Exemplo},
+            crefname = {\ccmarkart{o} exemplo}{\ccmarkart{os} exemplos},
+            Crefname = {O exemplo}{Os exemplos},
+        },
+        BR = {
+            name = {Exemplo},
+            crefname = {\ccmarkart{o} exemplo}{\ccmarkart{os} exemplos},
+            Crefname = {O exemplo}{Os exemplos},
+        },
+        ES = {
+            name = {Ejemplo},
+            crefname = {\ccmarkart{el} ejemplo}{los ejemplos},
+            Crefname = {El ejemplo}{Los ejemplos},
+        },
+        CN = {
+            name = {例},
+            crefname = {例}{例},
+            Crefname = {例}{例},
+        },
+        TC = {
+            name = {例},
+            crefname = {例}{例},
+            Crefname = {例}{例},
+        },
+        JP = {
+            name = {例},
+            crefname = {例}{例},
+            Crefname = {例}{例},
+        },
+        RU = {
+            name = {Пример},
+            crefname = {пример}{примеры},
+            Crefname = {Пример}{Примеры},
+        },
+    }
+    \NameTheorem{problem}{
+        EN = {
+            name = {Problem},
+            crefname = {problem}{problems},
+            Crefname = {Problem}{Problems},
+        },
+        FR = {
+            name = {Problème},
+            crefname = {\ccmarkart{le} problème}{\ccmarkart{les} problèmes},
+            Crefname = {Le problème}{Les problèmes},
+        },
+        DE = {
+            name = {Problem},
+            crefname = {Problem}{Probleme},
+            Crefname = {Problem}{Probleme},
+        },
+        IT = {
+            name = {Problema},
+            crefname = {\ccmarkart{il} problema}{\ccmarkart{i} problemi},
+            Crefname = {Il problema}{I problemi},
+        },
+        PT = {
+            name = {Problema},
+            crefname = {\ccmarkart{o} problema}{\ccmarkart{os} problemas},
+            Crefname = {O problema}{Os problemas},
+        },
+        BR = {
+            name = {Problema},
+            crefname = {\ccmarkart{o} problema}{\ccmarkart{os} problemas},
+            Crefname = {O problema}{Os problemas},
+        },
+        ES = {
+            name = {Problema},
+            crefname = {\ccmarkart{el} problema}{los problemas},
+            Crefname = {El problema}{Los problemas},
+        },
+        CN = {
+            name = {问题},
+            crefname = {问题}{问题},
+            Crefname = {问题}{问题},
+        },
+        TC = {
+            name = {問題},
+            crefname = {問題}{問題},
+            Crefname = {問題}{問題},
+        },
+        JP = {
+            name = {問題},
+            crefname = {問題}{問題},
+            Crefname = {問題}{問題},
+        },
+        RU = {
+            name = {Проблема},
+            crefname = {проблема}{проблемы},
+            Crefname = {Проблема}{Проблемы},
+        },
+    }
+    \NameTheorem{question}{
+        EN = {
+            name = {Question},
+            crefname = {question}{questions},
+            Crefname = {Question}{Questions},
+        },
+        FR = {
+            name = {Question},
+            crefname = {\ccmarkart{la} question}{\ccmarkart{les} questions},
+            Crefname = {La question}{Les questions},
+        },
+        DE = {
+            name = {Frage},
+            crefname = {Frage}{Fragen},
+            Crefname = {Frage}{Fragen},
+        },
+        IT = {
+            name = {Domanda},
+            crefname = {\ccmarkart{la} domanda}{\ccmarkart{le} domande},
+            Crefname = {La domanda}{Le domande},
+        },
+        PT = {
+            name = {Pergunta},
+            crefname = {\ccmarkart{a} pergunta}{\ccmarkart{as} perguntas},
+            Crefname = {A pergunta}{As perguntas},
+        },
+        BR = {
+            name = {Pergunta},
+            crefname = {\ccmarkart{a} pergunta}{\ccmarkart{as} perguntas},
+            Crefname = {A pergunta}{As perguntas},
+        },
+        ES = {
+            name = {Pregunta},
+            crefname = {la pregunta}{las preguntas},
+            Crefname = {La pregunta}{Las preguntas},
+        },
+        CN = {
+            name = {问题},
+            crefname = {问题}{问题},
+            Crefname = {问题}{问题},
+        },
+        TC = {
+            name = {問題},
+            crefname = {問題}{問題},
+            Crefname = {問題}{問題},
+        },
+        JP = {
+            name = {問題},
+            crefname = {問題}{問題},
+            Crefname = {問題}{問題},
+        },
+        RU = {
+            name = {Вопрос},
+            crefname = {вопрос}{вопросы},
+            Crefname = {Вопрос}{Вопросы},
+        },
+    }
+    \NameTheorem{exercise}{
+        EN = {
+            name = {Exercise},
+            crefname = {exercise}{exercises},
+            Crefname = {Exercise}{Exercises},
+        },
+        FR = {
+            name = {Exercice},
+            crefname = {\ccmarkart{l'}exercice}{\ccmarkart{les} exercices},
+            Crefname = {L'exercice}{Les exercices},
+        },
+        DE = {
+            name = {Übung},
+            crefname = {Übung}{Übungen},
+            Crefname = {Übung}{Übungen},
+        },
+        IT = {
+            name = {Esercizio},
+            crefname = {\ccmarkart{l'}esercizio}{\ccmarkart{gli} esercizi},
+            Crefname = {L'esercizio}{Gli esercizi},
+        },
+        PT = {
+            name = {Exercício},
+            crefname = {\ccmarkart{o} exercício}{\ccmarkart{os} exercícios},
+            Crefname = {O exercício}{Os exercícios},
+        },
+        BR = {
+            name = {Exercício},
+            crefname = {\ccmarkart{o} exercício}{\ccmarkart{os} exercícios},
+            Crefname = {O exercício}{Os exercícios},
+        },
+        ES = {
+            name = {Ejercicio},
+            crefname = {\ccmarkart{el} ejercicio}{los ejercicios},
+            Crefname = {El ejercicio}{Los ejercicios},
+        },
+        CN = {
+            name = {练习},
+            crefname = {练习}{练习},
+            Crefname = {练习}{练习},
+        },
+        TC = {
+            name = {練習},
+            crefname = {練習}{練習},
+            Crefname = {練習}{練習},
+        },
+        JP = {
+            name = {練習},
+            crefname = {練習}{練習},
+            Crefname = {練習}{練習},
+        },
+        RU = {
+            name = {Упражнение},
+            crefname = {упражнение}{упражнения},
+            Crefname = {Упражнение}{Упражнения},
+        },
+    }
+    \NameTheorem{remark}{
+        EN = {
+            name = {Remark},
+            crefname = {remark}{remarks},
+            Crefname = {Remark}{Remarks},
+        },
+        FR = {
+            name = {Remarque},
+            crefname = {\ccmarkart{la} remarque}{\ccmarkart{les} remarques},
+            Crefname = {La remarque}{Les remarques},
+        },
+        DE = {
+            name = {Bemerkung},
+            crefname = {Bemerkung}{Bemerkungen},
+            Crefname = {Bemerkung}{Bemerkungen},
+        },
+        IT = {
+            name = {Commento},
+            crefname = {\ccmarkart{il} commento}{\ccmarkart{i} commenti},
+            Crefname = {Il commento}{I commenti},
+        },
+        PT = {
+            name = {Comentário},
+            crefname = {\ccmarkart{o} comentário}{\ccmarkart{os} comentários},
+            Crefname = {O comentário}{Os comentários},
+        },
+        BR = {
+            name = {Comentário},
+            crefname = {\ccmarkart{o} comentário}{\ccmarkart{os} comentários},
+            Crefname = {O comentário}{Os comentários},
+        },
+        ES = {
+            name = {Comentario},
+            crefname = {\ccmarkart{el} comentario}{los comentarios},
+            Crefname = {El comentario}{Los comentarios},
+        },
+        CN = {
+            name = {备注},
+            crefname = {备注}{备注},
+            Crefname = {备注}{备注},
+        },
+        TC = {
+            name = {備註},
+            crefname = {備註}{備註},
+            Crefname = {備註}{備註},
+        },
+        JP = {
+            name = {注釈},
+            crefname = {注釈}{注釈},
+            Crefname = {注釈}{注釈},
+        },
+        RU = {
+            name = {Замечание},
+            crefname = {замечание}{замечания},
+            Crefname = {Замечание}{Замечания},
+        },
+    }
+    \NameTheorem{observation}{
+        EN = {
+            name = {Observation},
+            crefname = {observation}{observations},
+            Crefname = {Observation}{Observations},
+        },
+        FR = {
+            name = {Observation},
+            crefname = {\ccmarkart{la} observation}{\ccmarkart{les} observations},
+            Crefname = {La observation}{Les observations},
+        },
+        DE = {
+            name = {Beobachtung},
+            crefname = {Beobachtung}{Beobachtungen},
+            Crefname = {Beobachtung}{Beobachtungen},
+        },
+        IT = {
+            name = {Osservazione},
+            crefname = {\ccmarkart{l'}osservazione}{\ccmarkart{le} osservazioni},
+            Crefname = {L'osservazione}{Le osservazioni},
+        },
+        PT = {
+            name = {Observação},
+            crefname = {\ccmarkart{a} observação}{\ccmarkart{as} observações},
+            Crefname = {A observação}{As observações},
+        },
+        BR = {
+            name = {Observação},
+            crefname = {\ccmarkart{a} observação}{\ccmarkart{as} observações},
+            Crefname = {A observação}{As observações},
+        },
+        ES = {
+            name = {Observación},
+            crefname = {la observación}{las observaciones},
+            Crefname = {La observación}{Las observaciones},
+        },
+        CN = {
+            name = {观察},
+            crefname = {观察}{观察},
+            Crefname = {观察}{观察},
+        },
+        TC = {
+            name = {觀察},
+            crefname = {觀察}{觀察},
+            Crefname = {觀察}{觀察},
+        },
+        JP = {
+            name = {観察},
+            crefname = {観察}{観察},
+            Crefname = {観察}{観察},
+        },
+        RU = {
+            name = {Наблюдение},
+            crefname = {наблюдение}{наблюдения},
+            Crefname = {Наблюдение}{Наблюдения},
+        },
+    }
+    \NameTheorem{definition-proposition}{
+        EN = {
+            name = {\definitionnameEN-\propositionnameEN},
+            crefname = {definition-proposition}{definitions-propositions},
+            Crefname = {Definition-proposition}{Definitions-propositions},
+        },
+        FR = {
+            name = {\definitionnameFR-\propositionnameFR},
+            crefname = {\ccmarkart{la} définition-proposition}{\ccmarkart{les} définitions-propositions},
+            Crefname = {La définition-proposition}{Les définitions-propositions},
+        },
+        DE = {
+            name = {\definitionnameDE-\propositionnameDE},
+            crefname = {Definition-Proposition}{Definitionen-Propositionen},
+            Crefname = {Definition-Proposition}{Definitionen-Propositionen},
+        },
+        IT = {
+            name = {\definitionnameIT-\propositionnameIT},
+            crefname = {\ccmarkart{la} definizione-proposizione}{\ccmarkart{le} definizioni-proposte},
+            Crefname = {La definizione-proposizione}{Le definizioni-proposte},
+        },
+        PT = {
+            name = {\definitionnamePT-\propositionnamePT},
+            crefname = {\ccmarkart{a} definição-proposição}{\ccmarkart{as} definições-proposições},
+            Crefname = {A definição-proposição}{As definições-proposições},
+        },
+        BR = {
+            name = {\definitionnameBR-\propositionnameBR},
+            crefname = {\ccmarkart{a} definição-proposição}{\ccmarkart{as} definições-proposições},
+            Crefname = {A definição-proposição}{As definições-proposições},
+        },
+        ES = {
+            name = {\definitionnameES-\propositionnameES},
+            crefname = {la definición-proposición}{las definiciones-proposiciones},
+            Crefname = {La definición-proposición}{Las definiciones-proposiciones},
+        },
+        CN = {
+            name = {\definitionnameCN-\propositionnameCN},
+            crefname = {\definitionnameCN-\propositionnameCN}{\definitionnameCN-\propositionnameCN},
+            Crefname = {\definitionnameCN-\propositionnameCN}{\definitionnameCN-\propositionnameCN},
+        },
+        TC = {
+            name = {\definitionnameTC-\propositionnameTC},
+            crefname = {\definitionnameTC-\propositionnameTC}{\definitionnameTC-\propositionnameTC},
+            Crefname = {\definitionnameTC-\propositionnameTC}{\definitionnameTC-\propositionnameTC},
+        },
+        JP = {
+            name = {\definitionnameJP-\propositionnameJP},
+            crefname = {\definitionnameJP-\propositionnameJP}{\definitionnameJP-\propositionnameJP},
+            Crefname = {\definitionnameJP-\propositionnameJP}{\definitionnameJP-\propositionnameJP},
+        },
+        RU = {
+            name = {\definitionnameRU-\propositionnameRU},
+            crefname = {определение-предложение}{определения-предложения},
+            Crefname = {Определение-предложение}{Определения-предложение},
+        },
+    }
+    \NameTheorem{definition-theorem}{
+        EN = {
+            name = {\definitionnameEN-\theoremnameEN},
+            crefname = {definition-theorem}{definitions-theorems},
+            Crefname = {Definition-theorem}{Definitions-theorems},
+        },
+        FR = {
+            name = {\definitionnameFR-\theoremnameFR},
+            crefname = {\ccmarkart{la} définition-théorème}{\ccmarkart{les} définitions-théorèmes},
+            Crefname = {La définition-théorème}{Les définitions-théorèmes},
+        },
+        DE = {
+            name = {\definitionnameDE-\theoremnameDE},
+            crefname = {Definition-Satz}{Definitionen-Sätze},
+            Crefname = {Definition-Satz}{Definitionen-Sätze},
+        },
+        IT = {
+            name = {\definitionnameIT-\theoremnameIT},
+            crefname = {\ccmarkart{la} definizione-teorema}{\ccmarkart{le} definizioni-teoremi},
+            Crefname = {La definizione-teorema}{Le definizioni-teoremi},
+        },
+        PT = {
+            name = {\definitionnamePT-\theoremnamePT},
+            crefname = {\ccmarkart{a} definição-teorema}{\ccmarkart{as} definições-teoremas},
+            Crefname = {A definição-teorema}{As definições-teoremas},
+        },
+        BR = {
+            name = {\definitionnameBR-\theoremnameBR},
+            crefname = {\ccmarkart{a} definição-teorema}{\ccmarkart{as} definições-teoremas},
+            Crefname = {A definição-teorema}{As definições-teoremas},
+        },
+        ES = {
+            name = {\definitionnameES-\theoremnameES},
+            crefname = {la definición-teorema}{las definiciones-teoremas},
+            Crefname = {La definición-teorema}{Las definiciones-teoremas},
+        },
+        CN = {
+            name = {\definitionnameCN-\theoremnameCN},
+            crefname = {\definitionnameCN-\theoremnameCN}{\definitionnameCN-\theoremnameCN},
+            Crefname = {\definitionnameCN-\theoremnameCN}{\definitionnameCN-\theoremnameCN},
+        },
+        TC = {
+            name = {\definitionnameTC-\theoremnameTC},
+            crefname = {\definitionnameTC-\theoremnameTC}{\definitionnameTC-\theoremnameTC},
+            Crefname = {\definitionnameTC-\theoremnameTC}{\definitionnameTC-\theoremnameTC},
+        },
+        JP = {
+            name = {\definitionnameJP-\theoremnameJP},
+            crefname = {\definitionnameJP-\theoremnameJP}{\definitionnameJP-\theoremnameJP},
+            Crefname = {\definitionnameJP-\theoremnameJP}{\definitionnameJP-\theoremnameJP},
+        },
+        RU = {
+            name = {\definitionnameRU-\theoremnameRU},
+            crefname = {определение-теорема}{определения-теоремы},
+            Crefname = {Определение-теорема}{Определения-теорема},
+        },
+    }
+}{
 %# 英文定理名称
 %# 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\observationnameEN{{Observation}}
-\expandafter\def\csname definition-propositionnameEN\endcsname{\definitionnameEN-\propositionnameEN}
-\expandafter\def\csname definition-theoremnameEN\endcsname{\definitionnameEN-\theoremnameEN}
+    \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\observationnameFR{{Observation}}
-\expandafter\def\csname definition-propositionnameFR\endcsname{\definitionnameFR-\propositionnameFR}
-\expandafter\def\csname definition-theoremnameFR\endcsname{\definitionnameFR-\theoremnameFR}
+    \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\observationnameDE{{Beobachtung}}
-\expandafter\def\csname definition-propositionnameDE\endcsname{\definitionnameDE-\propositionnameDE}
-\expandafter\def\csname definition-theoremnameDE\endcsname{\definitionnameDE-\theoremnameDE}
+    \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}
+    \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{{Commento}}
+    \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}
+    \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}
+    \def\theoremnameBR{{Teorema}}
+    \def\lemmanameBR{{Lema}}
+    \def\propositionnameBR{{Proposição}}
+    \def\corollarynameBR{{Corolário}}
+    \def\propertynameBR{{Propriedade}}
+    \def\factnameBR{{Fato}}
+    \def\conjecturenameBR{{Conjectura}}
+    \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}
+    \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\observationnameCN{{观察}}
-\expandafter\def\csname definition-propositionnameCN\endcsname{\definitionnameCN-\propositionnameCN}
-\expandafter\def\csname definition-theoremnameCN\endcsname{\definitionnameCN-\theoremnameCN}
+    \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\observationnameTC{{觀察}}
-\expandafter\def\csname definition-propositionnameTC\endcsname{\definitionnameTC-\propositionnameTC}
-\expandafter\def\csname definition-theoremnameTC\endcsname{\definitionnameTC-\theoremnameTC}
+    \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\observationnameJP{{観察}}
-\expandafter\def\csname definition-propositionnameJP\endcsname{\definitionnameJP-\propositionnameJP}
-\expandafter\def\csname definition-theoremnameJP\endcsname{\definitionnameJP-\theoremnameJP}
+    \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\observationnameRU{{Наблюдение}} % Наблюде́ние
-\expandafter\def\csname definition-propositionnameRU\endcsname{\definitionnameRU-\propositionnameRU}
-\expandafter\def\csname definition-theoremnameRU\endcsname{\definitionnameRU-\theoremnameRU}
+    \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}
+}
 
 %# 判断最高级别的标题是 section 还是 chapter
 %# Detect the highest level of title: section or chapter?
@@ -2170,7 +3425,7 @@
     \def\creflastconjunction{~和~}%
     \def\crefpairgroupconjunction{~和~}%
     \def\crefmiddlegroupconjunction{、}%
-    \def\creflastgroupconjunction{~和~}%
+    \def\creflastgroupconjunction{~以及~}%
     \def\crefrangeconjunction{~}%
 }
 \gappto{\PJLlang at langconfig@TC}{%
@@ -2187,7 +3442,7 @@
     \def\creflastconjunction{~與~}%
     \def\crefpairgroupconjunction{~與~}%
     \def\crefmiddlegroupconjunction{、}%
-    \def\creflastgroupconjunction{~與~}%
+    \def\creflastgroupconjunction{~以及~}%
     \def\crefrangeconjunction{~}%
 }
 \gappto{\PJLlang at langconfig@JP}{%
@@ -2204,8 +3459,8 @@
     \def\creflastconjunction{~と~}%
     \def\crefpairgroupconjunction{~と~}%
     \def\crefmiddlegroupconjunction{~と~}%
-    \def\creflastgroupconjunction{~と~}%
-    \def\crefrangeconjunction{〜}%
+    \def\creflastgroupconjunction{~及び~}%
+    \def\crefrangeconjunction{~}%
 }
 \gappto{\PJLlang at langconfig@RU}{%
     \crefname{equation}{уравнение}{уравнения}%
@@ -2260,6 +3515,8 @@
 \DeclareStringOption{thmnum}[PJL at thmnum@default]
 \DeclareBoolOption[true]{regionalref}
 \DeclareBoolOption[false]{originalref}
+\DeclareBoolOption[true]{complexname}
+\DeclareBoolOption[false]{simplename}
 \DeclareBoolOption[false]{useosf}
 \DeclareBoolOption[false]{lmodern}
 \DeclareBoolOption[false]{palatino}
@@ -2276,6 +3533,9 @@
 \if at ProjLib@originalref
     \@ProjLib at regionalreffalse
 \fi
+\if at ProjLib@simplename
+    \@ProjLib at complexnamefalse
+\fi
 \if at ProjLib@draft
     \@ProjLib at fasttrue
 \fi
@@ -2307,6 +3567,9 @@
 \if at ProjLib@regionalref\else
     \PassOptionsToPackage{originalref}{PJLthm}
 \fi
+\if at ProjLib@complexname\else
+    \PassOptionsToPackage{simplename}{PJLthm}
+\fi
 
 %# 加载不默认载入的组件
 %# Load those components not by default loaded
@@ -2414,6 +3677,7 @@
 %# 使用 microtype 优化排版细节
 %# Use `microtype` to get details better
 \RequirePackage{microtype}
+\AtEndPreamble{\AtBeginDocument{\microtypesetup{disable}{\scshape}\microtypesetup{enable}}}
 %</ProjLib>
 
 \endinput
\ No newline at end of file

Modified: trunk/Master/texmf-dist/tex/latex/projlib/PJLauthor.sty
===================================================================
--- trunk/Master/texmf-dist/tex/latex/projlib/PJLauthor.sty	2021-10-31 21:08:53 UTC (rev 60913)
+++ trunk/Master/texmf-dist/tex/latex/projlib/PJLauthor.sty	2021-10-31 21:09:13 UTC (rev 60914)
@@ -17,7 +17,7 @@
 %% 
 \NeedsTeXFormat{LaTeX2e}[2020-10-01]
 \ProvidesPackage{PJLauthor}
-    [2021/10/24 Enhanced author information block]
+    [2021/10/30 Enhanced author information block]
 \RequirePackage{kvoptions}
 \RequirePackage{etoolbox}
 \SetupKeyvalOptions{

Modified: trunk/Master/texmf-dist/tex/latex/projlib/PJLdate.sty
===================================================================
--- trunk/Master/texmf-dist/tex/latex/projlib/PJLdate.sty	2021-10-31 21:08:53 UTC (rev 60913)
+++ trunk/Master/texmf-dist/tex/latex/projlib/PJLdate.sty	2021-10-31 21:09:13 UTC (rev 60914)
@@ -17,7 +17,7 @@
 %% 
 \NeedsTeXFormat{LaTeX2e}[2020-10-01]
 \ProvidesPackage{PJLdate}
-    [2021/10/24 Convert yyyy-mm-dd to normal datetime format]
+    [2021/10/30 Convert yyyy-mm-dd to normal datetime format]
 \RequirePackage{kvoptions}
 \RequirePackage{etoolbox}
 \SetupKeyvalOptions{

Modified: trunk/Master/texmf-dist/tex/latex/projlib/PJLdraft.sty
===================================================================
--- trunk/Master/texmf-dist/tex/latex/projlib/PJLdraft.sty	2021-10-31 21:08:53 UTC (rev 60913)
+++ trunk/Master/texmf-dist/tex/latex/projlib/PJLdraft.sty	2021-10-31 21:09:13 UTC (rev 60914)
@@ -17,7 +17,7 @@
 %% 
 \NeedsTeXFormat{LaTeX2e}[2020-10-01]
 \ProvidesPackage{PJLdraft}
-    [2021/10/24 Some useful macros for the draft stage]
+    [2021/10/30 Some useful macros for the draft stage]
 \RequirePackage{kvoptions}
 \RequirePackage{etoolbox}
 \SetupKeyvalOptions{

Modified: trunk/Master/texmf-dist/tex/latex/projlib/PJLlang.sty
===================================================================
--- trunk/Master/texmf-dist/tex/latex/projlib/PJLlang.sty	2021-10-31 21:08:53 UTC (rev 60913)
+++ trunk/Master/texmf-dist/tex/latex/projlib/PJLlang.sty	2021-10-31 21:09:13 UTC (rev 60914)
@@ -17,7 +17,7 @@
 %% 
 \NeedsTeXFormat{LaTeX2e}[2020-10-01]
 \ProvidesPackage{PJLlang}
-    [2021/10/24 Multi-language configuration]
+    [2021/10/30 Multi-language configuration]
 \RequirePackage{kvoptions}
 \RequirePackage{etoolbox}
 \SetupKeyvalOptions{%

Modified: trunk/Master/texmf-dist/tex/latex/projlib/PJLlogo.sty
===================================================================
--- trunk/Master/texmf-dist/tex/latex/projlib/PJLlogo.sty	2021-10-31 21:08:53 UTC (rev 60913)
+++ trunk/Master/texmf-dist/tex/latex/projlib/PJLlogo.sty	2021-10-31 21:09:13 UTC (rev 60914)
@@ -17,7 +17,7 @@
 %% 
 \NeedsTeXFormat{LaTeX2e}[2020-10-01]
 \ProvidesPackage{PJLlogo}
-    [2021/10/24 The ProjLib logo]
+    [2021/10/30 The ProjLib logo]
 \RequirePackage{kvoptions}
 \RequirePackage{etoolbox}
 \SetupKeyvalOptions{

Modified: trunk/Master/texmf-dist/tex/latex/projlib/PJLmath.sty
===================================================================
--- trunk/Master/texmf-dist/tex/latex/projlib/PJLmath.sty	2021-10-31 21:08:53 UTC (rev 60913)
+++ trunk/Master/texmf-dist/tex/latex/projlib/PJLmath.sty	2021-10-31 21:09:13 UTC (rev 60914)
@@ -17,7 +17,7 @@
 %% 
 \NeedsTeXFormat{LaTeX2e}[2020-10-01]
 \ProvidesPackage{PJLmath}
-    [2021/10/24 Useful math macros and shortcuts]
+    [2021/10/30 Useful math macros and shortcuts]
 \RequirePackage{kvoptions}
 \RequirePackage{etoolbox}
 \RequirePackage{mathtools}

Modified: trunk/Master/texmf-dist/tex/latex/projlib/PJLpaper.sty
===================================================================
--- trunk/Master/texmf-dist/tex/latex/projlib/PJLpaper.sty	2021-10-31 21:08:53 UTC (rev 60913)
+++ trunk/Master/texmf-dist/tex/latex/projlib/PJLpaper.sty	2021-10-31 21:09:13 UTC (rev 60914)
@@ -17,7 +17,7 @@
 %% 
 \NeedsTeXFormat{LaTeX2e}[2020-10-01]
 \ProvidesPackage{PJLpaper}
-    [2021/10/24 Paper style configuration]
+    [2021/10/30 Paper style configuration]
 \RequirePackage{kvoptions}
 \RequirePackage{etoolbox}
 \RequirePackage{ifthen}

Modified: trunk/Master/texmf-dist/tex/latex/projlib/PJLthm.sty
===================================================================
--- trunk/Master/texmf-dist/tex/latex/projlib/PJLthm.sty	2021-10-31 21:08:53 UTC (rev 60913)
+++ trunk/Master/texmf-dist/tex/latex/projlib/PJLthm.sty	2021-10-31 21:09:13 UTC (rev 60914)
@@ -17,7 +17,7 @@
 %% 
 \NeedsTeXFormat{LaTeX2e}[2020-10-01]
 \ProvidesPackage{PJLthm}
-    [2021/10/24 Theorem setup and configuration]
+    [2021/10/30 Theorem setup and configuration]
 \RequirePackage{kvoptions}
 \RequirePackage{etoolbox}
 \SetupKeyvalOptions{%
@@ -32,10 +32,15 @@
 \DeclareBoolOption[false]{fast}
 \DeclareBoolOption[true]{regionalref}
 \DeclareBoolOption[false]{originalref}
+\DeclareBoolOption[true]{complexname}
+\DeclareBoolOption[false]{simplename}
 \ProcessKeyvalOptions*\relax
 \if at PJLthm@originalref
     \@PJLthm at regionalreffalse
 \fi
+\if at PJLthm@simplename
+    \@PJLthm at complexnamefalse
+\fi
 \if at PJLthm@draft
     \@PJLthm at fasttrue
 \fi
@@ -46,6 +51,16 @@
 \@ifclassloaded{beamer}{%
     \RequirePackage{silence}
     \WarningFilter{cleveref}{hyperref package loaded with implicit=false option}
+    \@PJLthm at nothmnumtrue%
+    \if at PJLthm@nothms\else%
+        \let\theorem\relax
+        \let\lemma\relax
+        \let\corollary\relax
+        \let\definition\relax
+        \let\fact\relax
+        \let\example\relax
+        \let\problem\relax
+    \fi
 }{}
 
 \RequirePackage{PJLlang}
@@ -52,8 +67,9 @@
 \RequirePackage{amsmath,amsthm}
 \RequirePackage{aliascnt}
 \PassOptionsToPackage{nameinlink}{cleveref}
-\RequirePackage{cleveref}
+\RequirePackage{ccref}
 
+\RequirePackage{xparse}
 \RequirePackage{xstring}
 \NewDocumentCommand{\NameTheorem}{omm}{%
     \protected at edef\PJLthm at temp{#2}%
@@ -135,18 +151,22 @@
                     \newaliascnt{#2#3}{PJL#2#3}%
                 }{%
                     \IfValueTF{#4}{%
-                            \newtheorem{PJL#2#3}[#4]{\csname#2name\csname\languagename ABBR\endcsname\endcsname}
+                            \newtheorem{PJL#2#3}[#4]{\csname#2name\csname\languagename ABBR\endcsname\endcsname}%
                         }{%
-                            \newtheorem{PJL#2#3}{\csname#2name\csname\languagename ABBR\endcsname\endcsname}
+                            \newtheorem{PJL#2#3}{\csname#2name\csname\languagename ABBR\endcsname\endcsname}%
                             \newaliascnt{#2#3}{PJL#2#3}%
                         }%
                 }%
-                \crefname{PJL#2#3}%
-                    {\csname#2name\csname\languagename ABBR\endcsname\endcsname}%
-                    {\csname#2name\csname\languagename ABBR\endcsname\endcsname}%
-                \Crefname{PJL#2#3}%
-                    {\csname#2name\csname\languagename ABBR\endcsname\endcsname}%
-                    {\csname#2name\csname\languagename ABBR\endcsname\endcsname}%
+                \ifcsname cref at PJL#2#3 at name\endcsname\else%
+                    \crefname{PJL#2#3}%
+                        {\csname#2name\csname\languagename ABBR\endcsname\endcsname}%
+                        {\csname#2name\csname\languagename ABBR\endcsname\endcsname}%
+                \fi%
+                \ifcsname Cref at PJL#2#3 at name\endcsname\else%
+                    \Crefname{PJL#2#3}%
+                        {\csname#2name\csname\languagename ABBR\endcsname\endcsname}%
+                        {\csname#2name\csname\languagename ABBR\endcsname\endcsname}%
+                \fi%
                 \NewDocumentEnvironment{#2#3}{}
                     {\begin{PJL#2#3}}
                     {\end{PJL#2#3}}
@@ -154,7 +174,7 @@
         }%
     }%
     \IfValueTF{#7}{%
-        \CreateTheoremSetKeys{#2}{#7}%
+        \NameTheorem{#2}{#7}%
     }{}%
 }%
 \else
@@ -236,7 +256,7 @@
         }%
     }%
     \IfValueTF{#7}{%
-        \CreateTheoremSetKeys{#2}{#7}%
+        \NameTheorem{#2}{#7}%
     }{}%
 }%
 \NewDocumentCommand{\CreateTheoremNumberedLikeAliasCounter}{mmm}{%
@@ -243,16 +263,20 @@
     \newaliascnt{#1#2#3}{#1#3}%
     \expandafter\PassFirstToSecond\expandafter{\csname#1name#2\endcsname}{\newtheorem{#1#2#3}[{#1#2#3}]}%
     \aliascntresetthe{#1#2#3}%
-    \expandafter\PassFirstToSecond\expandafter{\csname#1name#2\endcsname}%
-    {%
+    \ifcsname cref@#1#2#3 at name\endcsname\else%
         \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%
+    \ifcsname Cref@#1#2#3 at name\endcsname\else%
         \expandafter\PassFirstToSecond\expandafter{\csname#1name#2\endcsname}%
-        {\Crefname{#1#2#3}}%
-    }%
+        {%
+            \expandafter\PassFirstToSecond\expandafter{\csname#1name#2\endcsname}%
+            {\Crefname{#1#2#3}}%
+        }%
+    \fi%
 }%
 \fi
 
@@ -269,8 +293,6 @@
 
 
 \NewDocumentCommand \CreateTheoremSetKeys { mm } {
-  % #1 = name of counter
-  % #2 = keyval-list of language-specifications
   \cs_set:Nn \__PJLthm_countername: {#1}
   \keyval_parse:nnn { \PJLthm_exchange_i_iii_ii:nnn { \PJLthm_setlanguagespecificparameters:nn } {} }
                     { \PJLthm_setlanguagespecificparameters:nn }
@@ -278,29 +300,33 @@
 }
 
 \cs_new_protected:Nn \PJLthm_setlanguagespecificparameters:nn {
-  % #1 = language-prefix
-  % #2 = key-val-list for language whose prefix is language-prefix
   \cs_set:Nx \__PJLthm_languageprefix: {\StrToABBR{#1}}
   \exp_args:No \tl_if_empty:nTF {\__PJLthm_languageprefix:}
     { \msg_error:nn { PJLthm }
-                    { No language \exp_not:n{#1} defined }
+                    { No~language~"\exp_not:n{#1}"~defined }
     }%
     {%
-        \ifcsname the\__PJLthm_countername:\endcsname\else
-            \newcounter{\__PJLthm_countername:}%
-        \fi
-        \newaliascnt {\__PJLthm_countername: \__PJLthm_languageprefix:} {\__PJLthm_countername:}%
-        \aliascntresetthe {\__PJLthm_countername: \__PJLthm_languageprefix:}%
         \keys_set:nn { PJLthm } { #2 }
     }%
 }%
+
 \keys_define:nn { PJLthm } {
   crefname.code:n  = \cs_if_exist:NTF \crefname  {
-                        \exp_args:Nx \crefname {\__PJLthm_countername: \__PJLthm_languageprefix: }#1
+                        \ifbool{@PJLthm at regionalref}{
+                            \exp_args:Nx \PJLthm at setcrefinnername{PJL\__PJLthm_countername: \__PJLthm_languageprefix: }#1
+                            \exp_args:Nx \PJLthm at setcrefname{PJL\__PJLthm_countername: }
+                        }{
+                            \exp_args:Nx \crefname {\__PJLthm_countername: \__PJLthm_languageprefix: }#1
+                        }
                      }{},
   crefname.value_required:n = true,
   Crefname.code:n  = \cs_if_exist:NTF \Crefname  {
-                        \exp_args:Nx \Crefname {\__PJLthm_countername: \__PJLthm_languageprefix: }#1
+                        \ifbool{@PJLthm at regionalref}{
+                            \exp_args:Nx \PJLthm at setCrefinnername{PJL\__PJLthm_countername: \__PJLthm_languageprefix: }#1
+                            \exp_args:Nx \PJLthm at setCrefname{PJL\__PJLthm_countername: }
+                        }{
+                            \exp_args:Nx \Crefname {\__PJLthm_countername: \__PJLthm_languageprefix: }#1
+                        }
                      }{},
   Crefname.value_required:n = true,
   name.code:n  = \exp_args:Nx \cs_set:cpn {\__PJLthm_countername: name \__PJLthm_languageprefix:} {#1},
@@ -322,248 +348,1468 @@
 
 \ExplSyntaxOff
 
-\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}
+\newcommand{\PJLthm at setcrefinnername}[3]{%
+    \expandafter\def\csname PJLthm at cref@#1 at name\endcsname{#2}%
+    \expandafter\def\csname PJLthm at cref@#1 at name@plural\endcsname{#3}%
+}
+\newcommand{\PJLthm at setCrefinnername}[3]{%
+    \expandafter\def\csname PJLthm at Cref@#1 at name\endcsname{#2}%
+    \expandafter\def\csname PJLthm at Cref@#1 at name@plural\endcsname{#3}%
+}
 
-\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}
+\newcommand{\PJLthm at setcrefname}[1]{%
+    \crefname{#1}%
+        {\csname PJLthm at cref@#1\csname\languagename ABBR\endcsname @name\endcsname}%
+        {\csname PJLthm at cref@#1\csname\languagename ABBR\endcsname @name at plural\endcsname}%
+}
+\newcommand{\PJLthm at setCrefname}[1]{%
+    \Crefname{#1}%
+        {\csname PJLthm at Cref@#1\csname\languagename ABBR\endcsname @name\endcsname}%
+        {\csname PJLthm at Cref@#1\csname\languagename ABBR\endcsname @name at plural\endcsname}%
+}
 
-\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}
+\ifbool{@PJLthm at complexname}{
+    \NameTheorem{theorem}{
+        EN = {
+            name = {Theorem},
+            crefname = {theorem}{theorems},
+            Crefname = {Theorem}{Theorems},
+        },
+        FR = {
+            name = {Théorème},
+            crefname = {\ccmarkart{le} théorème}{\ccmarkart{les} théorèmes},
+            Crefname = {Le théorème}{Les théorèmes},
+        },
+        DE = {
+            name = {Satz},
+            crefname = {Satz}{Sätze},
+            Crefname = {Satz}{Sätze},
+        },
+        IT = {
+            name = {Teorema},
+            crefname = {\ccmarkart{il} teorema}{\ccmarkart{i} teoremi},
+            Crefname = {Il teorema}{I teoremi},
+        },
+        PT = {
+            name = {Teorema},
+            crefname = {\ccmarkart{o} teorema}{\ccmarkart{os} teoremas},
+            Crefname = {O teorema}{Os teoremas},
+        },
+        BR = {
+            name = {Teorema},
+            crefname = {\ccmarkart{o} teorema}{\ccmarkart{os} teoremas},
+            Crefname = {O teorema}{Os teoremas},
+        },
+        ES = {
+            name = {Teorema},
+            crefname = {\ccmarkart{el} teorema}{los teoremas},
+            Crefname = {El teorema}{Los teoremas},
+        },
+        CN = {
+            name = {定理},
+            crefname = {定理}{定理},
+            Crefname = {定理}{定理},
+        },
+        TC = {
+            name = {定理},
+            crefname = {定理}{定理},
+            Crefname = {定理}{定理},
+        },
+        JP = {
+            name = {定理},
+            crefname = {定理}{定理},
+            Crefname = {定理}{定理},
+        },
+        RU = {
+            name = {Теорема},
+            crefname = {теорема}{теоремы},
+            Crefname = {Теорема}{Теоремы},
+        },
+    }
+    \NameTheorem{lemma}{
+        EN = {
+            name = {Lemma},
+            crefname = {lemma}{Lemmas},
+            Crefname = {Lemma}{Lemmas},
+        },
+        FR = {
+            name = {Lemme},
+            crefname = {\ccmarkart{le} lemme}{\ccmarkart{les} lemmes},
+            Crefname = {Le lemme}{Les lemmes},
+        },
+        DE = {
+            name = {Lemma},
+            crefname = {Lemma}{Lemmata},
+            Crefname = {Lemma}{Lemmata},
+        },
+        IT = {
+            name = {Lemma},
+            crefname = {\ccmarkart{il} lemma}{\ccmarkart{i} lemmi},
+            Crefname = {Il lemma}{I lemmi},
+        },
+        PT = {
+            name = {Lema},
+            crefname = {\ccmarkart{o} lema}{\ccmarkart{os} lemas},
+            Crefname = {O lema}{Os lemas},
+        },
+        BR = {
+            name = {Lema},
+            crefname = {\ccmarkart{o} lema}{\ccmarkart{os} lemas},
+            Crefname = {O lema}{Os lemas},
+        },
+        ES = {
+            name = {Lema},
+            crefname = {\ccmarkart{el} lema}{las lemas},
+            Crefname = {El lema}{Las lemas},
+        },
+        CN = {
+            name = {引理},
+            crefname = {引理}{引理},
+            Crefname = {引理}{引理},
+        },
+        TC = {
+            name = {引理},
+            crefname = {引理}{引理},
+            Crefname = {引理}{引理},
+        },
+        JP = {
+            name = {補題},
+            crefname = {補題}{補題},
+            Crefname = {補題}{補題},
+        },
+        RU = {
+            name = {Лемма},
+            crefname = {лемма}{леммы},
+            Crefname = {Лемма}{Леммы},
+        },
+    }
+    \NameTheorem{proposition}{
+        EN = {
+            name = {Proposition},
+            crefname = {proposition}{propositions},
+            Crefname = {Proposition}{Propositions},
+        },
+        FR = {
+            name = {Proposition},
+            crefname = {\ccmarkart{la} proposition}{\ccmarkart{les} propositions},
+            Crefname = {La proposition}{Les propositions},
+        },
+        DE = {
+            name = {Proposition},
+            crefname = {Proposition}{Propositionen},
+            Crefname = {Proposition}{Propositionen},
+        },
+        IT = {
+            name = {Proposizione},
+            crefname = {\ccmarkart{la} proposizione}{\ccmarkart{le} proposte},
+            Crefname = {La proposizione}{Le proposte},
+        },
+        PT = {
+            name = {Proposição},
+            crefname = {\ccmarkart{a} proposição}{\ccmarkart{as} proposições},
+            Crefname = {A proposição}{As proposições},
+        },
+        BR = {
+            name = {Proposição},
+            crefname = {\ccmarkart{a} proposição}{\ccmarkart{as} proposições},
+            Crefname = {A proposição}{As proposições},
+        },
+        ES = {
+            name = {Proposición},
+            crefname = {la proposición}{las proposiciones},
+            Crefname = {La proposición}{Las proposiciones},
+        },
+        CN = {
+            name = {命题},
+            crefname = {命题}{命题},
+            Crefname = {命题}{命题},
+        },
+        TC = {
+            name = {命題},
+            crefname = {命題}{命題},
+            Crefname = {命題}{命題},
+        },
+        JP = {
+            name = {命題},
+            crefname = {命題}{命題},
+            Crefname = {命題}{命題},
+        },
+        RU = {
+            name = {Предложение},
+            crefname = {предложение}{предложения},
+            Crefname = {Предложение}{Предложения},
+        },
+    }
+    \NameTheorem{corollary}{
+        EN = {
+            name = {Corollary},
+            crefname = {corollary}{corollaries},
+            Crefname = {Corollary}{Corollaries},
+        },
+        FR = {
+            name = {Corollaire},
+            crefname = {\ccmarkart{le} corollaire}{\ccmarkart{les} corollaires},
+            Crefname = {Le corollaire}{Les corollaires},
+        },
+        DE = {
+            name = {Korollar},
+            crefname = {Korollar}{Korollare},
+            Crefname = {Korollar}{Korollare},
+        },
+        IT = {
+            name = {Corollario},
+            crefname = {\ccmarkart{il} corollario}{\ccmarkart{i} corollari},
+            Crefname = {Il corollario}{I corollari},
+        },
+        PT = {
+            name = {Corolário},
+            crefname = {\ccmarkart{o} corolário}{\ccmarkart{os} corolários},
+            Crefname = {O corolário}{Os corolários},
+        },
+        BR = {
+            name = {Corolário},
+            crefname = {\ccmarkart{o} corolário}{\ccmarkart{os} corolários},
+            Crefname = {O corolário}{Os corolários},
+        },
+        ES = {
+            name = {Corolario},
+            crefname = {\ccmarkart{el} corolario}{los corolarios},
+            Crefname = {El corolario}{Los corolarios},
+        },
+        CN = {
+            name = {推论},
+            crefname = {推论}{推论},
+            Crefname = {推论}{推论},
+        },
+        TC = {
+            name = {推論},
+            crefname = {推論}{推論},
+            Crefname = {推論}{推論},
+        },
+        JP = {
+            name = {系},
+            crefname = {系}{系},
+            Crefname = {系}{系},
+        },
+        RU = {
+            name = {Следствие},
+            crefname = {следствие}{следствия},
+            Crefname = {Следствие}{Следствия},
+        },
+    }
+    \NameTheorem{property}{
+        EN = {
+            name = {Property},
+            crefname = {property}{properties},
+            Crefname = {Property}{Properties},
+        },
+        FR = {
+            name = {Propriété},
+            crefname = {\ccmarkart{la} propriété}{\ccmarkart{les} propriétés},
+            Crefname = {La propriété}{Les propriétés},
+        },
+        DE = {
+            name = {Eigenschaft},
+            crefname = {Eigenschaft}{Eigenschaften},
+            Crefname = {Eigenschaft}{Eigenschaften},
+        },
+        IT = {
+            name = {Proprietà},
+            crefname = {\ccmarkart{la} proprietà}{\ccmarkart{le} proprietà},
+            Crefname = {La proprietà}{Le proprietà},
+        },
+        PT = {
+            name = {Propriedade},
+            crefname = {\ccmarkart{a} propriedade}{\ccmarkart{as} propriedades},
+            Crefname = {A propriedade}{As propriedades},
+        },
+        BR = {
+            name = {Propriedade},
+            crefname = {\ccmarkart{a} propriedade}{\ccmarkart{as} propriedades},
+            Crefname = {A propriedade}{As propriedades},
+        },
+        ES = {
+            name = {Propiedad},
+            crefname = {la propiedad}{las propiedades},
+            Crefname = {La propiedad}{Las propiedades},
+        },
+        CN = {
+            name = {性质},
+            crefname = {性质}{性质},
+            Crefname = {性质}{性质},
+        },
+        TC = {
+            name = {性質},
+            crefname = {性質}{性質},
+            Crefname = {性質}{性質},
+        },
+        JP = {
+            name = {性質},
+            crefname = {性質}{性質},
+            Crefname = {性質}{性質},
+        },
+        RU = {
+            name = {Имущество},
+            crefname = {имущество}{имущества},
+            Crefname = {Имущество}{Имущества},
+        },
+    }
+    \NameTheorem{fact}{
+        EN = {
+            name = {Fact},
+            crefname = {fact}{facts},
+            Crefname = {Fact}{Facts},
+        },
+        FR = {
+            name = {Fait},
+            crefname = {\ccmarkart{le} fait}{\ccmarkart{les} faits},
+            Crefname = {Le fait}{Les faits},
+        },
+        DE = {
+            name = {Fakt},
+            crefname = {Fakt}{Fakten},
+            Crefname = {Fakt}{Fakten},
+        },
+        IT = {
+            name = {Fatto},
+            crefname = {\ccmarkart{il} fatto}{\ccmarkart{i} fatti},
+            Crefname = {Il fatto}{I fatti},
+        },
+        PT = {
+            name = {Facto},
+            crefname = {\ccmarkart{o} facto}{\ccmarkart{os} factos},
+            Crefname = {O facto}{Os factos},
+        },
+        BR = {
+            name = {Fato},
+            crefname = {\ccmarkart{o} fato}{\ccmarkart{os} fatos},
+            Crefname = {O fato}{Os fatos},
+        },
+        ES = {
+            name = {Hecho},
+            crefname = {\ccmarkart{el} hecho}{los hechos},
+            Crefname = {El hecho}{Los hechos},
+        },
+        CN = {
+            name = {事实},
+            crefname = {事实}{事实},
+            Crefname = {事实}{事实},
+        },
+        TC = {
+            name = {事實},
+            crefname = {事實}{事實},
+            Crefname = {事實}{事實},
+        },
+        JP = {
+            name = {事実},
+            crefname = {事実}{事実},
+            Crefname = {事実}{事実},
+        },
+        RU = {
+            name = {Факт},
+            crefname = {факт}{факты},
+            Crefname = {Факт}{Факты},
+        },
+    }
+    \NameTheorem{conjecture}{
+        EN = {
+            name = {Conjecture},
+            crefname = {conjecture}{conjectures},
+            Crefname = {Conjecture}{Conjectures},
+        },
+        FR = {
+            name = {Conjecture},
+            crefname = {\ccmarkart{la} conjecture}{\ccmarkart{les} conjectures},
+            Crefname = {La conjecture}{Les conjectures},
+        },
+        DE = {
+            name = {Vermutung},
+            crefname = {Vermutung}{Vermutungen},
+            Crefname = {Vermutung}{Vermutungen},
+        },
+        IT = {
+            name = {Congettura},
+            crefname = {\ccmarkart{la} congettura}{\ccmarkart{le} congetture},
+            Crefname = {La congettura}{Le congetture},
+        },
+        PT = {
+            name = {Conjetura},
+            crefname = {\ccmarkart{a} conjetura}{\ccmarkart{as} conjeturas},
+            Crefname = {A conjetura}{As conjeturas},
+        },
+        BR = {
+            name = {Conjectura},
+            crefname = {\ccmarkart{a} conjectura}{\ccmarkart{as} conjecturas},
+            Crefname = {A conjectura}{As conjecturas},
+        },
+        ES = {
+            name = {Conjetura},
+            crefname = {la conjetura}{las conjeturas},
+            Crefname = {La conjetura}{Las conjeturas},
+        },
+        CN = {
+            name = {猜想},
+            crefname = {猜想}{猜想},
+            Crefname = {猜想}{猜想},
+        },
+        TC = {
+            name = {猜想},
+            crefname = {猜想}{猜想},
+            Crefname = {猜想}{猜想},
+        },
+        JP = {
+            name = {予想},
+            crefname = {予想}{予想},
+            Crefname = {予想}{予想},
+        },
+        RU = {
+            name = {Гипотеза},
+            crefname = {гипотеза}{гипотезы},
+            Crefname = {Гипотеза}{Гипотезы},
+        },
+    }
+    \NameTheorem{definition}{
+        EN = {
+            name = {Definition},
+            crefname = {definition}{definitions},
+            Crefname = {Definition}{Definitions},
+        },
+        FR = {
+            name = {Définition},
+            crefname = {\ccmarkart{la} définition}{\ccmarkart{les} définitions},
+            Crefname = {La définition}{Les définitions},
+        },
+        DE = {
+            name = {Definition},
+            crefname = {Definition}{Definitionen},
+            Crefname = {Definition}{Definitionen},
+        },
+        IT = {
+            name = {Definizione},
+            crefname = {\ccmarkart{la} definizione}{\ccmarkart{le} definizioni},
+            Crefname = {La definizione}{Le definizioni},
+        },
+        PT = {
+            name = {Definição},
+            crefname = {\ccmarkart{a} definição}{\ccmarkart{as} definições},
+            Crefname = {A definição}{As definições},
+        },
+        BR = {
+            name = {Definição},
+            crefname = {\ccmarkart{a} definição}{\ccmarkart{as} definições},
+            Crefname = {A definição}{As definições},
+        },
+        ES = {
+            name = {Definición},
+            crefname = {la definición}{las definiciones},
+            Crefname = {La definición}{Las definiciones},
+        },
+        CN = {
+            name = {定义},
+            crefname = {定义}{定义},
+            Crefname = {定义}{定义},
+        },
+        TC = {
+            name = {定義},
+            crefname = {定義}{定義},
+            Crefname = {定義}{定義},
+        },
+        JP = {
+            name = {定義},
+            crefname = {定義}{定義},
+            Crefname = {定義}{定義},
+        },
+        RU = {
+            name = {Определение},
+            crefname = {определение}{определения},
+            Crefname = {Определение}{Определения},
+        },
+    }
+    \NameTheorem{axiom}{
+        EN = {
+            name = {Axiom},
+            crefname = {axiom}{axioms},
+            Crefname = {Axiom}{Axioms},
+        },
+        FR = {
+            name = {Axiome},
+            crefname = {\ccmarkart{l'}axiome}{\ccmarkart{les} axiomes},
+            Crefname = {L'axiome}{Les axiomes},
+        },
+        DE = {
+            name = {Axiom},
+            crefname = {Axiom}{Axiome},
+            Crefname = {Axiom}{Axiome},
+        },
+        IT = {
+            name = {Assioma},
+            crefname = {\ccmarkart{l'}assioma}{\ccmarkart{gli} assiomi},
+            Crefname = {L'assioma}{Gli assiomi},
+        },
+        PT = {
+            name = {Axioma},
+            crefname = {\ccmarkart{o} axioma}{\ccmarkart{os} axiomas},
+            Crefname = {O axioma}{Os axiomas},
+        },
+        BR = {
+            name = {Axioma},
+            crefname = {\ccmarkart{o} axioma}{\ccmarkart{os} axiomas},
+            Crefname = {O axioma}{Os axiomas},
+        },
+        ES = {
+            name = {Axioma},
+            crefname = {\ccmarkart{el} axioma}{los axiomas},
+            Crefname = {El axioma}{Los axiomas},
+        },
+        CN = {
+            name = {公理},
+            crefname = {公理}{公理},
+            Crefname = {公理}{公理},
+        },
+        TC = {
+            name = {公理},
+            crefname = {公理}{公理},
+            Crefname = {公理}{公理},
+        },
+        JP = {
+            name = {公理},
+            crefname = {公理}{公理},
+            Crefname = {公理}{公理},
+        },
+        RU = {
+            name = {Аксиома},
+            crefname = {аксиома}{аксиомы},
+            Crefname = {Аксиома}{Аксиомы},
+        },
+    }
+    \NameTheorem{assumption}{
+        EN = {
+            name = {Assumption},
+            crefname = {assumption}{assumptions},
+            Crefname = {Assumption}{Assumptions},
+        },
+        FR = {
+            name = {Supposition},
+            crefname = {\ccmarkart{la} supposition}{\ccmarkart{les} suppositions},
+            Crefname = {La supposition}{Les suppositions},
+        },
+        DE = {
+            name = {Annahme},
+            crefname = {Annahme}{Annahmen},
+            Crefname = {Annahme}{Annahmen},
+        },
+        IT = {
+            name = {Supposizione},
+            crefname = {\ccmarkart{la} supposizione}{\ccmarkart{le} supposizioni},
+            Crefname = {La supposizione}{Le supposizioni},
+        },
+        PT = {
+            name = {Suposição},
+            crefname = {\ccmarkart{a} suposição}{\ccmarkart{as} suposições},
+            Crefname = {A suposição}{As suposições},
+        },
+        BR = {
+            name = {Suposição},
+            crefname = {\ccmarkart{a} suposição}{\ccmarkart{as} suposições},
+            Crefname = {A suposição}{As suposições},
+        },
+        ES = {
+            name = {Suposición},
+            crefname = {la suposición}{las suposiciones},
+            Crefname = {La suposición}{Las suposiciones},
+        },
+        CN = {
+            name = {假定},
+            crefname = {假定}{假定},
+            Crefname = {假定}{假定},
+        },
+        TC = {
+            name = {假定},
+            crefname = {假定}{假定},
+            Crefname = {假定}{假定},
+        },
+        JP = {
+            name = {仮定},
+            crefname = {仮定}{仮定},
+            Crefname = {仮定}{仮定},
+        },
+        RU = {
+            name = {Предположение},
+            crefname = {предположение}{предположения},
+            Crefname = {Предположение}{Предположения},
+        },
+    }
+    \NameTheorem{convention}{
+        EN = {
+            name = {Convention},
+            crefname = {convention}{conventions},
+            Crefname = {Convention}{Conventions},
+        },
+        FR = {
+            name = {Convention},
+            crefname = {\ccmarkart{la} convention}{\ccmarkart{les} conventions},
+            Crefname = {La convention}{Les conventions},
+        },
+        DE = {
+            name = {Konvention},
+            crefname = {Konvention}{Konventionen},
+            Crefname = {Konvention}{Konventionen},
+        },
+        IT = {
+            name = {Convenzione},
+            crefname = {\ccmarkart{la} convenzione}{\ccmarkart{le} convenzioni},
+            Crefname = {La convenzione}{Le convenzioni},
+        },
+        PT = {
+            name = {Convenção},
+            crefname = {\ccmarkart{a} convenção}{\ccmarkart{as} convenções},
+            Crefname = {A convenção}{As convenções},
+        },
+        BR = {
+            name = {Convenção},
+            crefname = {\ccmarkart{a} convenção}{\ccmarkart{as} convenções},
+            Crefname = {A convenção}{As convenções},
+        },
+        ES = {
+            name = {Convención},
+            crefname = {la convención}{las convenciones},
+            Crefname = {La convención}{Las convenciones},
+        },
+        CN = {
+            name = {约定},
+            crefname = {约定}{约定},
+            Crefname = {约定}{约定},
+        },
+        TC = {
+            name = {約定},
+            crefname = {約定}{約定},
+            Crefname = {約定}{約定},
+        },
+        JP = {
+            name = {慣例},
+            crefname = {慣例}{慣例},
+            Crefname = {慣例}{慣例},
+        },
+        RU = {
+            name = {Конвенция},
+            crefname = {конвенция}{конвенции},
+            Crefname = {Конвенция}{Конвенции},
+        },
+    }
+    \NameTheorem{hypothesis}{
+        EN = {
+            name = {Hypothesis},
+            crefname = {hypothesis}{hypotheses},
+            Crefname = {Hypothesis}{Hypotheses},
+        },
+        FR = {
+            name = {Hypothèse},
+            crefname = {\ccmarkart{l'}hypothèse}{\ccmarkart{les} hypothèses},
+            Crefname = {L'hypothèse}{Les hypothèses},
+        },
+        DE = {
+            name = {Hypothese},
+            crefname = {Hypothese}{Hypothesen},
+            Crefname = {Hypothese}{Hypothesen},
+        },
+        IT = {
+            name = {Ipotesi},
+            crefname = {\ccmarkart{l'}ipotesi}{\ccmarkart{le} ipotesi},
+            Crefname = {L'ipotesi}{Le ipotesi},
+        },
+        PT = {
+            name = {Hipótese},
+            crefname = {\ccmarkart{a} hipótese}{\ccmarkart{as} hipóteses},
+            Crefname = {A hipótese}{As hipóteses},
+        },
+        BR = {
+            name = {Hipótese},
+            crefname = {\ccmarkart{a} hipótese}{\ccmarkart{as} hipóteses},
+            Crefname = {A hipótese}{As hipóteses},
+        },
+        ES = {
+            name = {Hipótesis},
+            crefname = {la hipótesis}{las hipótesis},
+            Crefname = {La hipótesis}{Las hipótesis},
+        },
+        CN = {
+            name = {假设},
+            crefname = {假设}{假设},
+            Crefname = {假设}{假设},
+        },
+        TC = {
+            name = {假設},
+            crefname = {假設}{假設},
+            Crefname = {假設}{假設},
+        },
+        JP = {
+            name = {仮設},
+            crefname = {仮設}{仮設},
+            Crefname = {仮設}{仮設},
+        },
+        RU = {
+            name = {Гипотеза},
+            crefname = {гипотеза}{гипотезы},
+            Crefname = {Гипотеза}{Гипотезы},
+        },
+    }
+    \NameTheorem{notation}{
+        EN = {
+            name = {Notation},
+            crefname = {notation}{notations},
+            Crefname = {Notation}{Notations},
+        },
+        FR = {
+            name = {Notation},
+            crefname = {\ccmarkart{la} notation}{\ccmarkart{les} notations},
+            Crefname = {La notation}{Les notations},
+        },
+        DE = {
+            name = {Notation},
+            crefname = {Notation}{Notationen},
+            Crefname = {Notation}{Notationen},
+        },
+        IT = {
+            name = {Notazione},
+            crefname = {\ccmarkart{la} notazione}{\ccmarkart{le} notazioni},
+            Crefname = {La notazione}{Le notazioni},
+        },
+        PT = {
+            name = {Notação},
+            crefname = {\ccmarkart{a} notação}{\ccmarkart{as} notações},
+            Crefname = {A notação}{As notações},
+        },
+        BR = {
+            name = {Notação},
+            crefname = {\ccmarkart{a} notação}{\ccmarkart{as} notações},
+            Crefname = {A notação}{As notações},
+        },
+        ES = {
+            name = {Notación},
+            crefname = {la notación}{las notaciones},
+            Crefname = {La notación}{Las notaciones},
+        },
+        CN = {
+            name = {记号},
+            crefname = {记号}{记号},
+            Crefname = {记号}{记号},
+        },
+        TC = {
+            name = {記號},
+            crefname = {記號}{記號},
+            Crefname = {記號}{記號},
+        },
+        JP = {
+            name = {記法},
+            crefname = {記法}{記法},
+            Crefname = {記法}{記法},
+        },
+        RU = {
+            name = {Нотация},
+            crefname = {нотация}{нотации},
+            Crefname = {Нотация}{Нотации},
+        },
+    }
+    \NameTheorem{example}{
+        EN = {
+            name = {Example},
+            crefname = {example}{examples},
+            Crefname = {Example}{Examples},
+        },
+        FR = {
+            name = {Exemple},
+            crefname = {\ccmarkart{l'}example}{\ccmarkart{les} examples},
+            Crefname = {L'example}{Les examples},
+        },
+        DE = {
+            name = {Beispiel},
+            crefname = {Beispiel}{Beispiele},
+            Crefname = {Beispiel}{Beispiele},
+        },
+        IT = {
+            name = {Esempio},
+            crefname = {\ccmarkart{l'}esempio}{\ccmarkart{gli} esempi},
+            Crefname = {L'esempio}{Gli esempi},
+        },
+        PT = {
+            name = {Exemplo},
+            crefname = {\ccmarkart{o} exemplo}{\ccmarkart{os} exemplos},
+            Crefname = {O exemplo}{Os exemplos},
+        },
+        BR = {
+            name = {Exemplo},
+            crefname = {\ccmarkart{o} exemplo}{\ccmarkart{os} exemplos},
+            Crefname = {O exemplo}{Os exemplos},
+        },
+        ES = {
+            name = {Ejemplo},
+            crefname = {\ccmarkart{el} ejemplo}{los ejemplos},
+            Crefname = {El ejemplo}{Los ejemplos},
+        },
+        CN = {
+            name = {例},
+            crefname = {例}{例},
+            Crefname = {例}{例},
+        },
+        TC = {
+            name = {例},
+            crefname = {例}{例},
+            Crefname = {例}{例},
+        },
+        JP = {
+            name = {例},
+            crefname = {例}{例},
+            Crefname = {例}{例},
+        },
+        RU = {
+            name = {Пример},
+            crefname = {пример}{примеры},
+            Crefname = {Пример}{Примеры},
+        },
+    }
+    \NameTheorem{problem}{
+        EN = {
+            name = {Problem},
+            crefname = {problem}{problems},
+            Crefname = {Problem}{Problems},
+        },
+        FR = {
+            name = {Problème},
+            crefname = {\ccmarkart{le} problème}{\ccmarkart{les} problèmes},
+            Crefname = {Le problème}{Les problèmes},
+        },
+        DE = {
+            name = {Problem},
+            crefname = {Problem}{Probleme},
+            Crefname = {Problem}{Probleme},
+        },
+        IT = {
+            name = {Problema},
+            crefname = {\ccmarkart{il} problema}{\ccmarkart{i} problemi},
+            Crefname = {Il problema}{I problemi},
+        },
+        PT = {
+            name = {Problema},
+            crefname = {\ccmarkart{o} problema}{\ccmarkart{os} problemas},
+            Crefname = {O problema}{Os problemas},
+        },
+        BR = {
+            name = {Problema},
+            crefname = {\ccmarkart{o} problema}{\ccmarkart{os} problemas},
+            Crefname = {O problema}{Os problemas},
+        },
+        ES = {
+            name = {Problema},
+            crefname = {\ccmarkart{el} problema}{los problemas},
+            Crefname = {El problema}{Los problemas},
+        },
+        CN = {
+            name = {问题},
+            crefname = {问题}{问题},
+            Crefname = {问题}{问题},
+        },
+        TC = {
+            name = {問題},
+            crefname = {問題}{問題},
+            Crefname = {問題}{問題},
+        },
+        JP = {
+            name = {問題},
+            crefname = {問題}{問題},
+            Crefname = {問題}{問題},
+        },
+        RU = {
+            name = {Проблема},
+            crefname = {проблема}{проблемы},
+            Crefname = {Проблема}{Проблемы},
+        },
+    }
+    \NameTheorem{question}{
+        EN = {
+            name = {Question},
+            crefname = {question}{questions},
+            Crefname = {Question}{Questions},
+        },
+        FR = {
+            name = {Question},
+            crefname = {\ccmarkart{la} question}{\ccmarkart{les} questions},
+            Crefname = {La question}{Les questions},
+        },
+        DE = {
+            name = {Frage},
+            crefname = {Frage}{Fragen},
+            Crefname = {Frage}{Fragen},
+        },
+        IT = {
+            name = {Domanda},
+            crefname = {\ccmarkart{la} domanda}{\ccmarkart{le} domande},
+            Crefname = {La domanda}{Le domande},
+        },
+        PT = {
+            name = {Pergunta},
+            crefname = {\ccmarkart{a} pergunta}{\ccmarkart{as} perguntas},
+            Crefname = {A pergunta}{As perguntas},
+        },
+        BR = {
+            name = {Pergunta},
+            crefname = {\ccmarkart{a} pergunta}{\ccmarkart{as} perguntas},
+            Crefname = {A pergunta}{As perguntas},
+        },
+        ES = {
+            name = {Pregunta},
+            crefname = {la pregunta}{las preguntas},
+            Crefname = {La pregunta}{Las preguntas},
+        },
+        CN = {
+            name = {问题},
+            crefname = {问题}{问题},
+            Crefname = {问题}{问题},
+        },
+        TC = {
+            name = {問題},
+            crefname = {問題}{問題},
+            Crefname = {問題}{問題},
+        },
+        JP = {
+            name = {問題},
+            crefname = {問題}{問題},
+            Crefname = {問題}{問題},
+        },
+        RU = {
+            name = {Вопрос},
+            crefname = {вопрос}{вопросы},
+            Crefname = {Вопрос}{Вопросы},
+        },
+    }
+    \NameTheorem{exercise}{
+        EN = {
+            name = {Exercise},
+            crefname = {exercise}{exercises},
+            Crefname = {Exercise}{Exercises},
+        },
+        FR = {
+            name = {Exercice},
+            crefname = {\ccmarkart{l'}exercice}{\ccmarkart{les} exercices},
+            Crefname = {L'exercice}{Les exercices},
+        },
+        DE = {
+            name = {Übung},
+            crefname = {Übung}{Übungen},
+            Crefname = {Übung}{Übungen},
+        },
+        IT = {
+            name = {Esercizio},
+            crefname = {\ccmarkart{l'}esercizio}{\ccmarkart{gli} esercizi},
+            Crefname = {L'esercizio}{Gli esercizi},
+        },
+        PT = {
+            name = {Exercício},
+            crefname = {\ccmarkart{o} exercício}{\ccmarkart{os} exercícios},
+            Crefname = {O exercício}{Os exercícios},
+        },
+        BR = {
+            name = {Exercício},
+            crefname = {\ccmarkart{o} exercício}{\ccmarkart{os} exercícios},
+            Crefname = {O exercício}{Os exercícios},
+        },
+        ES = {
+            name = {Ejercicio},
+            crefname = {\ccmarkart{el} ejercicio}{los ejercicios},
+            Crefname = {El ejercicio}{Los ejercicios},
+        },
+        CN = {
+            name = {练习},
+            crefname = {练习}{练习},
+            Crefname = {练习}{练习},
+        },
+        TC = {
+            name = {練習},
+            crefname = {練習}{練習},
+            Crefname = {練習}{練習},
+        },
+        JP = {
+            name = {練習},
+            crefname = {練習}{練習},
+            Crefname = {練習}{練習},
+        },
+        RU = {
+            name = {Упражнение},
+            crefname = {упражнение}{упражнения},
+            Crefname = {Упражнение}{Упражнения},
+        },
+    }
+    \NameTheorem{remark}{
+        EN = {
+            name = {Remark},
+            crefname = {remark}{remarks},
+            Crefname = {Remark}{Remarks},
+        },
+        FR = {
+            name = {Remarque},
+            crefname = {\ccmarkart{la} remarque}{\ccmarkart{les} remarques},
+            Crefname = {La remarque}{Les remarques},
+        },
+        DE = {
+            name = {Bemerkung},
+            crefname = {Bemerkung}{Bemerkungen},
+            Crefname = {Bemerkung}{Bemerkungen},
+        },
+        IT = {
+            name = {Commento},
+            crefname = {\ccmarkart{il} commento}{\ccmarkart{i} commenti},
+            Crefname = {Il commento}{I commenti},
+        },
+        PT = {
+            name = {Comentário},
+            crefname = {\ccmarkart{o} comentário}{\ccmarkart{os} comentários},
+            Crefname = {O comentário}{Os comentários},
+        },
+        BR = {
+            name = {Comentário},
+            crefname = {\ccmarkart{o} comentário}{\ccmarkart{os} comentários},
+            Crefname = {O comentário}{Os comentários},
+        },
+        ES = {
+            name = {Comentario},
+            crefname = {\ccmarkart{el} comentario}{los comentarios},
+            Crefname = {El comentario}{Los comentarios},
+        },
+        CN = {
+            name = {备注},
+            crefname = {备注}{备注},
+            Crefname = {备注}{备注},
+        },
+        TC = {
+            name = {備註},
+            crefname = {備註}{備註},
+            Crefname = {備註}{備註},
+        },
+        JP = {
+            name = {注釈},
+            crefname = {注釈}{注釈},
+            Crefname = {注釈}{注釈},
+        },
+        RU = {
+            name = {Замечание},
+            crefname = {замечание}{замечания},
+            Crefname = {Замечание}{Замечания},
+        },
+    }
+    \NameTheorem{observation}{
+        EN = {
+            name = {Observation},
+            crefname = {observation}{observations},
+            Crefname = {Observation}{Observations},
+        },
+        FR = {
+            name = {Observation},
+            crefname = {\ccmarkart{la} observation}{\ccmarkart{les} observations},
+            Crefname = {La observation}{Les observations},
+        },
+        DE = {
+            name = {Beobachtung},
+            crefname = {Beobachtung}{Beobachtungen},
+            Crefname = {Beobachtung}{Beobachtungen},
+        },
+        IT = {
+            name = {Osservazione},
+            crefname = {\ccmarkart{l'}osservazione}{\ccmarkart{le} osservazioni},
+            Crefname = {L'osservazione}{Le osservazioni},
+        },
+        PT = {
+            name = {Observação},
+            crefname = {\ccmarkart{a} observação}{\ccmarkart{as} observações},
+            Crefname = {A observação}{As observações},
+        },
+        BR = {
+            name = {Observação},
+            crefname = {\ccmarkart{a} observação}{\ccmarkart{as} observações},
+            Crefname = {A observação}{As observações},
+        },
+        ES = {
+            name = {Observación},
+            crefname = {la observación}{las observaciones},
+            Crefname = {La observación}{Las observaciones},
+        },
+        CN = {
+            name = {观察},
+            crefname = {观察}{观察},
+            Crefname = {观察}{观察},
+        },
+        TC = {
+            name = {觀察},
+            crefname = {觀察}{觀察},
+            Crefname = {觀察}{觀察},
+        },
+        JP = {
+            name = {観察},
+            crefname = {観察}{観察},
+            Crefname = {観察}{観察},
+        },
+        RU = {
+            name = {Наблюдение},
+            crefname = {наблюдение}{наблюдения},
+            Crefname = {Наблюдение}{Наблюдения},
+        },
+    }
+    \NameTheorem{definition-proposition}{
+        EN = {
+            name = {\definitionnameEN-\propositionnameEN},
+            crefname = {definition-proposition}{definitions-propositions},
+            Crefname = {Definition-proposition}{Definitions-propositions},
+        },
+        FR = {
+            name = {\definitionnameFR-\propositionnameFR},
+            crefname = {\ccmarkart{la} définition-proposition}{\ccmarkart{les} définitions-propositions},
+            Crefname = {La définition-proposition}{Les définitions-propositions},
+        },
+        DE = {
+            name = {\definitionnameDE-\propositionnameDE},
+            crefname = {Definition-Proposition}{Definitionen-Propositionen},
+            Crefname = {Definition-Proposition}{Definitionen-Propositionen},
+        },
+        IT = {
+            name = {\definitionnameIT-\propositionnameIT},
+            crefname = {\ccmarkart{la} definizione-proposizione}{\ccmarkart{le} definizioni-proposte},
+            Crefname = {La definizione-proposizione}{Le definizioni-proposte},
+        },
+        PT = {
+            name = {\definitionnamePT-\propositionnamePT},
+            crefname = {\ccmarkart{a} definição-proposição}{\ccmarkart{as} definições-proposições},
+            Crefname = {A definição-proposição}{As definições-proposições},
+        },
+        BR = {
+            name = {\definitionnameBR-\propositionnameBR},
+            crefname = {\ccmarkart{a} definição-proposição}{\ccmarkart{as} definições-proposições},
+            Crefname = {A definição-proposição}{As definições-proposições},
+        },
+        ES = {
+            name = {\definitionnameES-\propositionnameES},
+            crefname = {la definición-proposición}{las definiciones-proposiciones},
+            Crefname = {La definición-proposición}{Las definiciones-proposiciones},
+        },
+        CN = {
+            name = {\definitionnameCN-\propositionnameCN},
+            crefname = {\definitionnameCN-\propositionnameCN}{\definitionnameCN-\propositionnameCN},
+            Crefname = {\definitionnameCN-\propositionnameCN}{\definitionnameCN-\propositionnameCN},
+        },
+        TC = {
+            name = {\definitionnameTC-\propositionnameTC},
+            crefname = {\definitionnameTC-\propositionnameTC}{\definitionnameTC-\propositionnameTC},
+            Crefname = {\definitionnameTC-\propositionnameTC}{\definitionnameTC-\propositionnameTC},
+        },
+        JP = {
+            name = {\definitionnameJP-\propositionnameJP},
+            crefname = {\definitionnameJP-\propositionnameJP}{\definitionnameJP-\propositionnameJP},
+            Crefname = {\definitionnameJP-\propositionnameJP}{\definitionnameJP-\propositionnameJP},
+        },
+        RU = {
+            name = {\definitionnameRU-\propositionnameRU},
+            crefname = {определение-предложение}{определения-предложения},
+            Crefname = {Определение-предложение}{Определения-предложение},
+        },
+    }
+    \NameTheorem{definition-theorem}{
+        EN = {
+            name = {\definitionnameEN-\theoremnameEN},
+            crefname = {definition-theorem}{definitions-theorems},
+            Crefname = {Definition-theorem}{Definitions-theorems},
+        },
+        FR = {
+            name = {\definitionnameFR-\theoremnameFR},
+            crefname = {\ccmarkart{la} définition-théorème}{\ccmarkart{les} définitions-théorèmes},
+            Crefname = {La définition-théorème}{Les définitions-théorèmes},
+        },
+        DE = {
+            name = {\definitionnameDE-\theoremnameDE},
+            crefname = {Definition-Satz}{Definitionen-Sätze},
+            Crefname = {Definition-Satz}{Definitionen-Sätze},
+        },
+        IT = {
+            name = {\definitionnameIT-\theoremnameIT},
+            crefname = {\ccmarkart{la} definizione-teorema}{\ccmarkart{le} definizioni-teoremi},
+            Crefname = {La definizione-teorema}{Le definizioni-teoremi},
+        },
+        PT = {
+            name = {\definitionnamePT-\theoremnamePT},
+            crefname = {\ccmarkart{a} definição-teorema}{\ccmarkart{as} definições-teoremas},
+            Crefname = {A definição-teorema}{As definições-teoremas},
+        },
+        BR = {
+            name = {\definitionnameBR-\theoremnameBR},
+            crefname = {\ccmarkart{a} definição-teorema}{\ccmarkart{as} definições-teoremas},
+            Crefname = {A definição-teorema}{As definições-teoremas},
+        },
+        ES = {
+            name = {\definitionnameES-\theoremnameES},
+            crefname = {la definición-teorema}{las definiciones-teoremas},
+            Crefname = {La definición-teorema}{Las definiciones-teoremas},
+        },
+        CN = {
+            name = {\definitionnameCN-\theoremnameCN},
+            crefname = {\definitionnameCN-\theoremnameCN}{\definitionnameCN-\theoremnameCN},
+            Crefname = {\definitionnameCN-\theoremnameCN}{\definitionnameCN-\theoremnameCN},
+        },
+        TC = {
+            name = {\definitionnameTC-\theoremnameTC},
+            crefname = {\definitionnameTC-\theoremnameTC}{\definitionnameTC-\theoremnameTC},
+            Crefname = {\definitionnameTC-\theoremnameTC}{\definitionnameTC-\theoremnameTC},
+        },
+        JP = {
+            name = {\definitionnameJP-\theoremnameJP},
+            crefname = {\definitionnameJP-\theoremnameJP}{\definitionnameJP-\theoremnameJP},
+            Crefname = {\definitionnameJP-\theoremnameJP}{\definitionnameJP-\theoremnameJP},
+        },
+        RU = {
+            name = {\definitionnameRU-\theoremnameRU},
+            crefname = {определение-теорема}{определения-теоремы},
+            Crefname = {Определение-теорема}{Определения-теорема},
+        },
+    }
+}{
+    \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}
 
-\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}
+    \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}
 
-\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}
+    \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}
 
-\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}
+    \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{{Commento}}
+    \def\observationnameIT{{Osservazione}}
+    \expandafter\def\csname definition-propositionnameIT\endcsname{\definitionnameIT-\propositionnameIT}
+    \expandafter\def\csname definition-theoremnameIT\endcsname{\definitionnameIT-\theoremnameIT}
 
-\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}
+    \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}
 
-\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\theoremnameBR{{Teorema}}
+    \def\lemmanameBR{{Lema}}
+    \def\propositionnameBR{{Proposição}}
+    \def\corollarynameBR{{Corolário}}
+    \def\propertynameBR{{Propriedade}}
+    \def\factnameBR{{Fato}}
+    \def\conjecturenameBR{{Conjectura}}
+    \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}
 
-\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}
+    \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}
 
-\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}
+    \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\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}
+    \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}
 
+    \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}
+
+    \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 at IsBook
 \ifdefined\c at chapter\PJLthm at IsBooktrue\else\PJLthm at IsBookfalse\fi
 \ifbool{PJLthm at IsBook}{
@@ -696,7 +1942,7 @@
     \def\creflastconjunction{~和~}%
     \def\crefpairgroupconjunction{~和~}%
     \def\crefmiddlegroupconjunction{、}%
-    \def\creflastgroupconjunction{~和~}%
+    \def\creflastgroupconjunction{~以及~}%
     \def\crefrangeconjunction{~}%
 }
 \gappto{\PJLlang at langconfig@TC}{%
@@ -713,7 +1959,7 @@
     \def\creflastconjunction{~與~}%
     \def\crefpairgroupconjunction{~與~}%
     \def\crefmiddlegroupconjunction{、}%
-    \def\creflastgroupconjunction{~與~}%
+    \def\creflastgroupconjunction{~以及~}%
     \def\crefrangeconjunction{~}%
 }
 \gappto{\PJLlang at langconfig@JP}{%
@@ -730,8 +1976,8 @@
     \def\creflastconjunction{~と~}%
     \def\crefpairgroupconjunction{~と~}%
     \def\crefmiddlegroupconjunction{~と~}%
-    \def\creflastgroupconjunction{~と~}%
-    \def\crefrangeconjunction{〜}%
+    \def\creflastgroupconjunction{~及び~}%
+    \def\crefrangeconjunction{~}%
 }
 \gappto{\PJLlang at langconfig@RU}{%
     \crefname{equation}{уравнение}{уравнения}%

Modified: trunk/Master/texmf-dist/tex/latex/projlib/ProjLib.sty
===================================================================
--- trunk/Master/texmf-dist/tex/latex/projlib/ProjLib.sty	2021-10-31 21:08:53 UTC (rev 60913)
+++ trunk/Master/texmf-dist/tex/latex/projlib/ProjLib.sty	2021-10-31 21:09:13 UTC (rev 60914)
@@ -17,7 +17,7 @@
 %% 
 \NeedsTeXFormat{LaTeX2e}[2020-10-01]
 \ProvidesPackage{ProjLib}
-    [2021/10/24 The collective interface of ProjLib toolkit]
+    [2021/10/30 The collective interface of ProjLib toolkit]
 \RequirePackage{kvoptions}
 \RequirePackage{etoolbox}
 \SetupKeyvalOptions{
@@ -34,6 +34,8 @@
 \DeclareStringOption{thmnum}[PJL at thmnum@default]
 \DeclareBoolOption[true]{regionalref}
 \DeclareBoolOption[false]{originalref}
+\DeclareBoolOption[true]{complexname}
+\DeclareBoolOption[false]{simplename}
 \DeclareBoolOption[false]{useosf}
 \DeclareBoolOption[false]{lmodern}
 \DeclareBoolOption[false]{palatino}
@@ -46,6 +48,9 @@
 \if at ProjLib@originalref
     \@ProjLib at regionalreffalse
 \fi
+\if at ProjLib@simplename
+    \@ProjLib at complexnamefalse
+\fi
 \if at ProjLib@draft
     \@ProjLib at fasttrue
 \fi
@@ -75,6 +80,9 @@
 \if at ProjLib@regionalref\else
     \PassOptionsToPackage{originalref}{PJLthm}
 \fi
+\if at ProjLib@complexname\else
+    \PassOptionsToPackage{simplename}{PJLthm}
+\fi
 
 \if at ProjLib@amsfashion
     \PassOptionsToPackage{amsfashion}{PJLauthor}
@@ -169,6 +177,7 @@
 \fi
 
 \RequirePackage{microtype}
+\AtEndPreamble{\AtBeginDocument{\microtypesetup{disable}{\scshape}\microtypesetup{enable}}}
 
 \endinput
 %%



More information about the tex-live-commits mailing list.