← Back to branch summary

~azzar1/unity/add-show-desktop-key

« back to all changes in this revision

Viewing changes to ivle/worksheet/definitions.txt

Quick port of fileservice to the new framework. It's still very much old-style,
though.

Show diffs side-by-side

added added

removed removed

Lines of Context:
ivle/worksheet/definitions.txt
1
 
.. -*- mode: rst -*-
2
 
 
3
 
.. ifndef:: definitions
4
 
 
5
 
  .. def:: definitions
6
 
 
7
 
  .. |version| replace:: 2.0b4
8
 
  .. |copyrightinfo| replace:: 2001-2009 the authors
9
 
  .. |license| replace:: Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 United States License
10
 
 
11
 
  .. CAP abbreviations (map to small caps in LaTeX)
12
 
  
13
 
  .. |CFG| replace:: CFG
14
 
  .. |DRT| replace:: DRT
15
 
  .. |DRS| replace:: DRS
16
 
  .. |CoNLL| replace:: CoNLL
17
 
  .. |CYK| replace:: CYK
18
 
  .. |FOL| replace:: first-order logic
19
 
  .. |FSRL| replace:: FSRL
20
 
  .. |HTML| replace:: HTML
21
 
  .. |IDLE| replace:: IDLE
22
 
  .. |LF| replace:: LF
23
 
  .. |NE|  replace:: NE
24
 
  .. |NLP|  replace:: NLP
25
 
  .. |NLTK| replace:: NLTK
26
 
  .. |URL| replace:: URL
27
 
  .. |WFST| replace:: WFST
28
 
  .. |XML| replace:: XML
29
 
  
30
 
  .. Other candidates for global consistency
31
 
  
32
 
  .. |fol| replace:: first-order logic
33
 
  .. |Fol| replace:: First-order logic
34
 
  .. PTB removed since it must be indexed
35
 
  .. WN removed since it must be indexed
36
 
  .. |TRY| replace:: **Your Turn:**
37
 
  .. |IMPORTANT| replace:: **Important:**
38
 
  
39
 
  .. misc & punctuation
40
 
  .. cdots was unicode U+22EF but not working
41
 
  .. |dots| unicode:: U+2026 .. horizontal dots, ellipsis
42
 
  .. |copy| unicode:: 0xA9 .. copyright sign
43
 
  .. |dot| unicode:: U+2022 .. bullet
44
 
  .. |mdash| unicode:: U+02014 .. em dash (for between words)
45
 
  .. |ndash| unicode:: U+02013 .. en dash (for numeric ranges)
46
 
  .. |tilde| unicode:: U+007E
47
 
  
48
 
  
49
 
  .. exercise meta-tags
50
 
  
51
 
  .. |easy| unicode:: U+263C .. sun
52
 
  .. |soso| unicode:: U+25D1 .. "moon"
53
 
  .. |hard| unicode:: U+2605 .. black star
54
 
  .. |talk| unicode:: U+263A .. smiley face
55
 
 
56
 
  .. |blackstar| unicode:: U+2605
57
 
  .. |whitestar| unicode:: U+2606
58
 
  .. |blacksmiley| unicode:: U+263B
59
 
  .. |blackdiamond| unicode:: U+25C6
60
 
 
61
 
  .. Unicode tests
62
 
  .. |test0| unicode:: U+2690
63
 
  .. |test1| unicode:: U+2691
64
 
  .. |test2| unicode:: U+2692
65
 
  .. |test3| unicode:: U+2693
66
 
  .. |test4| unicode:: U+2694
67
 
  .. |test5| unicode:: U+2695
68
 
  .. |test6| unicode:: U+2696
69
 
  .. |test7| unicode:: U+2697
70
 
  .. |test8| unicode:: U+2698
71
 
  .. |test9| unicode:: U+2699
72
 
  .. |testa| unicode:: U+269A
73
 
  .. |testb| unicode:: U+269B
74
 
  .. |testc| unicode:: U+269C
75
 
  .. |testd| unicode:: U+269D
76
 
  .. |teste| unicode:: U+269E
77
 
  .. |testf| unicode:: U+269F
78
 
  
79
 
  .. phonetic
80
 
  .. |ae| unicode:: U+00E6 ..  small ae digraph
81
 
  .. |schwa| unicode:: U+0259 ..  schwa
82
 
  .. |eth| unicode:: U+00F0 ..  eth
83
 
  .. |length| unicode:: U+02D0 ..  length
84
 
  
85
 
  .. misc
86
 
  .. |aumlaut| unicode:: U+00E4 .. a umlaut
