mnemos.tex:	{"AA", 0x00C5 /* Å */},
mnemos.rfc:	{"AA", 0x00c5 /* Å LATIN CAPITAL LETTER A WITH RING ABOVE */},
mnemos.tex:	{"aa", 0x00E5 /* å */},
mnemos.rfc:	{"aa", 0x00e5 /* å LATIN SMALL LETTER A WITH RING ABOVE */},
mnemos.tex:	{"AE", 0x00C6 /* Æ */},
mnemos.rfc:	{"AE", 0x00c6 /* Æ LATIN CAPITAL LETTER AE */},
mnemos.tex:	{"ae", 0x00E6 /* æ */},
mnemos.rfc:	{"ae", 0x00e6 /* æ LATIN SMALL LETTER AE */},
mnemos.tex:	{"cap", 0x2229 /* ∩ */},
mnemos.www:	{"cap", 8745 /* ∩ */},
mnemos.tex:	{"cong", 0x2245 /* ≅ */},
mnemos.www:	{"cong", 8773 /* ≅ */},
mnemos.tex:	{"cup", 0x222A /* ∪ */},
mnemos.www:	{"cup", 8746 /* ∪ */},
mnemos.tex:	{"dagger", 0x2020 /* † */},
mnemos.www:	{"dagger", 8224 /* † */},
mnemos.tex:	{"equiv", 0x2261 /* ≡ */},
mnemos.www:	{"equiv", 8801 /* ≡ */},
mnemos.tex:	{"forall", 0x2200 /* ∀ */},
mnemos.www:	{"forall", 8704 /* ∀ */},
mnemos.tex:	{"ge", 0x2265 /* ≥ */},
mnemos.www:	{"ge", 8805 /* ≥ */},
mnemos.tex:	{"int", 0x222B /* ∫ */},
mnemos.www:	{"int", 8747 /* ∫ */},
mnemos.tex:	{"lceil", 0x2308 /* ⌈ */},
mnemos.www:	{"lceil", 8968 /* ⌈ */},
mnemos.tex:	{"le", 0x2264 /* ≤ */},
mnemos.www:	{"le", 8804 /* ≤ */},
mnemos.tex:	{"lfloor", 0x230A /* ⌊ */},
mnemos.www:	{"lfloor", 8970 /* ⌊ */},
mnemos.tex:	{"nabla", 0x2207 /* ∇ */},
mnemos.www:	{"nabla", 8711 /* ∇ */},
mnemos.tex:	{"ne", 0x2260 /* ≠ */},
mnemos.www:	{"ne", 8800 /* ≠ */},
mnemos.tex:	{"ni", 0x220B /* ∋ */},
mnemos.www:	{"ni", 8715 /* ∋ */},
mnemos.tex:	{"OE", 0x0152 /* Π*/},
mnemos.rfc:	{"OE", 0x0152 /* ΠLATIN CAPITAL LIGATURE OE */},
mnemos.tex:	{"oe", 0x0153 /* œ */},
mnemos.rfc:	{"oe", 0x0153 /* œ LATIN SMALL LIGATURE OE */},
mnemos.tex:	{"oplus", 0x2295 /* ⊕ */},
mnemos.www:	{"oplus", 8853 /* ⊕ */},
mnemos.tex:	{"otimes", 0x2297 /* ⊗ */},
mnemos.www:	{"otimes", 8855 /* ⊗ */},
mnemos.tex:	{"perp", 0x22A5 /* ⊥ */},
mnemos.www:	{"perp", 8869 /* ⊥ */},
mnemos.tex:	{"prime", 0x2032 /* ′ */},
mnemos.www:	{"prime", 8242 /* ′ */},
mnemos.tex:	{"prod", 0x220F /* ∏ */},
mnemos.www:	{"prod", 8719 /* ∏ */},
mnemos.tex:	{"rceil", 0x2309 /* ⌉ */},
mnemos.www:	{"rceil", 8969 /* ⌉ */},
mnemos.tex:	{"rfloor", 0x230B /* ⌋ */},
mnemos.www:	{"rfloor", 8971 /* ⌋ */},
mnemos.tex:	{"sim", 0x223C /* ∼ */},
mnemos.www:	{"sim", 8764 /* ∼ */},
mnemos.tex:	{"ss", 0x00DF /* ß */},
mnemos.rfc:	{"ss", 0x00df /* ß LATIN SMALL LETTER SHARP S (German) */},
mnemos.tex:	{"sum", 0x2211 /* ∑ */},
mnemos.www:	{"sum", 8721 /* ∑ */},
mnemos.tex:	{"times", 0x00D7 /* × */},
mnemos.www:	{"times", 215 /* × */},