How to make cleveref references use a language-sensitive connective between multiple references, when the document's language is Hebrew?

Question

The following question builds on this answer.

---

The following LaTeX document is saved in a file whose path is ~/test.tex.

\documentclass{article}
\usepackage{amsthm}
\newtheorem{theorem}{Theorem}
\usepackage{polyglossia}
\setmainlanguage{hebrew}
\setmainfont{Arial}
\usepackage[english]{cleveref}
\appto{\captionshebrew}{%
   \crefname{theorem}{thm}{thms}%
}
\begin{document}
\begin{theorem}\label{t1}
This is the first theorem.
\end{theorem}
\begin{theorem}\label{t2}
This is the second theorem.
\end{theorem}
Here are references to~\cref{t1,t2}.
\end{document}

When the following commands are executed at the terminal:

> cd ~
> xelatex test
> xelatex test

a PDF file is generated at the path ~/test.pdf. When opened in a PDF viewer, the file displays as follows:

[![Referencing multiple labels][1]][1]

(Note that Hebrew is a right-to-left language.)

The word and between the references to the two theorems was injected automatically by cleverer. However, this connective is an English word, and therefore is not the correct word in the present context; it should have been the Hebrew counterpart וגם.

How can this be fixed?

Answer 1

If you look into the cleveref code you can see that language support consist of two parts: At first a language option is defined, followed by a \cref@addlanguagedefs command which repeats everything. The second part is meant for multilingual documents.

But \cref@addlanguagedefs is currently broken if you use polyglossia: To test if a language has been loaded it uses an internal polyglossia command that no longer exists, so to make use of it you have to provide the missing commands for every language:

Move also the newtheorem declaration behind cleveref.

\documentclass{article}
\usepackage{amsthm}
\usepackage{polyglossia}
\setmainlanguage{hebrew}
\setotherlanguage{english}
\setmainfont{Arial}
\usepackage[english]{cleveref}
\newtheorem{definition}{Definition}
\newtheorem{theorem}{Theorem}
\newtheorem{claim}{Claim}
\makeatletter
%work around cleveref bug:
\providecommand\hebrew@loaded{}
\providecommand\english@loaded{}
\cref@addlanguagedefs{hebrew}
 {%
  \renewcommand{\crefrangeconjunction}{ AA }%
  \renewcommand\crefrangepreconjunction{ BB }%
  \renewcommand\crefrangepostconjunction{ CC }%
  \renewcommand{\crefpairconjunction}{ DD }%
  \renewcommand{\crefmiddleconjunction}{ EE }%
  \renewcommand{\creflastconjunction}{ FF }%
  \renewcommand{\crefpairgroupconjunction}{ GG }%
  \renewcommand{\crefmiddlegroupconjunction}{ HH }%
  \renewcommand{\creflastgroupconjunction}{ II }%
  \crefname{definition}{DEFINITION}{DEFINITIONS}%
  \crefname{theorem}{THEOREM}{THEOREMS}%
  \crefname{claim}{CLAIM}{CLAIMS}%
 }
\makeatother
\begin{document}
\begin{definition}\label{d1}
This is a definition.
\end{definition}
\begin{definition}\label{d2}
This is another definition.
\end{definition}
\begin{definition}\label{d3}
This is yet another definition.
\end{definition}
\begin{theorem}\label{t}
This is a theorem.
\end{theorem}
\begin{claim}\label{c}
This is a theorem.
\end{claim}
Here is a reference to~\cref{d1,d2,d3,t,c} based upon~\cref{d1,d2,t}.
\selectlanguage{english}
Here is a reference to~\cref{d1,d2,d3,t,c} based upon~\cref{d1,d2,t}.
\end{document}

Answer 2

\documentclass{article}
\usepackage{amsthm}

\newtheorem{definition}{Definition}
\newtheorem{theorem}{Theorem}
\newtheorem{claim}{Claim}

\usepackage{polyglossia}
\setmainlanguage{hebrew}
\setmainfont{Arial}

\usepackage[english]{cleveref}

\newcommand{\crefrangeconjunction}{ AA }
\newcommand\crefrangepreconjunction{ BB }
\newcommand\crefrangepostconjunction{ CC }
\newcommand{\crefpairconjunction}{ DD }
\newcommand{\crefmiddleconjunction}{ EE }
\newcommand{\creflastconjunction}{ FF }
\newcommand{\crefpairgroupconjunction}{ GG }
\newcommand{\crefmiddlegroupconjunction}{ HH }
\newcommand{\creflastgroupconjunction}{ II }

\crefname{definition}{DEFINITION}{DEFINITIONS}
\crefname{theorem}{THEOREM}{THEOREMS}
\crefname{claim}{CLAIM}{CLAIMS}

\begin{document}

\begin{definition}\label{d1}
This is a definition.
\end{definition}

\begin{definition}\label{d2}
This is another definition.
\end{definition}

\begin{definition}\label{d3}
This is yet another definition.
\end{definition}

\begin{theorem}\label{t}
This is a theorem.
\end{theorem}

\begin{claim}\label{c}
This is a theorem.
\end{claim}

Here is a reference to~\cref{d1,d2,d3,t,c} based upon~\cref{d1,d2,t}.

\end{document}

Notes

1. I don't know what the commands \crefmiddleconjunction and \creflastconjunction do, and would appreciate if someone tells me, so I can revise the above code and make it complete.

2. The solution above is good only for a monolingual document in which the main, and essentially only, language is Hebrew. I don't know how to modify it for bilingual documents in which some parts have Hebrew as the main language, whereas other parts have English as the main language.