Added test for issue 4945
Favor partial fractions in manualintegrate
Favor substitution over expansion in manualintegrate
Add trig substitutions for manualintegrate (WIP)
Implement asin, asinh, acosh rules for manualintegrate
Add trig substitution rule to manualintegrate
Fix pretty printing for Not(Equivalent) and Not(Implies). fixes #7179
Fix latex printing for Not(Equivalent) and Not(Implies).
Make equivalence symbol same for pretty printer and latex printer
and change not equivalent symbol to u+2262 [skip ci]
Fix a typo in manipulation.rst [skip ci]
manualintegrate: Don't use trigsub if result cannot be evaluated
Merge pull request #7543 from debugger22/docs-typo

Fix a minor typo in manipulation.rst
Wrap unicode chars with u and fix a bug in latex printer
Add tests for printing Equivalent. fixes #7180
Remove double wrapping with u
Merge pull request #7536 from hargup/test_4945

Added test for issue 4945
Add IPython Notebook Checkpoints to .gitignore
Remove unnecessary if block
Add tests for pretty printer
Merge pull request #7541 from debugger22/7179

Fixes printing for Not(Equivalent) and Not(Implies).