Function replace_unicode_cmd 

pub fn replace_unicode_cmd(s: &str, uni: &str, tex: &str) -> String

Replace a Unicode symbol with a LaTeX command, inserting a trailing space when the next character is alphabetic (prevents \foralli).