add unicode <-> latex maps