removing spurious mrows and brackets in renderings of notation definitions. These are put in by the presenation (or parsing) algorithms.