Include ()'s in latex conversion of Implies
additional test of latex Implies grouping
minor docstring edit [skip ci]
bug fix in dup_zz_zassenhaus for issue 8037
Merge pull request #8038 from pernici/factor4

bug fix in dup_zz_zassenhaus for issue 8037

fixes #8037
Merge pull request #8014 from zanzibar7/bool_latex

Include ()'s in latex conversion of Implies
Catch some "flips" for inequalities with NumberSymbol's

e.g. pi > x was processed before to (-pi) < (-x)