Benutzer:MovGP0/monobook.js

 mw.loader.load('//en.wikipedia.org/w/index.php?title=User:WikiBhasha.MSR/WikiBhasha.js&action=raw&ctype=text/js'); 
 NavigationBarShowDefault = 2; // Bis zu 2 Leisten ausklappen

 // Install InstaView
 mw.loader.load('https://en.wikipedia.org/w/index.php?title=User:Pilaf/instaview.js&action=raw&ctype=text/javascript');
 
 InstaView.conf.user.name = 'MovGP0';
 
 //Preview-Script
 mw.loader.load(
             'https://en.wikipedia.org/w/index.php?title=User:Lupin/popups.js'
             + '&action=raw&ctype=text/javascript&dontcountme=s');

 //Godmode light (rollback link)
 document.write('<SCRIPT SRC="http://sam.zoy.org/wikipedia/godmode-light.js"><\/SCRIPT>');

 //Godmode light
 //modified for Navigation (Preview) Script
 //document.write('<SCRIPT SRC="http://en.wikipedia.orghttps://wiki386.com/de/User:Ilmari_Karonen/godmode-light.js"><\/SCRIPT>');

 //hide own edits in watchlist
 addOnloadHook(function () {
   for (var i=0; i<document.links.length; ++i) {
     if (document.links.href.indexOf('Special:Watchlist')>0) {
       document.links.href+='?hideOwn=1';
       break;
     }
   }
 });

 // This will add an  link at the top of all pages except preview pages
 // by User:Pile0nades
 

