-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy paththatexlang-en.tex
127 lines (115 loc) · 6.46 KB
/
thatexlang-en.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
%{{{ [vim]
% vim:foldmarker=%{{{,%}}}
% vim:foldmethod=marker
% vim:foldcolumn=4
%}}}
%% thatexlang-en.tex
%% author: Thanos Tsouanas <[email protected]>
%\def\LANG{en}
%\uselanguage{english}% not existent/needed
\def\indexseeword{see}
\def\indexseealsowords{see also}
\def\iipl#1 {\ii{programming!language!#1}}
\def\pageabbr{p{.}}
\def\pagesabbr{pp{.}}
\def\orword{or}
\def\andword{and}
% num words
\DefNumWord zero zero
\DefNumWord one one
\DefNumWord two two
\DefNumWord three three
\DefNumWord four four
\DefNumWord five five
\DefNumWord six six
\DefNumWord seven seven
\DefNumWord eight eight
\DefNumWord nine nine
\DefNumWord ten ten
\DefNumWord eleven eleven
\DefNumWord twelve twelve
\DefNumWord thirteen thirteen
\DefNumWord fourteen fourteen
\DefNumWord fifteen fifteen
\DefNumWord sixteen sixteen
\DefNumWord seventeen seventeen
\DefNumWord eighteen eighteen
\DefNumWord nineteen nineteen
\DefNumWord twenty twenty
\DefTerm preface {Preface}
\DefTerm toc {Table of contents}
\DefTerm shorttoc {Short table of contents}
\DefTerm loa {List of algorithms}
\DefTerm loc {List of code}
\DefTerm sourcecode {Source code of programs}
\DefTerm hints {Hints}
\DefTerm solutions {Solutions}
\DefTerm further {Further reading}
\DefTerm history {History notes}
\DefTerm summary {Summary}
\DefTerm problems {Problems}
\DefTerm appendices {Appendices}
\DefTerm references {Referências}
\DefTerm symglossary {Glossaryh of symbols}
\DefTerm index {General index}
\DefTerm nameindex {Persons index}
\DefTerm fullproofs {Full proofs}
\DefNoun proof : | Proof | Proofs |
\DefNoun wrongproof : | {Wrong proof} | {Wrong proofs} |
\DefNoun sketch : | Sketch | Sketches |
\DefNoun hint : | Hint | Hints |
\DefNoun solution : | Solution | Solutions |
\DefNoun answer : | Answer | Answers |
\DefNoun claim : | Claim | Claims |
\DefNoun given : | Given | Givens |
\DefNoun goal : | Goal | Goals |
\DefNoun algoinput : | Input | Inputs |
\DefNoun algooutput : | Output | Outputs |
\DefNoun chapter : | Chapter | Chapters |
\DefNoun appendix : | Appendix | Appendices |
\DefNoun section : | Section | Sections |
\DefNoun note : | Note | Notes |
\DefNoun paragraph : | Paragraph | Paragraphs |
\DefNoun theorem : | Theorem | Theorems |
\DefNoun lemma : | Lemma | Lemmata |
\DefNoun proposition : | Proposition | Propositions |
\DefNoun property : | Property | Properties |
\DefNoun corollary : | Corollary | Corollaries |
\DefNoun conjecture : | Conjecture | Conjectures |
\DefNoun openproblem : | {Open problem} | {Open problems} |
\DefNoun axiom : | Axiom | Axioms |
\DefNoun law : | Law | Laws |
\DefNoun principle : | Principle | Principles |
\DefNoun hypothesis : | Hypothesis | Hypotheses |
\DefNoun criterion : | Criterion | Criteria |
\DefNoun algorithm : | Algorithm | Algorithms |
\DefNoun program : | Program | Programs |
\DefNoun grammar : | Grammar | Grammars |
\DefNoun remark : | Observation | Observations |
\DefNoun question : | Question | Questions |
\DefNoun teaser : | Teaser | Teasers |
\DefNoun joke : | Joke | Jokes |
\DefNoun advice : | Advice | Advices |
\DefNoun beware : | Beware | Bewares |
\DefNoun warning : | Warning | Warnings |
\DefNoun complaint : | Complaint | Complaints |
\DefNoun primitive : | {Primitive notion} | {Primitive notions} |
\DefNoun definition : | Definition | Definitions |
\DefNoun notation : | Notation | Notations |
\DefNoun pseudodefinition : | ``Definition'' | ``Definitions'' |
\DefNoun specification : | Specification | Specifications |
\DefNoun implementation : | Implementation | Implementations |
\DefNoun example : | Example | Examples |
\DefNoun nonexample : | Nonexample | Nonexamples |
\DefNoun exercise : | Exercise | Exercises |
\DefNoun codeit : | Code-it | Code-it |
\DefNoun problem : | Problem | Problems |
\DefNoun page : | page | pages |
\DefNoun item : | item | items |
\DefNoun phrase : | phrase | phrases |
\DefNoun expression : | expression | expressions |
\DefNoun phase : | phase | phases |
\DefNoun step : | step | steps |
\DefNoun stage : | stage | stages |
\DefNoun input : | input | inputs |
\DefNoun output : | output | outputs |