How to undo bold face?

#1

In TeXmacs I must use font properties to change a bold face back to regular type. A better approach is to use the same keybinding to change the face back and forth. How to achieve that?

#2

This is done by Ctrl-Backspace when the cursor is in these texts, which removes the surrounding tags.

1 Like
#3

Thanks a lot! I should learn what are tags in TeXmacs. BTW, in Mac the shortcut is Option-Backspace.