refactored the diSimplex testDocs; added testDocs taken from the AMS-LaTeX v2.14 distribution, providing extensive examples of the use of AMS-LaTeX mathematical commands