该包cleveref包含引用的类型以及计数器作为其\cref命令的输出。它还知道一些计数器名称，例如theorem，因此它不需要使用 say 指定\crefname（好吧，对于类似定理的环境，它实际上可以识别环境名称，但我想我们可以忽略这种差异）。这些是文档第 8.1.3 节中提到的“默认定义” cleveref。默认定义的所有引用类型是什么？
下面是一个例子，如果编译的话，会生成这个句子（特别是，字符串“corollaries”必须来自cleveref）：
定理 1 和推论 2 和 3。
\documentclass{article}
\usepackage{amsthm}
\usepackage{cleveref}
\newtheorem{theorem}{Theorem}
\newtheorem{corollary}[theorem]{Corollary}
\begin{document}
\begin{theorem}\label{x}
Blah.
\end{theorem}
\begin{corollary}\label{y}
Blah blah.
\end{corollary}
\begin{corollary}\label{z}
Blah blah blah.
\end{corollary}
\Cref{x,y,z}.
\end{document}
答案1
从源代码（版本中的第 3877-3916 行2013/12/28 v0.19）来看，\crefname默认定义的是：
- 方程式 - eq. - eqs.（若无缩写则为方程式 - equations）
- (子)图 - 图 - 图。（若无缩写则为图 - 图）
- 页面 - 页面 - 页面
- （子）表 - 表 - 表
- 部分 - 部分 - 部分
- 章节 - 章节 - 章节
- (sub/subsub)部分 - 部分 - 部分
- (sub/subsub/subsubsub)附录 - 附录 - 附录
- 枚举{iv} - 项目 - 项目
- 脚注 - 脚注 - 脚注
- 定理 - 定理 - 定理
- 引理 - 引理 - 引理
- 推论 - 推论 - 推论
- 命题 - 命题 - 命题
- 定义 - 定义 - 定义
- 结果 - 结果 - 结果
- 示例 - 示例 - 示例
- 备注 - 备注 - 备注
- 注意 - 注意 - 注意
- 算法 - 算法 - 算法
- 列表 - 列表 - 列表
- 线 - 线 - 线
还有一组类似的\Crefname。