Include ()'s in latex conversion of Implies
additional test of latex Implies grouping
Merge pull request #8014 from zanzibar7/bool_latex

Include ()'s in latex conversion of Implies