5. The system of claim 1 including: equation identifier means responsive to said text and tabulations typesetting data for deriving a separate equation file corresponding therewith; said formatting means is responsive to said equation file for deriving a device independent formatted equation file; and including equation readout means responsive to said device independent formatted equation file for deriving a visually inspectable equation check readout corresponding therewith.
5. The system of claim 1 including: equation identifier means responsive to said text and tabulations typesetting data for deriving a separate equation file corresponding therewith; said formatting means is responsive to said equation file for deriving a device independent formatted equation file; and including equation readout means responsive to said device independent formatted equation file for deriving a visually inspectable equation check readout corresponding therewith. 7. The system of claim 5 including change means responsive to applied corrections derived by visual inspection of said equation check readout for correctively effecting alteration of said equation file.