modify latex syntax, '|' -> '\|'