Environment Starting and other Modification Commands

start

``start term'' sets both sides of current equation to ``term'' and dependencies to null. It backs up the previous environment onto the desktop and sets the ``current theorem'' environnment variable to the null string (walk command ``s'').

startfor

``startfor thm term'' acts as ``start'', except that it sets the ``current theorem'' variable to ``thm''.

starthere

``starthere'' backs up the environment, then sets both sides of the current equation to the current whole term and dependencies to null.

startover

``startover'' backs up the environment, wipes dependencies, and sets both sides of the current equation to its left side (usually the term one started with). (walk command ``B'').

workback

``workback'' interchanges the left and right sides of the current equation (so one will be looking at the original term entered) (walk command ``b'').

getleftside

see editing commands

getrightside

see editing commands

autoedit

see editing commands