document.write('&nbsp;&nbsp;&nbsp;&#149;&nbsp;&nbsp;&nbsp;Symbol f&uuml;r den <b>minimalen Wert</b> einer Menge von ')