优点 比较 HowTo LATEX 文档基本结构 一个简单例子 正文排版 讨论和演示 使用 TEX 写文档 王晓东 wxd2870@163.com 中国海洋大学 September 4, 2012 KevinW@OUC 王晓东 大纲 What’s TEX 历史 扩展 系统 Why TEX 优点 比较 HowTo LATEX 文档基本结构 一个简单例子 What’s TEX 历史 扩展 系统 2 Why TEX 优点 比较 3 HowTo LATEX 文档基本结构 一个简单例子 正文排版 4 讨论和演示 KevinW@OUC 王晓东 大纲 What’s TEX 历史 扩展 系统 Why TEX 优点 比较 HowTo LATEX 文档基本结构 一个简单例子 正文排版 讨论和演示 接下来… 1 What’s TEX TEX 历史 扩展 系统 2 Why TEX 优点 比较 3 HowTo LATEX 文档基本结构 一个简单例子 正文排版 4 讨论和演示 KevinW@OUC 王晓东 大纲 What’s TEX 历史 扩展 系统 Why TEX 优点 比较 HowTo LATEX 文档基本结构 一个简单例子 正文排版 讨论和演示 接下来… 1 What’s TEX

Variables for PowerPoint . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46 Variables for LaTeX . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46 Variables for ConTeXt . . . . . . . . 93 Generic raw attribute . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95 LaTeX macros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96 Links . . . markup and word processing formats, including, but not limited to, various flavors of Markdown, HTML, LaTeX and Word docx. For the full lists of input and output formats, see the --from and --to options below

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106 4.7 Generating LaTeX . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107 4.8 Library lagda instead of .agda. The main use case for literate Agda is to generate LaTeX documents from Agda code. See Generating LaTeX for more information. 3.15. Lexical Structure 49 Agda Documentation, Release highlighting files --latex Generate LaTeX with highlighted source code (see Generating LaTeX) --latex-dir=DIR Set directory in which LaTeX files are placed to DIR (default: latex) --count-clusters Count

(Auto) Command-line options Compilers Emacs Mode Literate Programming Generating HTML Generating LaTeX Library Management Contribute Documentation The Agda License The Agda Team Indices and tables lagda instead of .agda. The main use case for literate Agda is to generate LaTeX documents from Agda code. See Generating LaTeX for more information. \documentclass{article} % some preable stuff \begin{document} Generating HTML Options Generating LaTeX Unicode and LaTeX Features Options Counting Extended Grapheme Clusters Quicker generation without typechecking Known issues Complete LaTeX Template for Literate Agda with

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127 4.7 Generating LaTeX . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127 4.8 Library spaces between most lexical units. Many mathematical symbols can be typed using the corresponding LaTeX command names. For instance, you type \forall to input . A more detailed description of how to write lagda instead of .agda. The main use case for literate Agda is to generate LaTeX documents from Agda code. See Generating LaTeX for more information. \documentclass{article} % some preamble stuff \begin{document}

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127 4.7 Generating LaTeX . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127 4.8 Library spaces between most lexical units. Many mathematical symbols can be typed using the corresponding LaTeX command names. For instance, you type \forall to input . A more detailed description of how to write lagda instead of .agda. The main use case for literate Agda is to generate LaTeX documents from Agda code. See Generating LaTeX for more information. \documentclass{article} % some preamble stuff \begin{document}

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127 4.7 Generating LaTeX . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127 4.8 Library spaces between most lexical units. Many mathematical symbols can be typed using the corresponding LaTeX command names. For instance, you type \forall to input . A more detailed description of how to write lagda instead of .agda. The main use case for literate Agda is to generate LaTeX documents from Agda code. See Generating LaTeX for more information. \documentclass{article} % some preamble stuff \begin{document}

(Auto) Command-line options Compilers Emacs Mode Literate Programming Generating HTML Generating LaTeX Library Management Contribute Documentation The Agda License The Agda Team Indices and tables lexical units. Many mathematical symbols can be typed using the corresponding LaTeX [https://en.wikipedia.org/wiki/LaTeX] command names. For instance, you type \forall to input ∀. A more detailed description lagda instead of .agda. The main use case for literate Agda is to generate LaTeX documents from Agda code. See Generating LaTeX for more information. \documentclass{article} % some preamble stuff \begin{document}

(Auto) Command-line options Compilers Emacs Mode Literate Programming Generating HTML Generating LaTeX Library Management Contribute Documentation The Agda License The Agda Team Indices and tables lexical units. Many mathematical symbols can be typed using the corresponding LaTeX [https://en.wikipedia.org/wiki/LaTeX] command names. For instance, you type \forall to input ∀. A more detailed description lagda instead of .agda. The main use case for literate Agda is to generate LaTeX documents from Agda code. See Generating LaTeX for more information. \documentclass{article} % some preamble stuff \begin{document}

(Auto) Command-line options Compilers Emacs Mode Literate Programming Generating HTML Generating LaTeX Library Management Contribute Documentation The Agda License The Agda Team Indices and tables lexical units. Many mathematical symbols can be typed using the corresponding LaTeX [https://en.wikipedia.org/wiki/LaTeX] command names. For instance, you type \forall to input ∀. A more detailed description lagda instead of .agda. The main use case for literate Agda is to generate LaTeX documents from Agda code. See Generating LaTeX for more information. \documentclass{article} % some preamble stuff \begin{document}