I have further edited *highly structured spectrum* and several related entries (ring spectrum, orthogonal spectrum, symmetric spectrum, S-module, brave new algebra, symmetric monoidal smash product of spectra) in an attempt to streamline and clarify better, which seemed necessary.

I found that the $n$Lab was and is a bit weak on topics related to highly structured ring spectra. We did (and do) have a nice entry *symmetric monoidal smash product of spectra*, but I think for a decent coverage we need more.

I started out adding stuff to the following circle of entries.

model structure on spectra, symmetric monoidal smash product of spectra

But the nLab doesnâ€™t like being edited so much and gives me a hard (down-)time. Makes me run out of steam a bit. So much of this remains super-stubby for the moment. But we should eventually expandâ€¦

]]>