Wrap unicode chars with u and fix a bug in latex printer