4 * Copyright 2008 Frank Lanitz <frank(at)frank(dot)uvena(dot)de>
6 * This program is free software; you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License as published by
8 * the Free Software Foundation; either version 2 of the License, or
9 * (at your option) any later version.
11 * This program is distributed in the hope that it will be useful,
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 * GNU General Public License for more details.
16 * You should have received a copy of the GNU General Public License
17 * along with this program; if not, write to the Free Software
18 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston,
22 #include "datatypes.h"
35 CategoryName cat_names
[] = {
36 { GREEK_LETTERS
, N_("Greek letters"), TRUE
},
37 { GERMAN_LETTERS
, N_("German umlauts"), TRUE
},
38 { MISC_LETTERS
, N_("Misc"), FALSE
},
39 { ARROW_CHAR
, N_("Arrow characters"), FALSE
},
40 { RELATIONAL_SIGNS
, N_("Relational"), FALSE
},
41 { BINARY_OPERATIONS
, N_("Binary operation"), FALSE
},
45 /* Entries need to be sorted by categorie (1st field) or some random
46 * features will occure.
49 * ACABCBACB is _not_ valid and will course trouble */
51 SubMenuTemplate char_array
[] = {
53 {GREEK_LETTERS
, "Α", "\\Alpha" },
54 {GREEK_LETTERS
, "α", "\\alpha" },
55 {GREEK_LETTERS
, "Β", "\\Beta" },
56 {GREEK_LETTERS
, "β", "\\beta" },
57 {GREEK_LETTERS
, "Γ", "\\Gamma" },
58 {GREEK_LETTERS
, "γ", "\\gamma" },
59 {GREEK_LETTERS
, "Δ", "\\Delta" },
60 {GREEK_LETTERS
, "δ", "\\Delta" },
61 {GREEK_LETTERS
, "δ", "\\delta" },
62 {GREEK_LETTERS
, "Ε", "\\Epsilon" },
63 {GREEK_LETTERS
, "ε", "\\epsilon" },
64 {GREEK_LETTERS
, "Ζ", "\\Zeta" },
65 {GREEK_LETTERS
, "ζ", "\\zeta" },
66 {GREEK_LETTERS
, "Η", "\\Eta" },
67 {GREEK_LETTERS
, "η", "\\eta" },
68 {GREEK_LETTERS
, "Θ", "\\Theta" },
69 {GREEK_LETTERS
, "θ", "\\theta" },
70 {GREEK_LETTERS
, "Ι", "\\Iota" },
71 {GREEK_LETTERS
, "ι", "\\iota" },
72 {GREEK_LETTERS
, "Κ", "\\Kappa" },
73 {GREEK_LETTERS
, "κ", "\\kappa" },
74 {GREEK_LETTERS
, "Λ", "\\Lambda" },
75 {GREEK_LETTERS
, "λ", "\\lambda" },
76 {GREEK_LETTERS
, "Μ", "\\Mu" },
77 {GREEK_LETTERS
, "μ", "\\mu" },
78 {GREEK_LETTERS
, "Ν", "\\Nu" },
79 {GREEK_LETTERS
, "ν", "\\nu" },
80 {GREEK_LETTERS
, "Ξ", "\\Xi" },
81 {GREEK_LETTERS
, "ξ", "\\xi" },
82 {GREEK_LETTERS
, "Ο", "\\Omicron" },
83 {GREEK_LETTERS
, "ο", "\\omicron" },
84 {GREEK_LETTERS
, "Π", "\\Pi" },
85 {GREEK_LETTERS
, "π", "\\pi" },
86 {GREEK_LETTERS
, "Ρ", "\\Rho" },
87 {GREEK_LETTERS
, "ρ", "\\rho" },
88 {GREEK_LETTERS
, "Σ", "\\Sigma" },
89 {GREEK_LETTERS
, "ς", "\\sigmaf" },
90 {GREEK_LETTERS
, "σ", "\\sigma" },
91 {GREEK_LETTERS
, "Τ", "\\Tau" },
92 {GREEK_LETTERS
, "τ", "\\tau" },
93 {GREEK_LETTERS
, "Υ", "\\Upsilon" },
94 {GREEK_LETTERS
, "υ", "\\upsilon" },
95 {GREEK_LETTERS
, "Φ", "\\Phi" },
96 {GREEK_LETTERS
, "φ", "\\phi" },
97 {GREEK_LETTERS
, "Χ", "\\Chi" },
98 {GREEK_LETTERS
, "χ", "\\chi" },
99 {GREEK_LETTERS
, "Ψ", "\\Psi" },
100 {GREEK_LETTERS
, "ψ", "\\psi" },
101 {GREEK_LETTERS
, "Ω", "\\Omega" },
102 {GREEK_LETTERS
, "ω", "\\omega" },
103 {GREEK_LETTERS
, "ϑ", "\\thetasym" },
104 {GREEK_LETTERS
, "ϒ", "\\upsih" },
105 {GREEK_LETTERS
, "ϖ", "\\piv" },
108 {GERMAN_LETTERS
, "ä","\"a"},
109 {GERMAN_LETTERS
, "ü","\"u"},
110 {GERMAN_LETTERS
, "ö","\"o"},
111 {GERMAN_LETTERS
, "ß","\"s"},
113 //// Czech characters
133 {MISC_LETTERS
, "\\","\\backslash"},
134 {MISC_LETTERS
, "€", "\\euro"},
135 {ARROW_CHAR
, "←", "\\leftarrow" },
136 {ARROW_CHAR
, "↑", "\\uparrow" },
137 {ARROW_CHAR
, "→", "\\rightarrow" },
138 {ARROW_CHAR
, "↓", "\\downarrow" },
139 {ARROW_CHAR
, "↔", "\\leftrightarrow" },
140 {ARROW_CHAR
, "⇐", "\\Leftarrow" },
141 {ARROW_CHAR
, "⇑", "\\Uparrow" },
142 {ARROW_CHAR
, "⇒", "\\Rightarrow" },
143 {ARROW_CHAR
, "⇓", "\\Downarrow" },
144 {ARROW_CHAR
, "⇔", "\\Leftrightarrow" },
145 {RELATIONAL_SIGNS
, "\u2264", "\\leq"},
146 {RELATIONAL_SIGNS
, "\u2265", "\\geq"},
147 {RELATIONAL_SIGNS
, "\u220E", "\\qed"},
148 {RELATIONAL_SIGNS
, "\u2261", "\\equiv"},
149 {RELATIONAL_SIGNS
, "\u22A7", "\\models"},
150 {RELATIONAL_SIGNS
, "\u227A", "\\prec"},
151 {RELATIONAL_SIGNS
, "\u227B", "\\succ"},
152 {RELATIONAL_SIGNS
, "\u223C", "\\sim"},
153 {RELATIONAL_SIGNS
, "\u27C2", "\\perp"},
154 {RELATIONAL_SIGNS
, "\u2AAF", "\\preceq"},
155 {RELATIONAL_SIGNS
, "\u2AB0", "\\succeq"},
156 {RELATIONAL_SIGNS
, "\u2243", "\\simeq"},
157 {RELATIONAL_SIGNS
, "\u2223", "\\mid"},
158 {RELATIONAL_SIGNS
, "\u226A", "\\ll"},
159 {RELATIONAL_SIGNS
, "\u226B", "\\gg"},
160 {RELATIONAL_SIGNS
, "\u224D", "\\asymp"},
161 {RELATIONAL_SIGNS
, "\u2225", "\\parallel"},
162 {RELATIONAL_SIGNS
, "\u2282", "\\subset"},
163 {RELATIONAL_SIGNS
, "\u2283", "\\supset"},
164 {RELATIONAL_SIGNS
, "\u2248", "\\approx"},
165 {RELATIONAL_SIGNS
, "\u22C8", "\\bowtie"},
166 {RELATIONAL_SIGNS
, "\u2286", "\\subseteq"},
167 {RELATIONAL_SIGNS
, "\u2287", "\\supseteq"},
168 {RELATIONAL_SIGNS
, "\u2245", "\\cong"},
169 {RELATIONAL_SIGNS
, "\u2A1D", "\\Join"},
170 {RELATIONAL_SIGNS
, "\u228F", "\\sqsubset"},
171 {RELATIONAL_SIGNS
, "\u2290", "\\sqsupset"},
172 {RELATIONAL_SIGNS
, "\u2260", "\\neq"},
173 {RELATIONAL_SIGNS
, "\u2323", "\\smile"},
174 {RELATIONAL_SIGNS
, "\u2291", "\\sqsubseteq"},
175 {RELATIONAL_SIGNS
, "\u2292", "\\sqsupseteq"},
176 {RELATIONAL_SIGNS
, "\u2250", "\\doteq"},
177 {RELATIONAL_SIGNS
, "\u2322", "\\frown"},
178 {RELATIONAL_SIGNS
, "\u2208", "\\in"},
179 {RELATIONAL_SIGNS
, "\u220B", "\\ni"},
180 {RELATIONAL_SIGNS
, "\u221D", "\\propto"},
181 {RELATIONAL_SIGNS
, "\u22A2", "\\vdash"},
182 {RELATIONAL_SIGNS
, "\u22A3", "\\dashv"},
183 {BINARY_OPERATIONS
, "\u00B1", "\\pm"},
184 {BINARY_OPERATIONS
, "\u2213", "\\mp"},
185 {BINARY_OPERATIONS
, "\u00D7", "\\times"},
186 {BINARY_OPERATIONS
, "\u00F7", "\\div"},
187 {BINARY_OPERATIONS
, "\u2217", "\\ast"},
188 {BINARY_OPERATIONS
, "\u22C6", "\\star"},
189 {BINARY_OPERATIONS
, "\u2218", "\\circ"},
190 {BINARY_OPERATIONS
, "\u2219", "\\bullet"},
191 {BINARY_OPERATIONS
, "\u22C5", "\\cdot"},
192 {BINARY_OPERATIONS
, "\u2229", "\\cap"},
193 {BINARY_OPERATIONS
, "\u222A", "\\cup"},
194 {BINARY_OPERATIONS
, "\u228E", "\\uplus"},
195 {BINARY_OPERATIONS
, "\u2293", "\\sqcap"},
196 {BINARY_OPERATIONS
, "\u2228", "\\vee"},
197 {BINARY_OPERATIONS
, "\u2227", "\\wedge"},
198 {BINARY_OPERATIONS
, "\u2216", "\\setminus"},
199 {BINARY_OPERATIONS
, "\u2240", "\\wr"},
200 {BINARY_OPERATIONS
, "\u22C4", "\\diamond"},
201 {BINARY_OPERATIONS
, "\u25B3", "\\bigtriangleup"},
202 {BINARY_OPERATIONS
, "\u25BD", "\\bigtriangledown"},
203 {BINARY_OPERATIONS
, "\u25C1", "\\triangleleft"},
204 {BINARY_OPERATIONS
, "\u25B7", "\\triangleright"},
205 {BINARY_OPERATIONS
, "", "\\lhd"},
206 {BINARY_OPERATIONS
, "", "\\rhd"},
207 {BINARY_OPERATIONS
, "", "\\unlhd"},
208 {BINARY_OPERATIONS
, "", "\\unrhd"},
209 {BINARY_OPERATIONS
, "\u2295", "\\oplus"},
210 {BINARY_OPERATIONS
, "\u2296", "\\ominus"},
211 {BINARY_OPERATIONS
, "\u2297", "\\otimes"},
212 {BINARY_OPERATIONS
, "\u2205", "\\oslash"},
213 {BINARY_OPERATIONS
, "\u2299", "\\odot"},
214 {BINARY_OPERATIONS
, "\u25CB", "\\bigcirc"},
215 {BINARY_OPERATIONS
, "\u2020", "\\dagger"},
216 {BINARY_OPERATIONS
, "\u2021", "\\ddagger"},
217 {BINARY_OPERATIONS
, "\u2A3F", "\\amalg"},