sympy/sympy — pull request #8014 by zanzibar7 (2014-09-11 13:01:01+00:00)
Title: Include ()'s in latex conversion of Implies

Currently,
```
>>> from sympy import *
>>> from sympy.abc import x,y,z
>>> eq = Implies( Or(x,y), z)
>>> eq
(x ∨ y) → z
>>> latex(eq)
'x \\vee y \\Rightarrow z'
```
This requests restores the parentheses to the latex string.