16. The method of claim 1 , wherein said one or more additional views of said mathematical formula displays a list of constituent phrases in said mathematical formula along with potential abbreviations or aliases for said constituent phrases.
16. The method of claim 1 , wherein said one or more additional views of said mathematical formula displays a list of constituent phrases in said mathematical formula along with potential abbreviations or aliases for said constituent phrases. 17. The method of claim 16 , wherein an act of entering an alias in said list of constituent phrases replaces all occurrences of said constituent phrase by said alias in said at least one other of said application-preferred and said one or more additional views.