{
"ƒ" : "ƒ",
"Α" : "Α",
"Β" : "Β",
"Γ" : "Γ",
"Δ" : "Δ",
"Ε" : "Ε",
"Ζ" : "Ζ",
"Η" : "Η",
"Θ" : "Θ",
"Ι" : "Ι",
"Κ" : "Κ",
"Λ" : "Λ",
"Μ" : "Μ",
"Ν" : "Ν",
"Ξ" : "Ξ",
"Ο" : "Ο ",
"Π" : "Π",
"Ρ" : "Ρ",
"Σ" : "Σ",
"Τ" : "Τ",
"Υ" : "Υ",
"Φ" : "Φ",
"Χ" : "Χ",
"Ψ" : "Ψ",
"Ω" : "Ω",
"α" : "α",
"β" : "β",
"γ" : "γ",
"δ" : "δ",
"ε" : "ε",
"ζ" : "ζ",
"η" : "η",
"θ" : "θ",
"ι" : "ι",
"κ" : "κ",
"λ" : "λ",
"μ" : "μ",
"ν" : "ν",
"ξ" : "ξ",
"ο" : "ο",
"π" : "π",
"ρ" : "ρ",
"ς" : "ς",
"σ" : "σ",
"τ" : "τ",
"υ" : "υ",
"φ" : "φ",
"ω" : "ω",
"•" : "•",
"…" : "…",
"′" : "′",
"″" : "″",
"‾" : "‾",
"⁄" : "⁄",
"™" : "™",
"←" : "←",
"↑" : "↑",
"→" : "→",
"↓" : "↓",
"↔" : "↔",
"⇒" : "⇒",
"∂" : "∂",
"∏" : "∏",
"∑" : "∑",
"−" : "−",
"√" : "√",
"∞" : "∞",
"∩" : "∩",
"∫" : "∫",
"≈" : "≈",
"≠" : "≠",
"≡" : "≡",
"≤" : "≤",
"≥" : "≥",
"◊" : "◊",
"♠" : "♠",
"♣" : "♣",
"♥" : "♥",
"♦" : "♦",
"Œ" : "Œ",
"œ" : "œ",
"Š" : "Š",
"š" : "š",
"Ÿ" : "Ÿ",
"ˆ" : "ˆ",
"˜" : "˜",
"–" : "–",
"—" : "—",
"‘" : "‘",
"’" : "’",
"‚" : "‚",
"“" : "“",
"”" : "”",
"„" : "„",
"†" : "†",
"‡" : "‡",
"‰" : "‰",
"‹" : "‹",
"›" : "›",
"€" : "€",

	// \x22 means '"' -- we use hex reprezentation so that we don't disturb
	// JS compressors (well, at least mine fails.. ;)
	
	" " : "\xA0",
	"≤" : String.fromCharCode(0x2264), 
	"≥" : String.fromCharCode(0x2265)
}