Structured variants

When creating an environment like a theorem, an equation or a list, it frequently happens that one would like to change the environment a posteriori. This can be done using the keyboard shortcuts C-tab and C-S-tab for cycling through the list of structured variants of the innermost tag in a direct or inverse manner.

For instance, assuming that you are inside a theorem, pressing C-tab several times will change the theorem into a proposition, a lemma, a corollary, a conjecture and back into a theorem. The C-S-tab key allows you to cycle in the inverse direction: theorem → conjectur → corollary → lemma → proposition → theorem.

In the case of mathematical formulas, the C-tab shortcuts allows you to change an inline formula like a² + b² = c² into a displayed formula like

while taking care of potential “trailing spaces and punctuation signs”.

TeXmacs also provides the A-* shortcut for turning numbered environments into unnumbered environments and vice versa. This works for most common environments like theorems, remarks, tables, equations, etc. Notice that A-* also turns an unnumbered itemize environment into an enumeration and vice versa, whereas C-tab allows you to cycle between the available kinds of list items (bullets, dashes, arrows, etc.).