KevinWgOUC 王晓东 大纲 What's TEX 历史 扩展 系统 Why TeX 优点 比较 HowTo IATEX 文档基本结构 一个简单例子 正文排版 讨论和演示 # 使用 TEX 写文档 王晓东 wxd2870@163.com 中国海洋大学 September 4, 2012 ![Image](/uploads/documents/3 \text{LA}_{T_{E}X} $ ■ 文档基本结构 ■ 一个简单例子 ■ 正文排版 4 讨论和演示 排名 | 描述 | 说明 1 | What's TeX | 2 | Why TeX | 优点 ② ② ② ② ② ② ② ② ② ② ② ② ② ② ② ② ② ② ② ② ② ② ② ② ② ② ② ② ② ② ② ② ② ② ② ② ② ② ② ② ② ② ② History KevinWgOUC 王晓东 大纲 What's TEX 历史 扩展 系统 Why TeX 优点 比较 HowTo IATEX 文档基本结构 一个简单例子 讨论和演示 Knuth Donald E. Knuth 高德纳 TAOCP Year 1969 ~ TEX $ \tau \in \chi \Leftrightarrow $ technology

automatically 52 Extensions 55 Typography 55 Headings and sections 56 Math Input 57 Raw HTML/TeX 57 Literate Haskell support 58 Other extensions 59 Pandoc's Markdown 63 Philosophy 63 will attempt to guess it from the extensions of the filenames. Thus, for example, pandoc -o hello.tex hello.txt will convert hello.txt from Markdown to LaTeX. If no output file is specified (so that output test.tex to output the generated LaTeX. You can then test it with pdflatex test.tex. When using LaTeX, the following packages need to be available (they are included with all recent versions of TeX Live):

Configuration - Keybindings - Unicode input - Highlight - Literate Programming - Literate TeX - Literate reStructuredText - Literate Markdown - Generating HTML - Options - Generating by typing their corresponding TeX/LaTeX commands, eg. typing $ \lambda $ will input $ \lambda $ . Some characters have key bindings which have not been taken from TeX/LaTeX (typing $ \backslash bN commonly used characters Many common characters have a shorter input sequence than the corresponding TeX command: • Arrows: \r - for →. You can replace r with another direction: u, d, l. Eg. \d - for ↓.

Configuration - Keybindings - Unicode input - Highlight - Literate Programming - Literate TeX - Literate reStructuredText - Literate Markdown - Generating HTML - Options - Generating by typing their corresponding TeX/LaTeX commands, eg. typing $ \lambda $ will input $ \lambda $ . Some characters have key bindings which have not been taken from TeX/LaTeX (typing $ \backslash bN commonly used characters Many common characters have a shorter input sequence than the corresponding TeX command: • Arrows: \r - for →. You can replace r with another direction: u, d, l. Eg. \d - for ↓.

Configuration - Keybindings - Unicode input - Highlight - Literate Programming - Literate TeX - Literate reStructuredText - Literate Markdown - Generating HTML - Options - Generating by typing their corresponding TeX/LaTeX commands, eg. typing $ \lambda $ will input $ \lambda $ . Some characters have key bindings which have not been taken from TeX/LaTeX (typing $ \backslash bN commonly used characters Many common characters have a shorter input sequence than the corresponding TeX command: • Arrows: \r - for →. You can replace r with another direction: u, d, l. Eg. \d - for ↓.

Mode - Keybindings - Unicode input - Highlight - Literate Programming - Literate TeX - Literate reStructuredText - Literate Markdown - Generating HTML - Options - Generating by typing their corresponding TeX/LaTeX commands, eg. typing $ \lambda $ will input $ \lambda $ . Some characters have key bindings which have not been taken from TeX/LaTeX (typing $ \backslash $ bN commonly used characters Many common characters have a shorter input sequence than the corresponding TeX command: • Arrows: \r - for →. You can replace r with another direction: u, d, l. Eg. \d - for ↓.

by typing their corresponding TeX/LaTeX commands, eg. typing $ \lambda $ will input $ \lambda $ . Some characters have key bindings which have not been taken from TeX/LaTeX (typing $ \backslash $ bN commonly used characters Many common characters have a shorter input sequence than the corresponding TeX command: • Arrows: \r− for →. You can replace r with another direction: u, d, l. Eg. \d− for ↓. Replace commonly used in the standard library (sorted by hexadecimal code): |Hex code|Character|Short key-binding|TeX command| |---|---|---|---| |00ac|¬||\\neg| |00d7|×|\\x|\\times| |02e2||$ ^ $ s|| |03bb|λ|\\G1|\\lambda|

\begin{code}, \end{code}. Literate Agda files have special file extensions, like .lagda and .lagda.tex for LaTeX, .lagda.md for Markdown, .lagda.rst for reStructuredText instead of .agda. The main use case by typing their corresponding TeX/LaTeX commands, eg. typing $ \lambda $ will input $ \lambda $ . Some characters have key bindings which have not been taken from TeX/LaTeX (typing $ \backslash $ bN commonly used characters Many common characters have a shorter input sequence than the corresponding TeX command: • Arrows: \r− for →. You can replace r with another direction: u, d, 1. Eg. \d− for ↓. Replace

\begin{code}, \end{code}. Literate Agda files have special file extensions, like .lagda and .lagda.tex for LaTeX, .lagda.md for Markdown, .lagda.rst for reStructuredText instead of .agda. The main use case by typing their corresponding TeX/LaTeX commands, eg. typing $ \lambda $ will input $ \lambda $ . Some characters have key bindings which have not been taken from TeX/LaTeX (typing $ \backslash $ bN commonly used characters Many common characters have a shorter input sequence than the corresponding TeX command: • Arrows: \r− for →. You can replace r with another direction: u, d, 1. Eg. \d− for ↓. Replace

can be input by typing their corresponding TeX/LaTeX commands, e.g. typing $ \lambda $ . Some characters have key bindings which have not been taken from TeX/LaTeX (typing $ \backslash bN $ results in commonly used characters Many common characters have a shorter input sequence than the corresponding TeX command: • Arrows: \r− for →. You can replace r with another direction: u, d, l. Eg. \d− for ↓. Replace used in the standard library (sorted by hexadecimal code): |Hex code|Character|Short key-binding|TeX command| |---|---|---|---| |00ac|¬||\\neg| |00d7|×|\\x|\\times| |02e2||$ ^ $ s|| |03bb|λ|\\G1|\\lambda|