← Back to branch summary

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

« back to all changes in this revision

Viewing changes to ivle/worksheet/definitions.txt

  • Committer: William Grant
  • Date: 2010-02-23 08:55:42 UTC
  • mto: This revision was merged to the branch mainline in revision 1674.
  • Revision ID: grantw@unimelb.edu.au-20100223085542-r8xw14bxxoraza51
Permit underscores in all names.

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