//----------------------------------------------------------------------------
//
//----------------------------------------------------------------------------
  Title_Columbo   = 'Columbo';
  Title_Elbe      = 'Elbe';
  Version_IDE     = '1.0';
  optkeylen       = 8;
  maxfilesize     = 1024*50;    //IX115a ist gerade kleiner
  maxoptsize      = 64000;    // maximale Gr��e
  ViewMax         = 256;      // Memory of view changess
  HistMax         = 20;       // history of files
  Debug           = true;
  BorderWidth     = 10;
  Agenda          = 1;
  Autor           = 2;
  Columbo         = 3;
  Egmont          = 4;
  dlle            = '.dll';
  Productnumber   = chr(Columbo+ord('0'));
  //RKey            = 'SOFTWARE\'+Company+'\'+Title; //relativ zu HKEY_LOCAL_MACHINE
  SamplesDir      = 'Samples\Sample Programs\';
  ExecDir         = 'Samples\Object Files\';
  Samples         = 'Samples\';
  Remotedirectory = 'Samples\Remote Files\';
  extensionfile   = 'extensions.dat';
  CopyLib         = 'CopyLib\';
  // --- external references ------
  InstallKey      = '{0777F89A-60B9-46C1-96E5-0D4DCBFB6FCB}';
  OptionDll       = 'Option.dll';
  Filemax         = 32;
  unitofbytes     = 10000;
  ColorWarn       = $8080FF;
 //----------------------------------------------------------------------------
 //
 //----------------------------------------------------------------------------
 EditionStrings :
 array [Editions] of String=('Shareware','Standard','Professional','Enterprise');
 //----------------------------------------------------------------------------
 // model frame
 //----------------------------------------------------------------------------
 JCLImage=24;
 COBOLImage=2;
 UnSplitImage=23;
 SplitImage=17;
 HasChildrenImage=25;
 CollapsedImage=26;
 ExpandedImage=27;
 PrintIconIndex=18;
 IDEIconIndex=37;
 //----------------------------------------------------------------------------
 // syntax highlighting schema definition
 //----------------------------------------------------------------------------
   Highlitekey:array[Highlite] of JString=
           ('kw','st','nu','id','fokw','co','foid','la','lx');
   S_NType  :array[NType] of JString=
           ('noitem',    'data',    'data', 'function',
            'symbol',    'assumeddata', 'assumedfunction',
            'selection', 'deselection',
            'loopitem',  '�subtreeiten',
            'simstart',  'simwithin',   'simend', 'simcircle', 'desimulation',
            'transition','place', 'block');
   S_NBases:array[NBase] of JString =
           ( 'nobase', 'binary', 'bcd', 'float', 'complex', 'octet', 'dbcs', 'unicode');
   S_NDurations:array[NDuration] of JString =
           ('noduration', 'constant', 'static',
            'dynamic', 'allocated', 'persistent',
            'firing',  'synchronized');
//----------------------------------------------------------------------------
//                Isabelle Symbols
// aus http://isabelle.in.tum.de/repos/isabelle/file/tip/etc/symbols
//----------------------------------------------------------------------------
  Isabelle : array[1..357] of JString =
