I think it was a default. Or, at least, with one formatting toolbar which I simply disabled. I never used palettes of special symbols: it was easier to remember

I think it was a default. Or, at least, with one formatting toolbar which I simply disabled. I never used palettes of special symbols: it was easier to remember some common shortcuts via "escape" key (e.g. Euler constant is <escape> ee <escape>)