\usepackage[capitalize]{cleveref}
宏包showkeys用来在引用对象附近注明引用标签。notref选项用来关闭在\ref，\Cref等命令附近的标签。final模式下宏包showkeys自动被禁用。宏包用法如下：
\usepackage[notref,notcite]{showkeys} % 文档格式为final时自动禁用
这条没有考证：据说hyperref要在cleveref前导入。
我们使用~来输出不能断行的空格。一般引用中的页码“p. 123”或者“引理 1.1”中间的空格不断行，因此建议使用命令p.~123和引理~1.1。
biblatex
biblatex包下常用的引用格式参见这里.
子图、子表格
我们使用如下命令以引用子图：（默认引用Figure 1a）
\usepackage{subcaption}
如果我们想让子图引用为Figure 1(a)，则应采取以下写法：
\usepackage[labelformat=simple]{subcaption}
\renewcommand\thesubfigure{(\alph{subfigure})}
\renewcommand\thesubtable{(\alph{subtable})}
改变enumerate的枚举格式
\renewcommand{\labelenumi}{(\arabic{enumi}).}
在节内编号
\numberwithin{equation}{section}
\numberwithin{figure}{section}
\numberwithin{table}{section}
让图片、表格和算法共享编号。
\makeatletter
\let\c@table\c@figure
\let\c@algorithm\c@figure
\makeatother
选项scheme=plain用来在支持中文的同时不改变文档原格式（比如显示“Section”而非“节”，首页显示英文日期而非中文日期，等等）。用法：
\usepackage[scheme=plain]{ctex}
草稿模式较其他模式唯一的区别为：草稿模式下\overfullrule大于0（作用是，在行末溢出处加个黑框提示溢出）。
因此可以通过检测\overfullrule的值判断是否在草稿模式。
参考网页。
% 定义在draft模式下的额外行为
\makeatletter
\def\ifdraft{\ifdim\overfullrule>\z@
\expandafter\@firstoftwo\else\expandafter\@secondoftwo\fi}
\makeatother
% 如果在草稿模式下，那么每节前分页，以节省打印纸张。
\ifdraft{\pretocmd{\section}{\clearpage}{}{}}{}
如果写包的话，问题简单得多：draft将会作为选项传递给包。因此直接检测选项即可。
如下命令可以禁用底部页码。
\pagestyle{plain}
如下命令以手动调整页面大小。
\special{papersize=148mm,210mm} % A5 paper size.
\addtolength{\oddsidemargin}{-.875in}
\addtolength{\evensidemargin}{-.875in}
\addtolength{\textwidth}{1.75in}
\addtolength{\topmargin}{-.875in}
\addtolength{\textheight}{1.75in}
当时寻找下面一种不使用宏包的方法，是因为机械硬盘下宏包geometry导入似乎很慢。固态硬盘下看起来问题不大。（别问我为什么编译依然这么慢，我不知道。）
建议使用\lvert和\rvert作为左右|符号，以保证正确间距。
\bigl, \bigm, \bigr, \big效果几乎一样，但是其作用后的符号类型分别为\mathopen, \mathrel, \mathclose, \mathord.
十分不幸， $\TeX$ 中可以正确处理双目运算符和左结合单目运算符，但是无法正常处理右结合单目运算符（思考：n! r!）。这是 $\TeX$ 的锅，我们为了正常显示，只能在!后加上 $\frac{3}{18}$ em 的空格，即\,。
经常遇见的情况是，一长串公式只有一个想要标号，因此不想每行加个\nonumber。能不能造个相反功能的\numberthis? (比如说，用来在align*环境中加入tag)
以下给出两种方案：（我的导言区采用了第一种）
\newcommand{\numberthis}{\refstepcounter{equation}\tag{\theequation}}
\newcommand{\numberthis}{\addtocounter{equation}{1}\tag{\theequation}}
LaTeX字体分为三个维度: family, shape, series. 通常而言, 同一个维度只能选择一种字体, 不同维度的字体可以任意组合.
family字体族: \rmfamily, \sffamify, \ttfamily.
series字体族: \mdseries, \bfseries, \lfseries.
shape 字体族: \upshape, \itshape, \slshape, \scshape.
这些命令的含义请参见wikibook. 这些命令的作用域是自命令位置起的全局, 有时候我们只需要使其作用于部分位置, 当如下使用:
{\rmfamily This is sample text.}
或者, 取首两个字母, 前缀text或math构成单参数命令, 使被作用参数变成指定字体, 形如\textrm{some text here}或\mathit{some text here}. 如只需采用默认字体, 亦可单使用\text{some text here}或\textnormal{some text here}.
字体从小到大依次为:
\tiny
\scriptsize
\footnotesize
\small
\normalsize
\large
\Large
\LARGE
\huge
\Huge
使用方式为 (以下二者效果相同):
{\large abcd}
\begin{large}
\end{large}
——自己动手丰衣足食嘛~
这是(默认环境的参数)[https://tex.stackexchange.com/questions/17551/amsthm-what-are-the-newtheoremstyle-parameters-for-the-default-styles]。
仿照之，可以魔改出Case的参数，如以下代码。
随后使用\renewcommand{\thecase}{\arabic{case}}修改默认显示（引用）方法。
我的最终代码如下：
% Case in proof
\newtheoremstyle{ModifiedRemark}
{0.5\topsep} % ABOVE SPACE
{0.5\topsep} % BELOW SPACE
{\normalfont} % BODY FONT
{0pt} % INDENT (empty value is the same as 0pt)
{\scshape} % HEAD FONT % Different from Environment"remark"
{.} % HEAD PUNCT
{5pt plus 1pt minus 1pt} % HEAD SPACE
{} % CUSTOM-HEAD-SPEC
\theoremstyle{ModifiedRemark}
\newtheorem{case}{Case}[theorem]
\renewcommand{\thecase}{\arabic{case}}
\crefname{case}{Case}{Cases} % 告诉cleveref如何引用case环境
我的导言区代码（已弃用）
附上我的导言区文件：
\documentclass[a4paper,10pt]{article}
\usepackage{amsmath,amsthm,amssymb,mathtools} % Basic Packages % amssymb依赖amsfonts
\usepackage{regexpatch} % 替代etoolbox提供各种钩子。本导言区中用到的是\pretocmd。
% Fonts
% \usepackage{mathrsfs} % 花体 \mathscr
% \usepackage{bbm} % 空心体 \mathbbm
% \usepackage{dsfont} % 空心体 \mathds
% Change margin
% \pagestyle{plain} % 文档样式; empty则底部不放置页码.
% \special{papersize=148mm,210mm} % A5 paper size. % 如果需要手动调整页面大小
\usepackage{geometry}
\geometry{a4paper,scale=0.8}
% Graph
\usepackage{tikz}
\usetikzlibrary{calc}
\usetikzlibrary{positioning}
% \usepackage{graphicx} % 支持插入图片
% 支持子图，引用为Figure 1(a)
\usepackage[labelformat=simple]{subcaption}
\renewcommand\thesubfigure{(\alph{subfigure})}
\renewcommand\thesubtable{(\alph{subtable})}
% Label, Link
\usepackage[style=alphabetic,sorting=none,isbn=false]{biblatex} % numeric, authoryear.
% \addbibresource{./put/bib/file/here.bib}
\ExecuteBibliographyOptions
maxcitenames=3, maxbibnames=100, minnames=3,
\AtEveryBibitem{
\clearfield{issn}
\usepackage[colorlinks]{hyperref}
\usepackage[capitalize]{cleveref}
\usepackage[notref,notcite]{showkeys} % 文档格式为final时自动禁用
\usepackage{url}
% Other packages
% \usepackage{ifthen} % 支持条件判断
% \usepackage[toc,page]{appendix} % 支持附录
% \usepackage[scheme=plain]{ctex} % 支持中文
\makeatletter
\def\ifdraft{\ifdim\overfullrule>\z@ % 定义在draft模式下的额外行为
\expandafter\@firstoftwo\else\expandafter\@secondoftwo\fi}
\makeatother
% \ifdraft{\pretocmd{\section}{\clearpage}{}{\GenericWarning{Error when prepending to command \backslash section}}}{} % 如果在草稿模式下，那么每节前分页，以节省打印纸张。
\newcommand{\ProofStyle}[2][\square]{
\cspreto{#2}{\pushQED{\qed}\renewcommand{\qedsymbol}{\ensuremath{#1}}}
\cspreto{end#2}{\popQED}
% % 编号
% \numberwithin{equation}{section}
% \numberwithin{figure}{section}
% \numberwithin{table}{section}
% \renewcommand{\labelenumi}{(\arabic{enumi}).}
% % 让图片、表格、算法共享编号。
% \makeatletter
% \let\c@table\c@figure
% \let\c@algorithm\c@figure
% \makeatother
% Environments
\newtheoremstyle{ModifiedRemark}
{0.5\topsep} % ABOVE SPACE
{0.5\topsep} % BELOW SPACE
{\normalfont} % BODY FONT
{0pt} % INDENT (empty value is the same as 0pt)
{\scshape} % HEAD FONT % Different from Environment{remark}
{.} % HEAD PUNCT
{5pt plus 1pt minus 1pt} % HEAD SPACE
{} % CUSTOM-HEAD-SPEC
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{conjecture}[theorem]{Conjecture}
\newtheorem{question}[theorem]{Question}
\theoremstyle{definition}
\newtheorem{definition}[theorem]{Definition}
\theoremstyle{remark}
\newtheorem{example}[theorem]{Example}
\newtheorem{remark}[theorem]{Remark}
\ProofStyle[\Diamond]{example}
\ProofStyle[\Diamond]{remark}
\theoremstyle{ModifiedRemark}
\newtheorem{case}{Case}[theorem]
\newtheorem{claim}[case]{Claim}
% 告诉cleveref如何引用环境
\renewcommand{\thecase}{\arabic{case}}
\crefname{conjecture}{Conjecture}{Conjectures}
\crefname{example}{Example}{Examples}
\crefname{case}{Case}{Cases}
\crefname{claim}{Claim}{Claims}
% 从我导师的preamable template中继承的. % 我并不知道其效果。
% \newcommand{\OEIS}[1]{\href{http://oeis.org/#1}{\nolinkurl{#1}}}
% \newcommand{\doi}[1]{\textsc{doi}: \href{http://dx.doi.org/#1}{\nolinkurl{#1}}}
% New commands
\newcommand{\email}[1]{\href{mailto:#1}{\nolinkurl{#1}}}
\newcommand{\keywords}{\par\bigskip\noindent\textbf{Keywords: }} % 用来在摘要里加上keywords
\newcommand{\eqgap}{\mathrel{\phantom{=}}} % 在align环境中对齐使用 % 等于一个等号的间距
\newcommand{\numberthis}{\refstepcounter{equation}\tag{\theequation}} % 用来在align*加入tag
\begin{document}
\end{document}
