Add integral sign in tex2libplot converter