new function EnDe.EN.symbol() replaces EnDe.EN.braille()
EnDeMaps.js adjusted accodingly