87
 
  .. |eacute| unicode:: U+00E9 .. e acute
88
 
  .. |eogonek| unicode:: U+1119 .. e ogonek
89
 
  .. |ncaron| unicode:: U+0148 .. n caron
90
 
  .. |ntilde| unicode:: U+00F1 .. n tilde
91
 
  .. |odacute| unicode:: U+0151 .. o double acute
92
 
  .. |oslash| unicode:: U+00F8 .. o slash
93
 
  .. |uumlaut| unicode:: U+00FC .. u umlaut
94
 
  .. |ecircumflex| unicode:: U+00EA .. e circumflex
95
 
  .. |space| unicode:: U+23E1 .. bottom tortoise shell bracket
96
 
 
97
 
  .. used in Unicode section
98
 
  .. |nacute| unicode:: U+0144 
99
 
  .. |oacute| unicode:: U+00f3
100
 
  .. |sacute| unicode:: U+015b
101
 
  .. |Sacute| unicode:: U+015a
102
 
  .. |aogonek| unicode:: U+0105
103
 
  .. |lstroke| unicode:: U+0142
104
 
 
105
 
  .. |CJK-4EBA| unicode:: U+4eba
106
 
  .. |CJK-4EE5| unicode:: U+4ee5
107
 
  .. |CJK-732B| unicode:: U+732b
108
 
  .. |CJK-751A| unicode:: U+751a
109
 
  .. |CJK-81F3| unicode:: U+81f3
110
 
  .. |CJK-8D35| unicode:: U+8d35
111
 
  
112
 
  .. arrows
113
 
  .. |DoubleRightArrow| unicode:: U+021D2 .. rightwards double arrow
114
 
  .. |rarr| unicode:: U+2192 .. right arrow
115
 
  .. |rdarr| unicode:: U+21D2 .. right double arrow
116
 
  .. |reduce| unicode:: U+219D .. curly right arrow
117
 
  .. |lrarr| unicode:: U+2194 .. left-right arrow
118
 
  .. |larr| unicode:: U+2190 .. left arrow
119
 
  
120
 
  
121
 
  .. unification stuff
122
 
  .. |SquareIntersectionX| unicode:: U+02293 .. square cap
123
 
  .. |SquareSubsetEqual| unicode:: U+02291 .. square image of or equal to
124
 
  .. |SquareSubset| unicode:: U+0228F .. square image of
125
 
  .. |SquareSupersetEqual| unicode:: U+02292 .. square original of or equal to
126
 
  .. |SquareSuperset| unicode:: U+02290 .. square original of
127
 
  .. |SquareUnion| unicode:: U+02294 .. square cup   
128
 
 
129
 
  .. Math & Logic
130
 
  .. |tf| replace:: {*True*, *False*}
131
 
  
132
 
  .. |exists| unicode:: U+2203 .. existential quantifier
133
 
  .. |forall| unicode:: U+2200 .. universal quantifier
134
 
  .. |geq| unicode:: U+2265 .. greater than or equal
135
 
  .. |iff| unicode:: U+2261 .. triple bars
136
 
  .. |langle| unicode:: U+02329 .. left angle-bracket
137
 
  .. |leq| unicode:: U+2264 .. less than or equals
138
 
  .. |l| unicode:: U+00AB .. left chevron
139
 
  .. |neg| unicode:: U+00AC .. negation symbol
140
 
  .. |rangle| unicode:: U+0232A .. right angle-bracket
141
 
  .. |r| unicode:: U+00BB .. right chevron
142
 
  .. |times| unicode:: U+00D7 .. multiplication
143
 
  .. |vee| unicode:: U+2228 .. or
144
 
  .. |wedge| unicode:: U+2227 .. and
145
 
  .. |prod| replace:: Prod
146
 
  
147
 
  .. sets
148
 
  .. |cup| unicode:: U+0222A .. union 
149
 
  .. |diff| unicode:: U+2212 .. set-theoretical complement
150
 
  .. |element| unicode:: U+2208 .. set-theoretical membership
151
 
  .. |empty| unicode:: U+2205 .. empty set
152
 
  .. |intersect| unicode:: U+2229 .. set-theoretical intersection
153
 
  .. |in| unicode:: U+2208 .. element of
154
 
  .. |mapsto| unicode:: U+2192 .. maps to
155
 
  .. |nelement| unicode:: U+2209 .. set-theoretical membership
156
 
  .. |pipe| unicode:: U+2223 .. vertical pipe
157
 
  .. |power| unicode:: U+2118 .. powerset
158
 
  .. |propsubset| unicode:: U+2282 .. proper subset