(
'     1 # $Id$',
'     2 # Default interpretation of some Isabelle symbols',
'     3 ',
'     4 \<zero>                 code: 0x01d7ec  font: Isabelle',
'     5 \<one>                  code: 0x01d7ed  font: Isabelle',
'     6 \<two>                  code: 0x01d7ee  font: Isabelle',
'     7 \<three>                code: 0x01d7ef  font: Isabelle',
'     8 \<four>                 code: 0x01d7f0  font: Isabelle',
'     9 \<five>                 code: 0x01d7f1  font: Isabelle',
'    10 \<six>                  code: 0x01d7f2  font: Isabelle',
'    11 \<seven>                code: 0x01d7f3  font: Isabelle',
'    12 \<eight>                code: 0x01d7f4  font: Isabelle',
'    13 \<nine>                 code: 0x01d7f5  font: Isabelle',
'    14 \<A>                    code: 0x01d49c  font: Isabelle',
'    15 \<B>                    code: 0x00212c  font: Isabelle',
'    16 \<C>                    code: 0x01d49e  font: Isabelle',
'    17 \<D>                    code: 0x01d49f  font: Isabelle',
'    18 \<E>                    code: 0x002130  font: Isabelle',
'    19 \<F>                    code: 0x002131  font: Isabelle',
'    20 \<G>                    code: 0x01d4a2  font: Isabelle',
'    21 \<H>                    code: 0x00210b  font: Isabelle',
'    22 \<I>                    code: 0x002110  font: Isabelle',
'    23 \<J>                    code: 0x01d4a5  font: Isabelle',
'    24 \<K>                    code: 0x01d4a6  font: Isabelle',
'    25 \<L>                    code: 0x002112  font: Isabelle',
'    26 \<M>                    code: 0x002133  font: Isabelle',
'    27 \<N>                    code: 0x01d4a9  font: Isabelle',
'    28 \<O>                    code: 0x01d4aa  font: Isabelle',
'    29 \<P>                    code: 0x01d4ab  font: Isabelle',
'    30 \<Q>                    code: 0x01d4ac  font: Isabelle',
'    31 \<R>                    code: 0x00211b  font: Isabelle',
'    32 \<S>                    code: 0x01d4ae  font: Isabelle',
'    33 \<T>                    code: 0x01d4af  font: Isabelle',
'    34 \<U>                    code: 0x01d4b0  font: Isabelle',
'    35 \<V>                    code: 0x01d4b1  font: Isabelle',
'    36 \<W>                    code: 0x01d4b2  font: Isabelle',
'    37 \<X>                    code: 0x01d4b3  font: Isabelle',
'    38 \<Y>                    code: 0x01d4b4  font: Isabelle',
'    39 \<Z>                    code: 0x01d4b5  font: Isabelle',
'    40 \<a>                    code: 0x01d5ba  font: Isabelle',
'    41 \<b>                    code: 0x01d5bb  font: Isabelle',
'    42 \<c>                    code: 0x01d5bc  font: Isabelle',
'    43 \<d>                    code: 0x01d5bd  font: Isabelle',
'    44 \<e>                    code: 0x01d5be  font: Isabelle',
'    45 \<f>                    code: 0x01d5bf  font: Isabelle',
'    46 \<g>                    code: 0x01d5c0  font: Isabelle',
'    47 \<h>                    code: 0x01d5c1  font: Isabelle',
'    48 \<i>                    code: 0x01d5c2  font: Isabelle',
'    49 \<j>                    code: 0x01d5c3  font: Isabelle',
'    50 \<k>                    code: 0x01d5c4  font: Isabelle',
'    51 \<l>                    code: 0x01d5c5  font: Isabelle',
'    52 \<m>                    code: 0x01d5c6  font: Isabelle',
'    53 \<n>                    code: 0x01d5c7  font: Isabelle',
'    54 \<o>                    code: 0x01d5c8  font: Isabelle',
'    55 \<p>                    code: 0x01d5c9  font: Isabelle',
'    56 \<q>                    code: 0x01d5ca  font: Isabelle',
'    57 \<r>                    code: 0x01d5cb  font: Isabelle',
'    58 \<s>                    code: 0x01d5cc  font: Isabelle',
'    59 \<t>                    code: 0x01d5cd  font: Isabelle',
'    60 \<u>                    code: 0x01d5ce  font: Isabelle',
'    61 \<v>                    code: 0x01d5cf  font: Isabelle',
'    62 \<w>                    code: 0x01d5d0  font: Isabelle',
'    63 \<x>                    code: 0x01d5d1  font: Isabelle',
'    64 \<y>                    code: 0x01d5d2  font: Isabelle',
'    65 \<z>                    code: 0x01d5d3  font: Isabelle',
'    66 \<AA>                   code: 0x01d504  font: Isabelle',
'    67 \<BB>                   code: 0x01d505  font: Isabelle',
'    68 \<CC>                   code: 0x00212d  font: Isabelle',
'    69 \<DD>                   code: 0x01d507  font: Isabelle',
'    70 \<EE>                   code: 0x01d508  font: Isabelle',
'    71 \<FF>                   code: 0x01d509  font: Isabelle',
'    72 \<GG>                   code: 0x01d50a  font: Isabelle',
'    73 \<HH>                   code: 0x00210c  font: Isabelle',
'    74 #\<II>                   code: 0x01d50c  font: Isabelle',
'    75 \<JJ>                   code: 0x01d50d  font: Isabelle',
'    76 \<KK>                   code: 0x01d50e  font: Isabelle',
'    77 \<LL>                   code: 0x01d50f  font: Isabelle',
'    78 \<MM>                   code: 0x01d510  font: Isabelle',
'    79 \<NN>                   code: 0x01d511  font: Isabelle',
'    80 \<OO>                   code: 0x01d512  font: Isabelle',
'    81 \<PP>                   code: 0x01d513  font: Isabelle',
'    82 \<QQ>                   code: 0x01d514  font: Isabelle',
'    83 #\<RR>                   code: 0x01d515  font: Isabelle',
'    84 \<SS>                   code: 0x01d516  font: Isabelle',
'    85 \<TT>                   code: 0x01d517  font: Isabelle',
'    86 \<UU>                   code: 0x01d518  font: Isabelle',
'    87 \<VV>                   code: 0x01d519  font: Isabelle',
'    88 \<WW>                   code: 0x01d51a  font: Isabelle',
'    89 \<XX>                   code: 0x01d51b  font: Isabelle',
'    90 \<YY>                   code: 0x01d51c  font: Isabelle',
'    91 \<ZZ>                   code: 0x002128  font: Isabelle',
'    92 \<aa>                   code: 0x01d51e  font: Isabelle',
'    93 \<bb>                   code: 0x01d51f  font: Isabelle',
'    94 \<cc>                   code: 0x01d520  font: Isabelle',
'    95 \<dd>                   code: 0x01d521  font: Isabelle',
'    96 \<ee>                   code: 0x01d522  font: Isabelle',
'    97 \<ff>                   code: 0x01d523  font: Isabelle',
'    98 \<gg>                   code: 0x01d524  font: Isabelle',
'    99 \<hh>                   code: 0x01d525  font: Isabelle',
'   100 \<ii>                   code: 0x01d526  font: Isabelle',
'   101 \<jj>                   code: 0x01d527  font: Isabelle',
'   102 \<kk>                   code: 0x01d528  font: Isabelle',
'   103 \<ll>                   code: 0x01d529  font: Isabelle',
'   104 \<mm>                   code: 0x01d52a  font: Isabelle',
'   105 \<nn>                   code: 0x01d52b  font: Isabelle',
'   106 \<oo>                   code: 0x01d52c  font: Isabelle',
'   107 \<pp>                   code: 0x01d52d  font: Isabelle',
'   108 \<qq>                   code: 0x01d52e  font: Isabelle',
'   109 \<rr>                   code: 0x01d52f  font: Isabelle',
'   110 \<ss>                   code: 0x01d530  font: Isabelle',
'   111 \<tt>                   code: 0x01d531  font: Isabelle',
'   112 \<uu>                   code: 0x01d532  font: Isabelle',
'   113 \<vv>                   code: 0x01d533  font: Isabelle',
'   114 \<ww>                   code: 0x01d534  font: Isabelle',
'   115 \<xx>                   code: 0x01d535  font: Isabelle',
'   116 \<yy>                   code: 0x01d536  font: Isabelle',
'   117 \<zz>                   code: 0x01d537  font: Isabelle',
'   118 \<alpha>                code: 0x0003b1  font: Isabelle',
'   119 \<beta>                 code: 0x0003b2  font: Isabelle',
'   120 \<gamma>                code: 0x0003b3  font: Isabelle',
'   121 \<delta>                code: 0x0003b4  font: Isabelle',
'   122 \<epsilon>              code: 0x0003b5  font: Isabelle',
'   123 \<zeta>                 code: 0x0003b6  font: Isabelle',
'   124 \<eta>                  code: 0x0003b7  font: Isabelle',
'   125 \<theta>                code: 0x0003b8  font: Isabelle',
'   126 \<iota>                 code: 0x0003b9  font: Isabelle',
'   127 \<kappa>                code: 0x0003ba  font: Isabelle',
'   128 \<lambda>               code: 0x0003bb  font: Isabelle',
'   129 \<mu>                   code: 0x0003bc  font: Isabelle',
'   130 \<nu>                   code: 0x0003bd  font: Isabelle',
'   131 \<xi>                   code: 0x0003be  font: Isabelle',
'   132 \<pi>                   code: 0x0003c0  font: Isabelle',
'   133 \<rho>                  code: 0x0003c1  font: Isabelle',
'   134 \<sigma>                code: 0x0003c3  font: Isabelle',
'   135 \<tau>                  code: 0x0003c4  font: Isabelle',
'   136 \<upsilon>              code: 0x0003c5  font: Isabelle',
'   137 \<phi>                  code: 0x0003c6  font: Isabelle',
'   138 \<chi>                  code: 0x0003c7  font: Isabelle',
'   139 \<psi>                  code: 0x0003c8  font: Isabelle',
'   140 \<omega>                code: 0x0003c9  font: Isabelle',
'   141 \<Gamma>                code: 0x000393  font: Isabelle',
'   142 \<Delta>                code: 0x000394  font: Isabelle',
'   143 \<Theta>                code: 0x000398  font: Isabelle',
'   144 \<Lambda>               code: 0x00039b  font: Isabelle',
'   145 \<Xi>                   code: 0x00039e  font: Isabelle',
'   146 \<Pi>                   code: 0x0003a0  font: Isabelle',
'   147 \<Sigma>                code: 0x0003a3  font: Isabelle',
'   148 \<Upsilon>              code: 0x0003a5  font: Isabelle',
'   149 \<Phi>                  code: 0x0003a6  font: Isabelle',
'   150 \<Psi>                  code: 0x0003a8  font: Isabelle',
'   151 \<Omega>                code: 0x0003a9  font: Isabelle',
'   152 \<bool>                 code: 0x01d539  font: Isabelle',
'   153 \<complex>              code: 0x002102  font: Isabelle',
'   154 \<nat>                  code: 0x002115  font: Isabelle',
'   155 \<rat>                  code: 0x00211a  font: Isabelle',
'   156 \<real>                 code: 0x00211d  font: Isabelle',
'   157 \<int>                  code: 0x002124  font: Isabelle',
'   158 \<leftarrow>            code: 0x002190  font: Isabelle',
'   159 \<longleftarrow>        code: 0x0027f5  font: Isabelle',
'   160 \<rightarrow>           code: 0x002192  font: Isabelle  abbrev: ->',
'   161 \<longrightarrow>       code: 0x0027f6  font: Isabelle  abbrev: -->',
'   162 \<Leftarrow>            code: 0x0021d0  font: Isabelle',
'   163 \<Longleftarrow>        code: 0x0027f8  font: Isabelle ',
'   164 \<Rightarrow>           code: 0x0021d2  font: Isabelle  abbrev: =>',
'   165 \<Longrightarrow>       code: 0x0027f9  font: Isabelle  abbrev: ==>',
'   166 \<leftrightarrow>       code: 0x002194  font: Isabelle  abbrev: <->',
'   167 \<longleftrightarrow>   code: 0x0027f7  font: Isabelle  abbrev: <-->',
'   168 \<Leftrightarrow>       code: 0x0021d4  font: Isabelle  abbrev: <=>',
'   169 \<Longleftrightarrow>   code: 0x0027fa  font: Isabelle  abbrev: <==>',
'   170 \<mapsto>               code: 0x0021a6  font: Isabelle  abbrev: |->',
'   171 \<longmapsto>           code: 0x0027fc  font: Isabelle  abbrev: |-->',
'   172 \<midarrow>             code: 0x002500  font: Isabelle',
'   173 \<Midarrow>             code: 0x002550  font: Isabelle',
'   174 \<hookleftarrow>        code: 0x0021a9  font: Isabelle',
'   175 \<hookrightarrow>       code: 0x0021aa  font: Isabelle',
'   176 \<leftharpoondown>      code: 0x0021bd  font: Isabelle',
'   177 \<rightharpoondown>     code: 0x0021c1  font: Isabelle',
'   178 \<leftharpoonup>        code: 0x0021bc  font: Isabelle',
'   179 \<rightharpoonup>       code: 0x0021c0  font: Isabelle',
'   180 \<rightleftharpoons>    code: 0x0021cc  font: Isabelle',
'   181 \<leadsto>              code: 0x00219d  font: Isabelle  abbrev: ~>',
'   182 \<downharpoonleft>      code: 0x0021c3  font: Isabelle',
'   183 \<downharpoonright>     code: 0x0021c2  font: Isabelle',
'   184 \<upharpoonleft>        code: 0x0021bf  font: Isabelle',
'   185 \<upharpoonright>       code: 0x0021be  font: Isabelle',
'   186 \<restriction>          code: 0x0021be  font: Isabelle',
'   187 \<Colon>                code: 0x002237  font: Isabelle',
'   188 \<up>                   code: 0x002191  font: Isabelle',
'   189 \<Up>                   code: 0x0021d1  font: Isabelle',
'   190 \<down>                 code: 0x002193  font: Isabelle',
'   191 \<Down>                 code: 0x0021d3  font: Isabelle',
'   192 \<updown>               code: 0x002195  font: Isabelle',
'   193 \<Updown>               code: 0x0021d5  font: Isabelle',
'   194 \<langle>               code: 0x0027e8  font: Isabelle  abbrev: <.',
'   195 \<rangle>               code: 0x0027e9  font: Isabelle  abbrev: .>',
'   196 \<lceil>                code: 0x002308  font: Isabelle',
'   197 \<rceil>                code: 0x002309  font: Isabelle',
'   198 \<lfloor>               code: 0x00230a  font: Isabelle',
'   199 \<rfloor>               code: 0x00230b  font: Isabelle',
'   200 \<lparr>                code: 0x002987  font: Isabelle  abbrev: (|',
'   201 \<rparr>                code: 0x002988  font: Isabelle  abbrev: |)',
'   202 \<lbrakk>               code: 0x0027e6  font: Isabelle  abbrev: [|',
'   203 \<rbrakk>               code: 0x0027e7  font: Isabelle  abbrev: |]',
'   204 \<lbrace>               code: 0x002983  font: Isabelle  abbrev: {.',
'   205 \<rbrace>               code: 0x002984  font: Isabelle  abbrev: .}',
'   206 \<guillemotleft>        code: 0x0000ab                  abbrev: <<',
'   207 \<guillemotright>       code: 0x0000bb                  abbrev: >>',
'   208 \<bottom>               code: 0x0022a5  font: Isabelle',
'   209 \<top>                  code: 0x0022a4  font: Isabelle',
'   210 \<and>                  code: 0x002227  font: Isabelle  abbrev: /\',
'   211 \<And>                  code: 0x0022c0  font: Isabelle  abbreb: !!',
'   212 \<or>                   code: 0x002228  font: Isabelle  abbrev: \/',
'   213 \<Or>                   code: 0x0022c1  font: Isabelle  abbrev: ??',
'   214 \<forall>               code: 0x002200  font: Isabelle  abbrev: !',
'   215 \<exists>               code: 0x002203  font: Isabelle  abbrev: ?.',
'   216 \<nexists>              code: 0x002204  font: Isabelle  abbrev: ?~',
'   217 \<not>                  code: 0x0000ac  font: Isabelle  abbrev: ~',
'   218 \<box>                  code: 0x0025a1  font: Isabelle',
'   219 \<diamond>              code: 0x0025c7  font: Isabelle',
'   220 \<turnstile>            code: 0x0022a2  font: Isabelle  abbrev: |-',
'   221 \<Turnstile>            code: 0x0022a8  font: Isabelle  abbrev: |=',
'   222 \<tturnstile>           code: 0x0022a9  font: Isabelle  abbrev: ||-',
'   223 \<TTurnstile>           code: 0x0022ab  font: Isabelle  abbrev: ||=',
'   224 \<stileturn>            code: 0x0022a3  font: Isabelle  abbrev: -|',
'   225 \<surd>                 code: 0x00221a  font: Isabelle',
'   226 \<le>                   code: 0x002264  font: Isabelle  abbrev: <=',
'   227 \<ge>                   code: 0x002265  font: Isabelle  abbrev: >=',
'   228 \<lless>                code: 0x00226a  font: Isabelle',
'   229 \<ggreater>             code: 0x00226b  font: Isabelle',
'   230 \<lesssim>              code: 0x002272  font: Isabelle',
'   231 \<greatersim>           code: 0x002273  font: Isabelle',
'   232 \<lessapprox>           code: 0x002a85  font: Isabelle',
'   233 \<greaterapprox>        code: 0x002a86  font: Isabelle',
'   234 \<in>                   code: 0x002208  font: Isabelle  abbrev: :',
'   235 \<notin>                code: 0x002209  font: Isabelle  abbrev: ~:',
'   236 \<subset>               code: 0x002282  font: Isabelle',
'   237 \<supset>               code: 0x002283  font: Isabelle',
'   238 \<subseteq>             code: 0x002286  font: Isabelle  abbrev: (=',
'   239 \<supseteq>             code: 0x002287  font: Isabelle  abbrev: =)',
'   240 \<sqsubset>             code: 0x00228f  font: Isabelle',
'   241 \<sqsupset>             code: 0x002290  font: Isabelle',
'   242 \<sqsubseteq>           code: 0x002291  font: Isabelle  abbrev: [=',
'   243 \<sqsupseteq>           code: 0x002292  font: Isabelle  abbrev: =]',
'   244 \<inter>                code: 0x002229  font: Isabelle  abbrev: Int',
'   245 \<Inter>                code: 0x0022c2  font: Isabelle  abbrev: Inter',
'   246 \<union>                code: 0x00222a  font: Isabelle  abbrev: Un',
'   247 \<Union>                code: 0x0022c3  font: Isabelle  abbrev: Union',
'   248 \<squnion>              code: 0x002294  font: Isabelle  abbrev: ||',
'   249 \<Squnion>              code: 0x002a06  font: Isabelle  abbrev: |||',
'   250 \<sqinter>              code: 0x002293  font: Isabelle  abbrev: &&',
'   251 \<Sqinter>              code: 0x002a05  font: Isabelle  abbrev: &&&',
'   252 \<setminus>             code: 0x002216  font: Isabelle',
'   253 \<propto>               code: 0x00221d  font: Isabelle',
'   254 \<uplus>                code: 0x00228e  font: Isabelle',
'   255 \<Uplus>                code: 0x002a04  font: Isabelle',
'   256 \<noteq>                code: 0x002260  font: Isabelle  abbrev: ~=',
'   257 \<sim>                  code: 0x00223c  font: Isabelle',
'   258 \<doteq>                code: 0x002250  font: Isabelle',
'   259 \<simeq>                code: 0x002243  font: Isabelle',
'   260 \<approx>               code: 0x002248  font: Isabelle',
'   261 \<asymp>                code: 0x00224d  font: Isabelle',
'   262 \<cong>                 code: 0x002245  font: Isabelle',
'   263 \<smile>                code: 0x002323  font: Isabelle',
'   264 \<equiv>                code: 0x002261  font: Isabelle  abbrev: ==',
'   265 \<frown>                code: 0x002322  font: Isabelle',
'   266 \<Join>                 code: 0x0022c8  font: Isabelle',
'   267 \<bowtie>               code: 0x002a1d  font: Isabelle',
'   268 \<prec>                 code: 0x00227a  font: Isabelle',
'   269 \<succ>                 code: 0x00227b  font: Isabelle',
'   270 \<preceq>               code: 0x00227c  font: Isabelle',
'   271 \<succeq>               code: 0x00227d  font: Isabelle',
'   272 \<parallel>             code: 0x002225  font: Isabelle  abbrev: ||',
'   273 \<bar>                  code: 0x0000a6',
'   274 \<plusminus>            code: 0x0000b1  font: Isabelle',
'   275 \<minusplus>            code: 0x002213  font: Isabelle',
'   276 \<times>                code: 0x0000d7  font: Isabelle',
'   277 \<div>                  code: 0x0000f7  font: Isabelle',
'   278 \<cdot>                 code: 0x0022c5  font: Isabelle',
'   279 \<star>                 code: 0x0022c6  font: Isabelle',
'   280 \<bullet>               code: 0x002219  font: Isabelle',
'   281 \<circ>                 code: 0x002218  font: Isabelle',
'   282 \<dagger>               code: 0x002020  font: Isabelle',
'   283 \<ddagger>              code: 0x002021  font: Isabelle',
'   284 \<lhd>                  code: 0x0022b2  font: Isabelle',
'   285 \<rhd>                  code: 0x0022b3  font: Isabelle',
'   286 \<unlhd>                code: 0x0022b4  font: Isabelle',
'   287 \<unrhd>                code: 0x0022b5  font: Isabelle',
'   288 \<triangleleft>         code: 0x0025c3  font: Isabelle',
'   289 \<triangleright>        code: 0x0025b9  font: Isabelle',
'   290 \<triangle>             code: 0x0025b3  font: Isabelle',
'   291 \<triangleq>            code: 0x00225c  font: Isabelle',
'   292 \<oplus>                code: 0x002295  font: Isabelle  abbrev: +o',
'   293 \<Oplus>                code: 0x002a01  font: Isabelle  abbrev: +O',
'   294 \<otimes>               code: 0x002297  font: Isabelle  abbrev: *o',
'   295 \<Otimes>               code: 0x002a02  font: Isabelle  abbrev: *O',
'   296 \<odot>                 code: 0x002299  font: Isabelle  abbrev: .o',
'   297 \<Odot>                 code: 0x002a00  font: Isabelle  abbrev: .O',
'   298 \<ominus>               code: 0x002296  font: Isabelle  abbrev: -o',
'   299 \<oslash>               code: 0x002298  font: Isabelle  abbrev: /o',
'   300 \<dots>                 code: 0x002026  font: Isabelle  abbrev: ...',
'   301 \<cdots>                code: 0x0022ef  font: Isabelle',
'   302 \<Sum>                  code: 0x002211  font: Isabelle  abbrev: SUM',
'   303 \<Prod>                 code: 0x00220f  font: Isabelle  abbrev: PROD',
'   304 \<Coprod>               code: 0x002210  font: Isabelle',
'   305 \<infinity>             code: 0x00221e  font: Isabelle',
'   306 \<integral>             code: 0x00222b  font: Isabelle',
'   307 \<ointegral>            code: 0x00222e  font: Isabelle',
'   308 \<clubsuit>             code: 0x002663  font: Isabelle',
'   309 \<diamondsuit>          code: 0x002662  font: Isabelle',
'   310 \<heartsuit>            code: 0x002661  font: Isabelle',
'   311 \<spadesuit>            code: 0x002660  font: Isabelle',
'   312 \<aleph>                code: 0x002135  font: Isabelle',
'   313 \<emptyset>             code: 0x002205  font: Isabelle',
'   314 \<nabla>                code: 0x002207  font: Isabelle',
'   315 \<partial>              code: 0x002202  font: Isabelle',
'   316 \<Re>                   code: 0x00211c  font: Isabelle',
'   317 \<Im>                   code: 0x002111  font: Isabelle',
'   318 \<flat>                 code: 0x00266d  font: Isabelle',
'   319 \<natural>              code: 0x00266e  font: Isabelle',
'   320 \<sharp>                code: 0x00266f  font: Isabelle',
'   321 \<angle>                code: 0x002220  font: Isabelle',
'   322 \<copyright>            code: 0x0000a9  font: Isabelle',
'   323 \<registered>           code: 0x0000ae  font: Isabelle',
'   324 \<hyphen>               code: 0x0000ad',
'   325 \<inverse>              code: 0x0000af',
'   326 \<onesuperior>          code: 0x0000b9',
'   327 \<onequarter>           code: 0x0000bc',
'   328 \<twosuperior>          code: 0x0000b2',
'   329 \<onehalf>              code: 0x0000bd',
'   330 \<threesuperior>        code: 0x0000b3',
'   331 \<threequarters>        code: 0x0000be',
'   332 \<ordfeminine>          code: 0x0000aa',
'   333 \<ordmasculine>         code: 0x0000ba',
'   334 \<section>              code: 0x0000a7',
'   335 \<paragraph>            code: 0x0000b6',
'   336 \<exclamdown>           code: 0x0000a1',
'   337 \<questiondown>         code: 0x0000bf',
'   338 \<euro>                 code: 0x0020ac',
'   339 \<pounds>               code: 0x0000a3',
'   340 \<yen>                  code: 0x0000a5',
'   341 \<cent>                 code: 0x0000a2',
'   342 \<currency>             code: 0x0000a4',
'   343 \<degree>               code: 0x0000b0  font: Isabelle',
'   344 \<amalg>                code: 0x002a3f  font: Isabelle',
'   345 \<mho>                  code: 0x002127  font: Isabelle',
'   346 \<lozenge>              code: 0x0025ca  font: Isabelle',
'   347 \<wp>                   code: 0x002118  font: Isabelle',
'   348 \<wrong>                code: 0x002240  font: Isabelle',
'   349 \<struct>               code: 0x0022c4  font: Isabelle',
'   350 \<acute>                code: 0x0000b4',
'   351 \<index>                code: 0x000131  font: Isabelle',
'   352 \<dieresis>             code: 0x0000a8',
'   353 \<cedilla>              code: 0x0000b8',
'   354 \<hungarumlaut>         code: 0x0002dd',
'   355 \<spacespace>           code: 0x002423  font: Isabelle',
'   356 \<some>                 code: 0x0003f5  font: Isabelle',
'   357 ');