Latex文档编辑方法（更新中）

Latex编辑方法##

CTex网址

插图指南

数学公式

$\alpha, \beta, \delta, \epsilon, \varepsilon, \eta,\gamma,\Gamma,\lambda,\mu,\nu,\tau,\theta,\xi,\zeta,\aleph$

$\alpha ,\beta ,\delta ,ϵ,\epsilon ,\eta ,\gamma ,\Gamma ,\lambda ,\mu ,\nu ,\tau ,\theta ,\xi ,\zeta ,\aleph$

$ \emptyset , \varnothing, \phi$ $ \emptyset , \varnothing, \phi$

$\mathcal{L},\mathcal{N}, \mathcal{D}, \mathcal{C}, \ell$ $\mathcal{L},\mathcal{N},\mathcal{D},\mathcal{C},\ell$

$\surd, \times$,\square,\circ,\dots,\cdots,\ast $\surd ,\times ,\square ,\circ ,\dots ,\cdots ,\ast$

$``双引号”，单引号’$$``双引号”，单引号’$

$\hat{N},\dot{a}$ $\hat{N},\dot{a}$

基本运算##

$x \times y, 2_{-3}^{3x}, \sqrt {x + y}, x \div y, \frac{x}{y}, x \leq y, x \geq y, x \neq y, x \cong y$
$\lfloor x \rfloor \\ %向下取整$ $\lceil x \rceil \\ %向上取整$
$\sum\limits_{x = 1}^{n} 7x$

$x\times y,2_{-3}^{3x},\sqrt{x+y},x÷y,\frac{x}{y},x\le y,x\ge y,x̸=y,x\cong y$
$\lfloor x\rfloor$ $\lceil x\rceil$
$\sum _{x=1}^{n}7x$

$\bar{x}, \dot{x}, a\pmod{m}, a \bmod b$ $\bar{x},\dot{x},a(\mathrm{m}\mathrm{o}\mathrm{d}m),a\mathrm{m}\mathrm{o}\mathrm{d}b$
$\overline{x}=\{x^\prime\in X|x^\prime\equiv x^\prime\bmod E\}$$\overline{x}=\{x^{\prime }\in X|x^{\prime }\equiv x^{\prime }\mathrm{m}\mathrm{o}\mathrm{d}E\}$

$a^{i,j}, a_{i,j}, a_{-1}^{+1}$ $a^{i,j},a_{i,j},a_{-1}^{+1}$
$\vec{ab}, \overleftarrow{cd}$ $ab,cd$
$\mbox{保持公式中文字间的空格a b c d}$ KaTeX parse error: Expected 'EOF', got '\mbox' at position 1: \̲m̲b̲o̲x̲{保持公式中文字间的空格a b…
$\text{保持公式中文字间的空格a b c d}$ $\text{保持公式中文字间的空格a b c d}$
$单空格\quad一个空格\qquad双空格$ $单空格一个空格双空格$
$\overline{x_{+1}^{-1}}, \bar{x}$ $\overline{x_{+1}^{-1}},\bar{x}$

$\underline{abcd}$ $\underline{abcd}$
$\underline{abcd}$ %双下划线 KaTeX parse error: Expected 'EOF', got '\uuline' at position 1: \̲u̲u̲l̲i̲n̲e̲{abcd}
$\textcircled{\small{1}}$ %圈1 KaTeX parse error: Can't use function '\textcircled' in math mode at position 1: \̲t̲e̲x̲t̲c̲i̲r̲c̲l̲e̲d̲{\small{1}}

$\left( \frac{a}{b} \right)$ $\left(\frac{a}{b}\right)$
$\left[ \frac{a}{b} \right]$ $\left[\frac{a}{b}\right]$
$\left\{ \frac{a}{b} \right\}$$\left\{\frac{a}{b}\right\}$
$\left| \frac{a}{b} \right|$ $\left|\frac{a}{b}\right|$
$\left \| \frac{a}{b} \right \|$ $\Vert \frac{a}{b}\Vert$

$\left \{ \frac{a}{b} \right .$ $\{\frac{a}{b}$
$\left . \frac{a}{b} \right \}$ $\frac{a}{b}\}$

${\color{red} {FACT}}$ $FACT$
${\color{Blue}x^2}+{\color{Brown}2x} -{\color{OliveGreen}1}$
$x^2+2x-1$
$\textcolor[rgb]{1.00,0.00,0.00}{``meet" does not work here.}$
KaTeX parse error: Expected '{', got '[' at position 11: \textcolor[̲rgb]{1.00,0.00,…

$\textbf{Mutual exclusion}$ $\text{Mutual exclusion}$
$\cdot and \cdots$ $\cdot and\cdots$

$\uparrow,\downarrow,\leftarrow,\nleftarrow,\rightarrow,\nrightarrow,\to,\leftrightarrow$ $\uparrow ,\downarrow ,\leftarrow ,\nleftarrow ,\to ,\nrightarrow ,\to ,\leftrightarrow$
$\Leftarrow,\Rightarrow,\iff$ $\Leftarrow ,\Rightarrow ,⟺$
$\Longleftarrow,\Longrightarrow$ $⟸,⟹$
$\longleftarrow,\longrightarrow,\longleftrightarrow$ $⟵,⟶,⟷$

$\implies,\impliedby,\iff$ $⟹,⟸,⟺$

$\Sigma = \{ \emptyset, \{ a,b\},\{c,d\},\{a,b,c,d\} \}$
$\Sigma =\{\varnothing ,\{a,b\},\{c,d\},\{a,b,c,d\}\}$

集合运算##

$\forall a, \exists a, \emptyset , \varnothing, \phi$
$ A \in B, A \notin B, A \subset B, A \subseteq B$
$ A \supset B,  A \supseteq B, A \cap B, A \bigcap B, A \cup B, A \bigcup B$

$\forall a,\exists a,\varnothing ,\varnothing ,\varphi$
$A\in B,A\notin B,A\subset B,A\subseteq B$
$A\supset B,A\supseteq B,A\cap B,A\bigcap B,A\cup B,A\bigcup B$

关系运算##

 $x \ge y,  x \geqq y,  x = y, x \le y, x \leq y, x \ne y$ 

$x\ge y,x\geqq y,x=y,x\le y,x\le y,x̸=y$

逻辑运算##

$a \land b,  a \lor b,  \lnot q, \neg q, a \bigwedge b, a \bigvee b$ 
$\bar{q} \to p, \setminus, \smallsetminus$

$a\wedge b,a\vee b,\neg q,\neg q,a\bigwedge b,a\bigvee b$
$\bar{q}\to p,\setminus ,\setminus$

图文并排 [左图,右文字]##

\begin{minipage}[htbp]{0.65\linewidth}
  \includegraphics[scale=0.9]{p21-1}
\end{minipage}
\hfill
\begin{minipage}[htbp]{0.35\linewidth}
  text line1 \\
  text line2
\end{minipage}

左表格，右文字

\begin{minipage}[htbp]{0.65\linewidth}
    \begin{tabular}{c|c|c|c}
     p & q & $\neg p$ & $p \Rightarrow q$ \\
    \hline
     T & F & F & F \\
    \hline
     T & T & F & T \\
    \hline
     F & F & T & T \\
    \hline
     F & T & T & T \\
    \end{tabular}
    \hfill
\end{minipage}
\begin{minipage}[htbp]{0.35\linewidth}
    $p \Rightarrow q$ is false only if \\
    \text{其中的文字不会两端对齐}
\end{minipage}

并排图形##

\begin{figure}[htbp]
  \begin{minipage}[htbp]{0.3\textwidth}
    \includegraphics[width=\textwidth]{p12-2}
    \centering
    \caption{$A_{1,co},A_{2,co}$}
    \label{p12-2}
  \end{minipage}
  \begin{minipage}[htbp]{0.3\textwidth}
     \centering
     \includegraphics[width=\textwidth]{p12-3}
     \caption{$A_{1,co} \times A_{2,co}$}
     \label{p12-3}
  \end{minipage}
\end{figure}

并列图形##

\begin{figure}[htbp]
   \centering
   \includegraphics[scale=0.5]{p36-3} \\
   \caption *{fig1} % *表示不显示默认图形编号
   \includegraphics[scale=0.4]{p37-1} \\
   \caption *{fig2} % *表示不显示默认图形编号
   \includegraphics[scale=0.4]{p37-2}
   \caption *{fig3}
\end{figure}

浮动图形##

\begin{wrapfigure}{l}[0cm]{0pt}  %{l},{r}表示在左右侧
  \includegraphics[scale=0.9]{p21-1}
  \caption*{NEWCAR is not nonblocking}  % *表示不显示默认图形编号
  \label{p21-1} 
\end{wrapfigure}

外框##

\begin{center}
  \fbox{\color{red}$L(V/G)$ is prefix-closed}
\end{center}

分支公式##

\[
V(s) = 
 \begin{cases}
   -x,& x \leq 0 \\
   x,& x>0
 \end{cases}
\]  %&分列

$$V(s)=\{\begin{array}{ll}-x,& x\le 0\\ x,& x>0\end{array}$$

\left.
  \begin{array}{ll}
    \text{$\eta_{ext}(y,\varepsilon)=y$}\\
    \text{$\eta_{ext}(y,\sigma)=\eta(y,\sigma)$} & \text{$\sigma \in \Sigma$}
  \end{array}
\right\}\text{one-step transition}

$$\begin{array}{ll}\text{ηext(y,ε)=y}& \\ \text{ηext(y,σ)=η(y,σ)}& \text{σ∈Σ}\end{array}\}\text{one-step transition}$$

%公式居中且左对齐，align带上*号，表示省略掉公式后的编号
\begin{align*}  
  & {{x}_{k}}=f({{x}_{k-1}},{{v}_{k-1}}) \\
  & {{z}_{k}}=h({{x}_{k}},{{n}_{k}}) 
\end{align*}

\begin{align*}
& {{x}{k}}=f({{x}{k-1}},{{v}{k-1}}) \
& {{z}{k}}=h({{x}{k}},{{n}{k}})
\end{align*}

项目列表##

\begin{enumerate}[i.]
  \setlength{\itemsep}{0pt}  %行间距
  \setlength{\parsep}{0pt} %段落间距
  \setlength{\parskip}{0pt}
  \item {s can be generated by G.}
  \item {s is not in $\overline{L_m(G)}$, i.e. $s \notin \overline{L_m(G)}$}
\end{enumerate}

表格##

\begin{tabular}{c|c|c|c}  %   lcr： 分别是left对齐，center对齐和right对齐
  p & q & $\neg p$ & $p \Rightarrow q$ \\
  \hline
  T & F & F & F \\
\end{tabular}

\begin{array}{|c|c||c|}  %   lcr： 分别是left对齐，center对齐和right对齐
a & b & S \\
\hline
0&0&1\\
0&1&1\\
1&0&1\\
1&1&0\\
\end{array}

\begin{array}{|c|c||c|} % lcr： 分别是left对齐，center对齐和right对齐
a & b & S \
\hline
0&0&1\
0&1&1\
1&0&1\
1&1&0\
\end{array}

命令\overline 和\underline 在表达式的上、下方画出水平线##

$\overline{m+n}$ \qquad
$\underline{m+n}$

$\overline{m+n}\underline{m+n}$

命令\overbrace 和 \underbrace 在表达式的上、下方给出一水平的大括号##

$\underbrace{a+b+\cdots+z}_{26}$

$\underset{26}{a+b+\cdots +z}$

多行等式

\begin{align}
f(x) & = (m+n)^2 \\
     & = m^2+2mn+n^2 \\
\end{align}

KaTeX parse error: No such environment: align at position 8: \begin{̲a̲l̲i̲g̲n̲}̲ f(x) & = (m+n)…

命题，定理，证明，Example

\begin{pro}   \end{pro}
\begin{thm}   \end{thm}
\begin{proof}  \end{proof}
\begin{exa} \end{exa}

##分行，分段，分页，对齐

• 分行
  • 使用\ 或者\* 或者 \newline 或者 \linebreak
  • \hfill填充一行
  • \noindent首行不缩进，\indent缩进
  • \text{文本左对齐}，\mbox{文本} 可以使文本内容保持在同一行
• 分段
  • 使用\par 或者连续两个回车（就是在两段之间加一个空行）
• 分页
  • 使用\clearpage优于\newpage

中文

%\documentclass{book}  %或
\documentclass{article}
\usepackage{CJK}

\begin{document}

 \begin{CJK}{GBK}{song}
	 宋体宋体
\end{CJK}
\begin{CJK}{GBK}{fs}
	仿宋体！
\end{CJK}
\begin{CJK}{GBK}{kai}
	楷体！
\end{CJK}
\begin{CJK}{GBK}{hei}
	黑体！
\end{CJK}
\begin{CJK}{GBK}{li}
	隶书！
\end{CJK}
\begin{CJK}{GBK}{you}
	幼圆体！
\end{CJK}

\end{document}

标题，目录

LaTeX有许多分级标题：由大到小分别是\part、\chapter、\section、\subsection、\subsubsection、\paragraph、\subparagraph，其中\part和\chapter是只有book文档类才有。

%\documentclass{book}  %或
\documentclass{article}
\usepackage{CJK}
\begin{document}

\begin{CJK}{GBK}{fs}  %仿宋体
\title{关于补码}  %———总标题
\maketitle % —— 显示标题
\tableofcontents %—— 制作目录(目录是根据标题自动生成的)
\section{第一节}  % *{ }不自动编号
    第一节内容
\subsection{1.1节}
    1.1节内容
    
\subsection{1.2节}

    1.2节内容\\
    第二行\\
    第三行
    
    第二段
        
    第三段
    
\section{第二节}
\noindent 无缩进 普通文字 \\
第二行\\
第三行
\end{CJK}
\end{document}

环境

{\begin{}…\end{ }

flushleft:环境中的内容居左。
flushright:环境中的内容居右。
center:环境中的内容居中。
itemize:无编号列表
enumerate:有编号列表
description:带描述列表
quote:引用，使得整段缩进
verse:诗歌专用，\\可以断行，两个空行的分段则生成一个空行。