TEx 1977 ⇒ 1982 ⇒ … 3.141592 ⇒ π (追求完美) Plain TEX T_{E}X 的简单宏包，也叫 format，侧重排版层次， 需要丰富技巧 LATEX TeX 的常用宏包，Leslie Lamport(1994) $$ \mathrm{E T E X2.09\Rightarrow\mathrm{E T E X2}_{\varepsilon} TEx 1977 ⇒ 1982 ⇒ … 3.141592 ⇒ π (追求完美) Plain TEX T_{E}X 的简单宏包，也叫 format，侧重排版层次， 需要丰富技巧 LATEX TeX 的常用宏包，Leslie Lamport(1994) $$ \mathrm{E T E X2.09}\Rightarrow\mathrm{E T E X2}_{\varepsilon _{E} $ X, Y&Y, … ## 接下来 1 What's T_{E}X 历史 扩展 系统 2 Why T_{E}X 优点 比较 3 HowTo LATEX 文档基本结构 一个简单例 正文排版 4 讨论和演示 ## 接下来 1 What's T_{E}X 历史 扩展 系统 2 Why T_{E}X 优点

Compilers - Emacs Mode - Literate Programming - Generating HTML - Generating LaTeX - Interface files - Library Management - Performance debugging - Search Definitions in this example. Many mathematical symbols can be typed using the corresponding LaTeX [https://en.wikipedia.org/wiki/LaTeX] command names. To learn how to enter a unicode character, move the cursor over wikipedia.org/wiki/Literate_programming] with multiple typesetting tools like LaTeX, Markdown and reStructuredText. For instance, with LaTeX, everything in a file is a comment unless enclosed in \begin{code}, \end{code}

generated them. - Displaying the result of computation using rich media representations, such as HTML, LaTeX, PNG, SVG, etc. For example, publication-quality figures rendered by the matplotlib [https://matplotlib to plain text. - The ability to easily include mathematical notation within markdown cells using LaTeX, and rendered natively by MathJax [https://www.mathjax.org/]. ## Notebook documents Notebook documents exported to a range of static formats, including HTML (for example, for blog posts), reStructuredText, LaTeX, PDF, and slide shows, via the nbconvert [https://nbconvert.readthedocs.io/en/latest/] command. Furthermore

generated them. - Displaying the result of computation using rich media representations, such as HTML, LaTeX, PNG, SVG, etc. For example, publication-quality figures rendered by the matplotlib [https://matplotlib to plain text. - The ability to easily include mathematical notation within markdown cells using LaTeX, and rendered natively by MathJax [https://www.mathjax.org/]. ## Notebook documents Notebook documents exported to a range of static formats, including HTML (for example, for blog posts), reStructuredText, LaTeX, PDF, and slide shows, via the nbconvert [https://nbconvert.readthedocs.io/en/latest/] command. Furthermore

slides 45 Variables for Beamer slides 45 Variables for PowerPoint 46 Variables for LaTeX 46 Variables for ConTeXt 49 Variables for wkhtmltopdf 51 Variables for man pages Underline 91 Small caps 91 Highlighting 92 Math 92 Raw HTML 93 Generic raw attribute 95 LaTeX macros 96 Links 97 Automatic links 97 Inline links 97 Reference links 97 Internal 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

Command-line options Compilers ○ Emacs Mode • Literate Programming Generating HTML Generating LaTeX Library Management • Contribute • Documentation • The Agda License • The Agda Team ## I ndices 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 LaTeX - Unicode and LaTeX - Features - Options - Counting Extended Grapheme Clusters - Quicker generation without typechecking - Known issues - Complete LaTeX Template

Command-line options Compilers ○ Emacs Mode • Literate Programming Generating HTML Generating LaTeX Library Management • Contribute • Documentation • The Agda License • The Agda Team ## I ndices 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 $ \forall $ . A more detailed 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\}

Mode ..... 101 4.5 Literate Programming ..... 105 4.6 Generating HTML ..... 106 4.7 Generating LaTeX ..... 107 4.8 Library Management ..... 117 5 Contribute ..... 121 5.1 Documentation .... 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} files--latexGenerate LaTeX with highlighted source code (see Generating LaTeX)--latex-dir=DIRSet directory in which LaTeX files are placed

Command-line options Compilers ○ Emacs Mode • Literate Programming Generating HTML Generating LaTeX Library Management • Contribute • Documentation • The Agda License • The Agda Team ## I ndices 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 $ \forall $ . A more detailed 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\}

Command-line options Compilers ○ Emacs Mode • Literate Programming Generating HTML Generating LaTeX Library Management • Contribute • Documentation • The Agda License • The Agda Team ## I ndices 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 $ \forall $ . A more detailed 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\}