editor html

At some point I switched off the HTML editor button in TinyMCE. I can’t remember where or how I did it and now I want to switch it on again.

Clues on how to switch back on greatfully received…