159
 
  .. |subset| unicode:: U+2286 .. subset
160
 
  .. |union| unicode:: U+222A .. set-theoretical union
161
 
  
162
 
  
163
 
  .. Greek
164
 
  .. |alpha| unicode:: U+03B1
165
 
  .. |beta| unicode:: U+03B2
166
 
  .. |gamma| unicode:: U+03B3
167
 
  .. |Gamma| unicode:: U+0393
168
 
  .. |kappaX| unicode:: U+03BA
169
 
  .. |kappa| replace:: K
170
 
  .. |lambda| unicode:: U+03BB
171
 
  .. |mu| unicode:: U+03BC 
172
 
  .. |pi| unicode:: U+03C0 
173
 
  .. |phi| unicode:: U+03C6
174
 
  .. |psi| unicode:: U+03C8
175
 
  .. |sigma| unicode:: U+03C3
176
 
  .. |tau| unicode:: U+03C4
177
 
  .. |rho| unicode:: U+03C1
178
 
  .. |Sigma| unicode:: U+03A3
179
 
  .. |sum| unicode:: U+03A3
180
 
  .. |Omega| unicode:: U+03A9
181
 
  
182
 
  .. Chinese
183
 
  .. |ai4| unicode:: U+7231 .. zh ai (love)
184
 
  .. |guo3| unicode:: U+56FD .. zh guo (country)
185
 
  .. |ren2| unicode:: U+4EBA .. zh ren (person)
186
 
  
187
 
  .. URLs
188
 
  .. |StevenBird| replace:: `Steven Bird <http://www.csse.unimelb.edu.au/~sb/>`__
189
 
  .. |EwanKlein| replace:: `Ewan Klein <http://www.ltg.ed.ac.uk/~ewan/>`__
190
 
  .. |EdwardLoper| replace:: `Edward Loper <http://www.cis.upenn.edu/~edloper/>`__
191
 
  .. |PYTHON-URL| replace:: ``http://python.org/``
192
 
  .. |PYTHON-DOCS| replace:: ``http://docs.python.org/``
193
 
  .. |NLTK-URL| replace:: ``http://www.nltk.org/``
194
 
  .. |NLTK-HOWTO-URL| replace:: ``http://www.nltk.org/howto``
195
 
  .. |OLAC-URL| replace:: ``http://www.language-archives.org/``
196
 
  
197
 
  .. Python example - a snippet of code in running text
198
 
  .. role:: py
199
 
     :class: python
200
 
  
201
 
  .. PlaceHolder example -  something that should be replaced by actual code
202
 
  .. role:: ph
203
 
     :class: placeholder
204
 
   
205
 
  .. Linguistic eXample - cited form in running text
206
 
  .. role:: lx
207
 
     :class: example
208
 
    
209
 
  .. Emphasized (more declarative than just using *)
210
 
  .. role:: em
211
 
     :class: emphasis
212
 
  
213
 
  .. Grammatical Category - e.g. NP and verb as technical terms
214
 
     .. role:: gc
215
 
        :class: category
216
 
    
217
 
  .. Math expression - e.g. especially for variables
218
 
  .. role:: math
219
 
     :class: math
220
 
  
221
 
  .. Textual Math expression - for words 'inside' a math environment
222
 
  .. role:: mathit
223
 
     :class: mathit
224
 
  
225
 
  .. Feature (or attribute)
226
 
  .. role:: feat
227
 
     :class: feature
228
 
  
229
 
  .. Raw LaTeX
230
 
  .. role:: raw-latex(raw)
231
 
     :format: latex
232
 
  
233
 
  .. Raw HTML
234
 
  .. role:: raw-html(raw)
235
 
     :format: html
236
 
  
237
 
  .. Feature-value
238
 
  .. role:: fval
239
 
     :class: fval
240
 
  
241
 
  .. Lexemes
242
 
  .. role:: lex
243
 
     :class: lex
244
 
  
245
 
  .. Replacements that rely on previous definitions :-)
246
 
  
247
 
  .. |nopar| replace:: :raw-latex:`{\noindent}`
248
 
  .. |seef| replace:: `see`:mathit:\ :sub:`f`
249
 
  .. |seeR| replace:: `see`:mathit:\ :sub:`R`
250
 
  .. |walkf| replace:: `walk`:mathit:\ :sub:`f`
251
 
  .. |walkR| replace:: `walk`:mathit:\ :sub:`R`
252
 
  
253
 
 
254
 
  .. |SquareIntersection| replace:: :raw-latex:`$\sqcap$`:raw-html:`&#8851;`
255