> <\body> When creating an environment like a theorem, an equation or a list, it frequently happens that one would like to change the environment . The keyboard shortcuts and allow you to cycle through the list of of the innermost tag, in forward or backward direction, respectively. For instance, assuming that you are inside a theorem, pressing several times will change the theorem into a proposition, a lemma, a corollary, a conjecture, and finally back into a theorem. The key allows you to cycle in the reverse direction: theorem>> conjecture>> corollary>> lemma>> proposition>> theorem. In the case of mathematical formulas, the shortcut allows you to change an inline formula such as +b=c> into the displayed formula <\equation*> a+b=c while taking care of potential \Ptrailing spaces and punctuation signs\Q. also provides the shortcut for turning numbered environments into unnumbered environments and . This works for most common environments like theorems, remarks, tables, equations, etc. Notice that also turns an unnumbered itemize environment into an enumeration and , whereas allows you to cycle between the available kinds of list items (bullets, dashes, arrows, ). Folding and unfolding provides yet another example of an interesting way to toggle between several environments. Inside a computer algebra session such as <\session|pari|default> <\unfolded-io|Pari] > factor (x^15 - 1) <|unfolded-io> |>|+x+1>|>|+x+x+x+1>|>|-x+x-x+x-x+1>|>>>>>>> you may click on \P>\Q in order to fold the output (only the input remains visible) and click once again in order to unfold back to the original state. The shortcut achieves the same effect. There various other foldable environments, most of which are available through . >