etc/symbols
changeset 73461 067c23324784
parent 73459 1f1f4462a6ae
child 73467 090add96f5f9
equal deleted inserted replaced
73460:144431a135e9 73461:067c23324784
   146 \<Sigma>                code: 0x0003a3  group: greek
   146 \<Sigma>                code: 0x0003a3  group: greek
   147 \<Upsilon>              code: 0x0003a5  group: greek
   147 \<Upsilon>              code: 0x0003a5  group: greek
   148 \<Phi>                  code: 0x0003a6  group: greek
   148 \<Phi>                  code: 0x0003a6  group: greek
   149 \<Psi>                  code: 0x0003a8  group: greek
   149 \<Psi>                  code: 0x0003a8  group: greek
   150 \<Omega>                code: 0x0003a9  group: greek
   150 \<Omega>                code: 0x0003a9  group: greek
   151 \<Zarithmos>            code: 0x01D538  group: Z_Notation  group: letter
   151 \<bbbA>                 code: 0x01D538  group: letter  group: Z_Notation
   152 \<bool>                 code: 0x01d539  group: letter  group: Z_Notation
   152 \<bool>                 code: 0x01d539  group: letter  group: Z_Notation
   153 \<complex>              code: 0x002102  group: letter
   153 \<complex>              code: 0x002102  group: letter
   154 \<bbbD>                 code: 0x01D53B  group: letter
   154 \<bbbD>                 code: 0x01D53B  group: letter
   155 \<bbbE>                 code: 0x01D53C  group: letter
   155 \<bbbE>                 code: 0x01D53C  group: letter
   156 \<Zfinset>              code: 0x01D53D  group: Z_Notation  group: letter
   156 \<bbbF>                 code: 0x01D53D  group: letter  group: Z_Notation
   157 \<bbbG>                 code: 0x01D53E  group: letter
   157 \<bbbG>                 code: 0x01D53E  group: letter
   158 \<bbbH>                 code: 0x00210D  group: letter
   158 \<bbbH>                 code: 0x00210D  group: letter
   159 \<bbbI>                 code: 0x01D540  group: letter
   159 \<bbbI>                 code: 0x01D540  group: letter
   160 \<bbbJ>                 code: 0x01D541  group: letter
   160 \<bbbJ>                 code: 0x01D541  group: letter
   161 \<bbbK>                 code: 0x01D542  group: letter
   161 \<bbbK>                 code: 0x01D542  group: letter
   162 \<bbbL>                 code: 0x01D543  group: letter
   162 \<bbbL>                 code: 0x01D543  group: letter
   163 \<bbbM>                 code: 0x01D544  group: letter
   163 \<bbbM>                 code: 0x01D544  group: letter
   164 \<nat>                  code: 0x002115  group: letter  group: Z_Notation
   164 \<nat>                  code: 0x002115  group: letter  group: Z_Notation
   165 \<bbbO>                 code: 0x01D546  group: letter
   165 \<bbbO>                 code: 0x01D546  group: letter
   166 \<Zpower>               code: 0x002119  group: Z_Notation  group: letter
   166 \<bbbP>                 code: 0x002119  group: letter  group: Z_Notation
   167 \<rat>                  code: 0x00211a  group: letter
   167 \<rat>                  code: 0x00211a  group: letter
   168 \<real>                 code: 0x00211d  group: letter  group: Z_Notation
   168 \<real>                 code: 0x00211d  group: letter  group: Z_Notation
   169 \<bbbS>                 code: 0x01D54A  group: letter
   169 \<bbbS>                 code: 0x01D54A  group: letter
   170 \<bbbT>                 code: 0x01D54B  group: letter
   170 \<bbbT>                 code: 0x01D54B  group: letter
   171 \<Zuniv>                code: 0x01D54C  group: Z_Notation  group: letter
   171 \<bbbU>                 code: 0x01D54C  group: letter  group: Z_Notation
   172 \<bbbV>                 code: 0x01D54D  group: letter
   172 \<bbbV>                 code: 0x01D54D  group: letter
   173 \<Zworld>               code: 0x01D54E  group: Z_Notation  group: letter
   173 \<bbbW>                 code: 0x01D54E  group: letter  group: Z_Notation
   174 \<bbbX>                 code: 0x01D54F  group: letter
   174 \<bbbX>                 code: 0x01D54F  group: letter
   175 \<bbbY>                 code: 0x01D550  group: letter
   175 \<bbbY>                 code: 0x01D550  group: letter
   176 \<int>                  code: 0x002124  group: letter
   176 \<int>                  code: 0x002124  group: letter
   177 \<leftarrow>            code: 0x002190  group: arrow  abbrev: <.
   177 \<leftarrow>            code: 0x002190  group: arrow  abbrev: <.
   178 \<longleftarrow>        code: 0x0027f5  group: arrow  abbrev: <.
   178 \<longleftarrow>        code: 0x0027f5  group: arrow  abbrev: <.