// Add an  link to pages
$(function () {
  // if this is preview page or generated page, stop
  if(
    document.getElementById("wikiPreview") ||
    document.getElementById("histlegend‎") ||
    document.getElementById("difference‎") ||
    document.getElementById("watchdetails") ||
    document.getElementById("ca-viewsource") ||
    window.location.href.indexOf("https://wiki386.com/de/Special:") != -1
  ) {
    if(window.location.href.indexOf("&action=edit&section=0") != -1) {
      document.getElementById("wpSummary").value = "/* Intro */ ";
    }
    return;
  };

  // get the page title
  var pageTitle = wgPageName;

  // create div and set innerHTML to link
  var divContainer = document.createElement("div");
  divContainer.innerHTML = '<div class="editsection"></div>';

  // insert divContainer into the DOM below the h1
  if(window.location.href.indexOf("&action=edit") == -1) {
    document.getElementById("content").insertBefore(divContainer, document.getElementsByTagName("h1"));
  }

});




 addOnloadHook(function () {
 /* Initialisierungsscript */ 
 var specialchars = document.getElementById('specialchars');

 if (specialchars) {
   var menu = "<select style=\"display:inline\" onChange=\"chooseCharSubset(selectedIndex)\">";
   menu += "<option>Standard</option>";
   menu += "<option>Griechisch</option>";
   menu += "<option>TeX Schriftarten</option>";
   menu += "<option>TeX Zahlenbereiche</option>";
   menu += "<option>TeX Griechisch</option>";
   menu += "<option>TeX Sonderzeichen</option>";
   menu += "<option>TeX Logik und Mengen</option>";
   menu += "</select><br/>";
 
 /* Standard Characters */
   menu += "<p style=\"display: inline;\" class=\"specialbasic\" id=\"Standard\"> ";
   menu += "<a onclick=\"insertTags('„','“','');return false\" href=\"#\">„“</a> ";
   menu += "<a onclick=\"insertTags('’','','');return false\" href=\"#\">’</a> ";
   menu += "<a onclick=\"insertTags('‚','‘','');return false\" href=\"#\">‚‘</a> ";
   menu += "<a onclick=\"insertTags('“','”','');return false\" href=\"#\">“”</a> ";
   menu += "<a onclick=\"insertTags('«','»','');return false\" href=\"#\">«»</a> ";
   menu += "<a onclick=\"insertTags('–','','');return false\" href=\"#\">–</a> ";
   menu += "<a onclick=\"insertTags('+','','');return false\" href=\"#\">+</a> ";
   menu += "<a onclick=\"insertTags('−','','');return false\" href=\"#\">−</a> ";

   menu += "<a onclick=\"insertTags('·','','');return false\" href=\"#\">·</a> ";
   menu += "<a onclick=\"insertTags('×','','');return false\" href=\"#\">×</a> ";
   menu += "<a onclick=\"insertTags('÷','','');return false\" href=\"#\">÷</a> ";
   menu += "<a onclick=\"insertTags('≈','','');return false\" href=\"#\">≈</a> ";
   menu += "<a onclick=\"insertTags('≠','','');return false\" href=\"#\">≠</a> ";
   menu += "<a onclick=\"insertTags('±','','');return false\" href=\"#\">±</a> ";
   menu += "<a onclick=\"insertTags('≤','','');return false\" href=\"#\">≤</a> ";
   menu += "<a onclick=\"insertTags('≥','','');return false\" href=\"#\">≥</a> ";
   menu += "<a onclick=\"insertTags('²','','');return false\" href=\"#\">²</a> ";

   menu += "<a onclick=\"insertTags('³','','');return false\" href=\"#\">³</a> ";
   menu += "<a onclick=\"insertTags('½','','');return false\" href=\"#\">½</a> ";
   menu += "<a onclick=\"insertTags('€','','');return false\" href=\"#\">€</a> ";
   menu += "<a onclick=\"insertTags('†','','');return false\" href=\"#\">†</a> ";
   menu += "<a onclick=\"insertTags('#','','');return false\" href=\"#\">#</a> ";
   menu += "<a onclick=\"insertTags('*','','');return false\" href=\"#\">*</a> ";
   menu += "<a onclick=\"insertTags('‰','','');return false\" href=\"#\">‰</a> ";
   menu += "<a onclick=\"insertTags('§','','');return false\" href=\"#\">§</a> ";
   menu += "<a onclick=\"insertTags('¢','','');return false\" href=\"#\">¢</a> ";

   menu += "<a onclick=\"insertTags('£','','');return false\" href=\"#\">£</a> ";
   menu += "<a onclick=\"insertTags('¥','','');return false\" href=\"#\">¥</a> ";
   menu += "<a onclick=\"insertTags('$','','');return false\" href=\"#\">$</a> ";
   menu += "<a onclick=\"insertTags('¿','','');return false\" href=\"#\">¿</a> ";
   menu += "<a onclick=\"insertTags('¡','','');return false\" href=\"#\">¡</a> ";
   menu += "<a onclick=\"insertTags('∞','','');return false\" href=\"#\">∞</a> ";
   menu += "<a onclick=\"insertTags('‣','','');return false\" href=\"#\">‣</a> ";
   menu += "<a onclick=\"insertTags('•','','');return false\" href=\"#\">•</a> ";
   menu += "<a onclick=\"insertTags('〈','〉','');return false\" href=\"#\">〈〉</a> ";

   menu += "<a onclick=\"insertTags('…','','');return false\" href=\"#\">…</a> ";
   menu += "<a onclick=\"insertTags('→','','');return false\" href=\"#\">→</a> ";
   menu += "<a onclick=\"insertTags('↔','','');return false\" href=\"#\">↔</a> ";
   menu += "<a onclick=\"insertTags('&','nbsp;','');return false\" href=\"#\">&amp;nbsp;</a> ";
   menu += "<a onclick=\"insertTags(']','');return false\" href=\"#\">]</a> ";
   menu += "<a onclick=\"insertTags('|','','');return false\" href=\"#\">|</a> ";

   menu += "<a onclick=\"insertTags('°','','');return false\" href=\"#\">°</a> ";
   menu += "<a onclick=\"insertTags('′','','');return false\" href=\"#\">′</a> ";
   menu += "<a onclick=\"insertTags('″','','');return false\" href=\"#\">″</a> ";
   menu += "</p>";
 
 /* Griechisch */
   menu += "<p class=\"specialbasic\" style=\"display: none;\"> ";
   menu += "<a onclick=\"insertTags('Α','','');return false\" href=\"#\">Α</a> ";
   menu += "<a onclick=\"insertTags('Ά','','');return false\" href=\"#\">Ά</a> ";
   menu += "<a onclick=\"insertTags('Β','','');return false\" href=\"#\">Β</a> ";
   menu += "<a onclick=\"insertTags('Γ','','');return false\" href=\"#\">Γ</a> ";

   menu += "<a onclick=\"insertTags('Δ','','');return false\" href=\"#\">Δ</a> ";
   menu += "<a onclick=\"insertTags('Ε','','');return false\" href=\"#\">Ε</a> ";
   menu += "<a onclick=\"insertTags('Έ','','');return false\" href=\"#\">Έ</a> ";
   menu += "<a onclick=\"insertTags('Ζ','','');return false\" href=\"#\">Ζ</a> ";
   menu += "<a onclick=\"insertTags('Η','','');return false\" href=\"#\">Η</a> ";
   menu += "<a onclick=\"insertTags('Ή','','');return false\" href=\"#\">Ή</a> ";
   menu += "<a onclick=\"insertTags('Θ','','');return false\" href=\"#\">Θ</a> ";
   menu += "<a onclick=\"insertTags('Ι','','');return false\" href=\"#\">Ι</a> ";
   menu += "<a onclick=\"insertTags('Ί','','');return false\" href=\"#\">Ί</a> ";

   menu += "<a onclick=\"insertTags('Κ','','');return false\" href=\"#\">Κ</a> ";
   menu += "<a onclick=\"insertTags('Λ','','');return false\" href=\"#\">Λ</a> ";
   menu += "<a onclick=\"insertTags('Μ','','');return false\" href=\"#\">Μ</a> ";
   menu += "<a onclick=\"insertTags('Ν','','');return false\" href=\"#\">Ν</a> ";
   menu += "<a onclick=\"insertTags('Ξ','','');return false\" href=\"#\">Ξ</a> ";
   menu += "<a onclick=\"insertTags('Ο','','');return false\" href=\"#\">Ο</a> ";
   menu += "<a onclick=\"insertTags('Ό','','');return false\" href=\"#\">Ό</a> ";
   menu += "<a onclick=\"insertTags('Π','','');return false\" href=\"#\">Π</a> ";
   menu += "<a onclick=\"insertTags('Ρ','','');return false\" href=\"#\">Ρ</a> ";

   menu += "<a onclick=\"insertTags('Σ','','');return false\" href=\"#\">Σ</a> ";
   menu += "<a onclick=\"insertTags('Τ','','');return false\" href=\"#\">Τ</a> ";
   menu += "<a onclick=\"insertTags('Υ','','');return false\" href=\"#\">Υ</a> ";
   menu += "<a onclick=\"insertTags('Ύ','','');return false\" href=\"#\">Ύ</a> ";
   menu += "<a onclick=\"insertTags('Φ','','');return false\" href=\"#\">Φ</a> ";
   menu += "<a onclick=\"insertTags('Χ','','');return false\" href=\"#\">Χ</a> ";
   menu += "<a onclick=\"insertTags('Ψ','','');return false\" href=\"#\">Ψ</a> ";
   menu += "<a onclick=\"insertTags('Ω','','');return false\" href=\"#\">Ω</a> ";
   menu += "<a onclick=\"insertTags('Ώ','','');return false\" href=\"#\">Ώ</a><br/>";

   menu += "<a onclick=\"insertTags('α','','');return false\" href=\"#\">α</a> ";
   menu += "<a onclick=\"insertTags('ά','','');return false\" href=\"#\">ά</a> ";
   menu += "<a onclick=\"insertTags('β','','');return false\" href=\"#\">β</a> ";
   menu += "<a onclick=\"insertTags('γ','','');return false\" href=\"#\">γ</a> ";
   menu += "<a onclick=\"insertTags('δ','','');return false\" href=\"#\">δ</a> ";
   menu += "<a onclick=\"insertTags('ε','','');return false\" href=\"#\">ε</a> ";
   menu += "<a onclick=\"insertTags('έ','','');return false\" href=\"#\">έ</a> ";
   menu += "<a onclick=\"insertTags('ζ','','');return false\" href=\"#\">ζ</a> ";
   menu += "<a onclick=\"insertTags('η','','');return false\" href=\"#\">η</a> ";

   menu += "<a onclick=\"insertTags('ή','','');return false\" href=\"#\">ή</a> ";
   menu += "<a onclick=\"insertTags('θ','','');return false\" href=\"#\">θ</a> ";
   menu += "<a onclick=\"insertTags('ι','','');return false\" href=\"#\">ι</a> ";
   menu += "<a onclick=\"insertTags('ί','','');return false\" href=\"#\">ί</a> ";
   menu += "<a onclick=\"insertTags('κ','','');return false\" href=\"#\">κ</a> ";
   menu += "<a onclick=\"insertTags('λ','','');return false\" href=\"#\">λ</a> ";
   menu += "<a onclick=\"insertTags('μ','','');return false\" href=\"#\">μ</a> ";
   menu += "<a onclick=\"insertTags('ν','','');return false\" href=\"#\">ν</a> ";
   menu += "<a onclick=\"insertTags('ξ','','');return false\" href=\"#\">ξ</a> ";

   menu += "<a onclick=\"insertTags('ο','','');return false\" href=\"#\">ο</a> ";
   menu += "<a onclick=\"insertTags('ό','','');return false\" href=\"#\">ό</a> ";
   menu += "<a onclick=\"insertTags('π','','');return false\" href=\"#\">π</a> ";
   menu += "<a onclick=\"insertTags('ρ','','');return false\" href=\"#\">ρ</a> ";
   menu += "<a onclick=\"insertTags('σ','','');return false\" href=\"#\">σ</a> ";
   menu += "<a onclick=\"insertTags('ς','','');return false\" href=\"#\">ς</a> ";
   menu += "<a onclick=\"insertTags('τ','','');return false\" href=\"#\">τ</a> ";
   menu += "<a onclick=\"insertTags('υ','','');return false\" href=\"#\">υ</a> ";
   menu += "<a onclick=\"insertTags('ύ','','');return false\" href=\"#\">ύ</a> ";

   menu += "<a onclick=\"insertTags('φ','','');return false\" href=\"#\">φ</a> ";
   menu += "<a onclick=\"insertTags('χ','','');return false\" href=\"#\">χ</a> ";
   menu += "<a onclick=\"insertTags('ψ','','');return false\" href=\"#\">ψ</a> ";
   menu += "<a onclick=\"insertTags('ω','','');return false\" href=\"#\">ω</a> ";
   menu += "<a onclick=\"insertTags('ώ','','');return false\" href=\"#\">ώ</a> ";
   menu += "</p>";

 /* TeX Schriftarten */
   menu += "<p class=\"specialbasic\" style=\"display: none;\"> ";
   menu += "<a onclick=\"insertTags('\\mathbf{','}','');return false\" href=\"#\">fett (lat.)</a> ";
   menu += "<a onclick=\"insertTags('\\boldsymbol{','}','');return false\" href=\"#\">fett (all.)</a> ";
   menu += "<a onclick=\"insertTags('\\mathit{','}','');return false\" href=\"#\">var</a> ";
   menu += "<a onclick=\"insertTags('\\mathrm{','}','');return false\" href=\"#\">unit/const</a> ";
   menu += "<a onclick=\"insertTags('\\mathit{','}','');return false\" href=\"#\">dimension</a> ";
   menu += "<a onclick=\"insertTags('\\mathfrak{','}','');return false\" href=\"#\">Fraktur</a> ";
   menu += "<a onclick=\"insertTags('\\mathcal{','}','');return false\" href=\"#\">Kalligraphisch</a> ";
   menu += "<a onclick=\"insertTags('\\mathbb{','}','');return false\" href=\"#\">Zahlenbereich</a> ";
   menu += "</p>";
 
 /* TeX Zahlenbereiche */
   menu += "<p class=\"specialbasic\" style=\"display: none;\"> ";
   menu += "<a onclick=\"insertTags('\\mathbb{F}_2','','');return false\" href=\"#\">F</a> ";
   menu += "<a onclick=\"insertTags('\\mathbb{N}','','');return false\" href=\"#\">ℕ</a> ";
   menu += "<a onclick=\"insertTags('\\mathbb{Z}','','');return false\" href=\"#\">ℤ</a> ";
   menu += "<a onclick=\"insertTags('\\mathbb{Q}','','');return false\" href=\"#\">ℚ</a> ";
   menu += "<a onclick=\"insertTags('\\mathbb{R}','','');return false\" href=\"#\">ℝ</a> ";
   menu += "<a onclick=\"insertTags('\\mathbb{C}','','');return false\" href=\"#\">ℂ</a> | ";
   menu += "<a onclick=\"insertTags('\\mathbb{H}','','');return false\" href=\"#\">ℍ</a> ";
   menu += "<a onclick=\"insertTags('\\mathbb{O}','','');return false\" href=\"#\">O</a> ";
   menu += "<a onclick=\"insertTags('\\mathbb{S}','','');return false\" href=\"#\">S</a> ";
   menu += "<a onclick=\"insertTags('\\mathbb{P}','','');return false\" href=\"#\">ℙ</a> ";
   menu += "</p>";
 
 /* TeX Griechisch */
   menu += "<p class=\"specialbasic\" style=\"display: none;\"> ";
   menu += "<a onclick=\"insertTags('\\alpha','','');return false\" href=\"#\">α</a> ";
   menu += "<a onclick=\"insertTags('\\Alpha','','');return false\" href=\"#\">Α</a> | ";
   menu += "<a onclick=\"insertTags('\\beta','','');return false\" href=\"#\">β</a> ";
   menu += "<a onclick=\"insertTags('\\Beta','','');return false\" href=\"#\">Β</a> | ";
   menu += "<a onclick=\"insertTags('\\gamma','','');return false\" href=\"#\">γ</a> ";
   menu += "<a onclick=\"insertTags('\\Gamma','','');return false\" href=\"#\">Γ</a> | ";
   menu += "<a onclick=\"insertTags('\\delta','','');return false\" href=\"#\">δ</a> ";
   menu += "<a onclick=\"insertTags('\\Delta','','');return false\" href=\"#\">Δ</a> | ";
   menu += "<a onclick=\"insertTags('\\epsilon','','');return false\" href=\"#\">ε</a> ";
   menu += "<a onclick=\"insertTags('\\varepsilon','','');return false\" href=\"#\">ε'</a> ";
   menu += "<a onclick=\"insertTags('\\Epsilon','','');return false\" href=\"#\">Ε</a> | ";
   menu += "<a onclick=\"insertTags('\\zeta','','');return false\" href=\"#\">ζ</a> ";
   menu += "<a onclick=\"insertTags('\\Zeta','','');return false\" href=\"#\">Ζ</a> | ";
   menu += "<a onclick=\"insertTags('\\eta','','');return false\" href=\"#\">η</a> ";
   menu += "<a onclick=\"insertTags('\\Eta','','');return false\" href=\"#\">Η</a> | ";
   menu += "<a onclick=\"insertTags('\\theta','','');return false\" href=\"#\">θ</a> ";
   menu += "<a onclick=\"insertTags('\\vartheta','','');return false\" href=\"#\">θ'</a> ";
   menu += "<a onclick=\"insertTags('\\Theta','','');return false\" href=\"#\">Θ</a> | ";
   menu += "<a onclick=\"insertTags('\\iota','','');return false\" href=\"#\">ι</a> ";
   menu += "<a onclick=\"insertTags('\\Iota','','');return false\" href=\"#\">Ι</a> | ";
   menu += "<a onclick=\"insertTags('\\kappa','','');return false\" href=\"#\">κ</a> ";
   menu += "<a onclick=\"insertTags('\\Kappa','','');return false\" href=\"#\">Κ</a> | ";
   menu += "<a onclick=\"insertTags('\\lambda','','');return false\" href=\"#\">λ</a> ";
   menu += "<a onclick=\"insertTags('\\Lambda','','');return false\" href=\"#\">Λ</a> | ";
   menu += "<a onclick=\"insertTags('\\mu','','');return false\" href=\"#\">μ</a> ";
   menu += "<a onclick=\"insertTags('\\Mu','','');return false\" href=\"#\">Μ</a> | ";
   menu += "<a onclick=\"insertTags('\\nu','','');return false\" href=\"#\">ν</a> ";
   menu += "<a onclick=\"insertTags('\\Nu','','');return false\" href=\"#\">Ν</a> | ";
   menu += "<a onclick=\"insertTags('\\xi','','');return false\" href=\"#\">ξ</a> ";
   menu += "<a onclick=\"insertTags('\\Xi','','');return false\" href=\"#\">Ξ</a> | ";
   menu += "<a onclick=\"insertTags('\\pi','','');return false\" href=\"#\">π</a> ";
   menu += "<a onclick=\"insertTags('\\varpi','','');return false\" href=\"#\">π'</a> ";
   menu += "<a onclick=\"insertTags('\\Pi','','');return false\" href=\"#\">Π</a> | ";
   menu += "<a onclick=\"insertTags('\\rho','','');return false\" href=\"#\">ρ</a> ";
   menu += "<a onclick=\"insertTags('\\varrho','','');return false\" href=\"#\">ρ'</a> ";
   menu += "<a onclick=\"insertTags('\\Rho','','');return false\" href=\"#\">Ρ</a> | ";
   menu += "<a onclick=\"insertTags('\\sigma','','');return false\" href=\"#\">σ</a> ";
   menu += "<a onclick=\"insertTags('\\varsigma','','');return false\" href=\"#\">σ'</a> ";
   menu += "<a onclick=\"insertTags('\\Sigma','','');return false\" href=\"#\">Σ</a> | ";
   menu += "<a onclick=\"insertTags('\\tau','','');return false\" href=\"#\">τ</a> ";
   menu += "<a onclick=\"insertTags('\\Tau','','');return false\" href=\"#\">Τ</a> | ";
   menu += "<a onclick=\"insertTags('\\upsilon','','');return false\" href=\"#\">υ</a> ";
   menu += "<a onclick=\"insertTags('\\Upsilon','','');return false\" href=\"#\">Ύ</a> | ";
   menu += "<a onclick=\"insertTags('\\phi','','');return false\" href=\"#\">φ</a> ";
   menu += "<a onclick=\"insertTags('\\varphi','','');return false\" href=\"#\">φ'</a> ";
   menu += "<a onclick=\"insertTags('\\Phi','','');return false\" href=\"#\">Φ</a> | ";
   menu += "<a onclick=\"insertTags('\\chi','','');return false\" href=\"#\">χ</a> ";
   menu += "<a onclick=\"insertTags('\\Chi','','');return false\" href=\"#\">Χ</a> | ";
   menu += "<a onclick=\"insertTags('\\psi','','');return false\" href=\"#\">ψ</a> ";
   menu += "<a onclick=\"insertTags('\\Psi','','');return false\" href=\"#\">Ψ</a> | ";
   menu += "<a onclick=\"insertTags('\\omega','','');return false\" href=\"#\">ω</a> ";
   menu += "<a onclick=\"insertTags('\\Omega','','');return false\" href=\"#\">Ω</a>";
   menu += "</p>";
 
 /* TeX Sonderzeichen */
   menu += "<p class=\"specialbasic\" style=\"display: none;\"> ";
   menu += "<a onclick=\"insertTags('\\nabla','','');return false\" href=\"#\">∇</a> ";
   menu += "<a onclick=\"insertTags('\\Delta','','');return false\" href=\"#\">Δ</a> ";
   menu += "<a onclick=\"insertTags('\\partial','','');return false\" href=\"#\">∂</a> ";
   menu += "<a onclick=\"insertTags('\\mathrm{d}','','');return false\" href=\"#\">d</a> | ";

   menu += "<a onclick=\"insertTags('{}^\\circ','','');return false\" href=\"#\">°</a> ";
   menu += "<a onclick=\"insertTags('\\displaystyle{{}^\\circ}','','');return false\" href=\"#\">° (Nenner)</a> ";
   menu += "<a onclick=\"insertTags('\\,^{\\circ}\\mathrm{C}','','');return false\" href=\"#\">°C</a> ";
   menu += "<a onclick=\"insertTags('\\varnothing','','');return false\" href=\"#\">∅ (Durchmesser)</a> ";
   menu += "<a onclick=\"insertTags('\\emptyset','','');return false\" href=\"#\">∅ (Menge)</a> ";
   menu += "<a onclick=\"insertTags('\\infty','','');return false\" href=\"#\">∞</a> ";
   menu += "</p>";
 
 /* TeX Logik und Mengen */
   menu += "<p style=\"display: inline;\" class=\"specialbasic\" id=\"Standard\"> ";
   menu += "<a onclick=\"insertTags('','','land');return false\" href=\"#\">⋀</a> ";
   menu += "<a onclick=\"insertTags('','','lor');return false\" href=\"#\">⋁</a> ";
   menu += "<a onclick=\"insertTags('','','lnot');return false\" href=\"#\">¬</a> ";
   menu += "<a onclick=\"insertTags('','','cap');return false\" href=\"#\">⋂</a> ";
   menu += "<a onclick=\"insertTags('','','cup');return false\" href=\"#\">⋃</a> ";
   menu += "<a onclick=\"insertTags('','','subset');return false\" href=\"#\">⊂</a> ";
   menu += "<a onclick=\"insertTags('','','supset');return false\" href=\"#\">⊃</a> ";
   menu += "<a onclick=\"insertTags('','','times');return false\" href=\"#\">×</a> ";
   menu += "<a onclick=\"insertTags('','','setminus');return false\" href=\"#\">∖</a> ";
   menu += "<a onclick=\"insertTags('','','forall');return false\" href=\"#\">∀</a> ";
   menu += "<a onclick=\"insertTags('','','exists');return false\" href=\"#\">∃</a> ";
   menu += "<a onclick=\"insertTags('','','nexists');return false\" href=\"#\">∄</a> ";
   menu += "<a onclick=\"insertTags('','','in');return false\" href=\"#\">∈</a> ";
   menu += "<a onclick=\"insertTags('','','notin');return false\" href=\"#\">∉</a> ";
   menu += "<a onclick=\"insertTags('','','ni');return false\" href=\"#\">∍</a> ";
   menu += "</p>";

 /* Finishing */
   menu += "</div>\n";
   menu += "</div>";
   specialchars.innerHTML = menu;
 }
 });