📄 plan22.inc
字号:
{ "<>", eString }, // old dictionary U+2276 { "><", eString }, // old dictionary U+2277 { "not less, greater", eString }, // U+2278 { "not greater, less", eString }, // U+2279 { " precedes", eString }, // old dictionary U+227A { " succeeds", eString }, // old dictionary U+227B { "precedes, curly equals", eString }, // U+227C { " succeeds, equals", eString }, // old dictionary U+227D { " similar", eString }, // old dictionary U+227E { " succeeds, similar", eString }, // old dictionary U+227F { " not precedes", eString }, // old dictionary U+2280 { " not succeeds", eString }, // old dictionary U+2281 { " subset", eString }, // old dictionary U+2282 { " superset", eString }, // old dictionary U+2283 { "not subset", eString }, // U+2284 { " not superset", eString }, // old dictionary U+2285 { " subset, dbl equals", eString }, // old dictionary U+2286 { " superset, dbl equals", eString }, // old dictionary U+2287 { " not subset, dbl eq", eString }, // old dictionary U+2288 { " not superset, equals", eString }, // old dictionary U+2289 { " subset, not equals", eString }, // old dictionary U+228A { " superset, not dbl eq", eString }, // old dictionary U+228B { 0, eString }, // U+228C { "union, with dot", eString }, // U+228D { " plus sign in union", eString }, // old dictionary U+228E { " square subset", eString }, // old dictionary U+228F { " square superset", eString }, // old dictionary U+2290 { " square subset, equals", eString }, // old dictionary U+2291 { " square superset, eq", eString }, // old dictionary U+2292 { " square intersection", eString }, // old dictionary U+2293 { "square union", eString }, // U+2294 { " plus sign in circle", eString }, // old dictionary U+2295 { " minus sign in circle", eString }, // old dictionary U+2296 { "multiply sign in circle", eString }, // U+2297 { " solidus in circle", eString }, // old dictionary U+2298 { "middle dot in circle", eString }, // U+2299 { " open dot in circle", eString }, // old dictionary U+229A { " asterisk in circle", eString }, // old dictionary U+229B { 0, eString }, // U+229C { " hyphen in circle", eString }, // old dictionary U+229D { " plus sign in box", eString }, // old dictionary U+229E { " minus sign in box", eString }, // old dictionary U+229F { " multiply sign in box", eString }, // old dictionary U+22A0 { " small dot in box", eString }, // old dictionary U+22A1 { " vertical, dash", eString }, // old dictionary U+22A2 { " dash, vertical", eString }, // old dictionary U+22A3 { " inverted perpendicular", eString }, // old dictionary U+22A4 { " perpendicular", eString }, // old dictionary U+22A5 { 0, eString }, // U+22A6 { "models R:", eString }, // old dictionary U+22A7 { " vertical, dbl dash", eString }, // old dictionary U+22A8 { " dbl vertical, dash", eString }, // old dictionary U+22A9 { " triple vertical, dash", eString }, // old dictionary U+22AA { "dbl vertical, dbl dash", eString }, // U+22AB { " not vertical, dash", eString }, // old dictionary U+22AC { " not vertical, dbl dash", eString }, // old dictionary U+22AD { " not dbl vertical, dash", eString }, // old dictionary U+22AE { " not dbl vert, dbl dash", eString }, // old dictionary U+22AF { "element precedes under relation", eString }, // U+22B0 { 0, eString }, // U+22B1 { " left tri, open, var", eString }, // old dictionary U+22B2 { " right tri, open, var", eString }, // old dictionary U+22B3 { " left triangle, eq", eString }, // old dictionary U+22B4 { " right tri, eq", eString }, // old dictionary U+22B5 { "original of", eString }, // U+22B6 { "image of", eString }, // U+22B7 { "multimap", eString }, // old dictionary U+22B8 { "hermitian conjugate matrix", eString }, // U+22B9 { " intercal", eString }, // old dictionary U+22BA { " logical or, bar below", eString }, // old dictionary U+22BB { " logical and, bar above", eString }, // old dictionary U+22BC { "bar, vee", eString }, // U+22BD { "right angle, variant", eString }, // U+22BE { 0, eString }, // U+22BF { "logical or operator", eString }, // U+22C0 { "logical and operator", eString }, // U+22C1 { "intersection operator", eString }, // U+22C2 { "union operator", eString }, // U+22C3 { " open diamond", eString }, // old dictionary U+22C4 { 0, eString }, // U+22C5 { " small star, filled", eString }, // old dictionary U+22C6 { " division on times", eString }, // old dictionary U+22C7 { " bowtie R", eString }, // old dictionary U+22C8 { " times sign, left closed", eString }, // old dictionary U+22C9 { " times sign, right closed", eString }, // old dictionary U+22CA { " leftthreetimes", eString }, // old dictionary U+22CB { " rightthreetimes ", eString }, // old dictionary U+22CC { " reverse similar", eString }, // old dictionary U+22CD { " curly logical or", eString }, // old dictionary U+22CE { " curly logical and", eString }, // old dictionary U+22CF { " double subset", eString }, // old dictionary U+22D0 { " dbl superset", eString }, // old dictionary U+22D1 { " dbl intersection", eString }, // old dictionary U+22D2 { " dbl union", eString }, // old dictionary U+22D3 { " pitchfork", eString }, // old dictionary U+22D4 { "equal or parallel", eString }, // U+22D5 { "less than, with dot", eString }, // U+22D6 { "greater than, with dot", eString }, // U+22D7 { "<<<", eString }, // old dictionary U+22D8 { ">>>", eString }, // old dictionary U+22D9 { "<=>", eString }, // old dictionary U+22DA { ">=<", eString }, // old dictionary U+22DB { "=/<", eString }, // old dictionary U+22DC { "=/>", eString }, // old dictionary U+22DD { " precedes", eString }, // old dictionary U+22DE { " succeeds", eString }, // old dictionary U+22DF { 0, eString }, // U+22E0 { 0, eString }, // U+22E1 { 0, eString }, // U+22E2 { 0, eString }, // U+22E3 { 0, eString }, // U+22E4 { 0, eString }, // U+22E5 { " less, not similar", eString }, // old dictionary U+22E6 { " greater, not similar", eString }, // old dictionary U+22E7 { " precedes, not approx", eString }, // old dictionary U+22E8 { " succeeds, not approx", eString }, // old dictionary U+22E9 { " not left triangle", eString }, // old dictionary U+22EA { " not rt triangle", eString }, // old dictionary U+22EB { " not l tri, eq", eString }, // old dictionary U+22EC { " not r tri, eq", eString }, // old dictionary U+22ED { " vertical ellipsis", eString }, // old dictionary U+22EE { "cdots, three dots, centered", eString }, // U+22EF { "three dots, ascending", eString }, // U+22F0 { "ddots, three dots, descending", eString }, // U+22F1 { 0, eString }, // U+22F2 { 0, eString }, // U+22F3 { 0, eString }, // U+22F4 { 0, eString }, // U+22F5 { 0, eString }, // U+22F6 { 0, eString }, // U+22F7 { 0, eString }, // U+22F8 { 0, eString }, // U+22F9 { 0, eString }, // U+22FA { 0, eString }, // U+22FB { 0, eString }, // U+22FC { 0, eString }, // U+22FD { 0, eString }, // U+22FE { 0, eString }, // U+22FF};/* * ========================================================================== * $Log: plan22.inc,v $ * Revision 1000.0 2004/06/01 19:44:20 gouriano * PRODUCTION: IMPORTED [GCC34_MSVC7] Dev-tree R1.1 * * Revision 1.1 2004/05/06 18:21:26 gouriano * Imported from pubmed/xmldb * * ========================================================================== */⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -