DXR is a code search and navigation tool aimed at making sense of large projects. It supports full-text and regex searches as well as structural queries.

Line Code
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27
<html xmlns="http://www.w3.org/1999/xhtml" xmlns:math="http://www.w3.org/1998/Math/MathML">
<head>
<script>

function boom()
{
  var ms = document.createElementNS("http://www.w3.org/1998/Math/MathML", "ms");
  var textNode = document.getElementById("emptyset").firstChild;
  var mrow = document.getElementById("mrow");

  ms.appendChild(textNode); // *move* the text node from one place to another!
  mrow.appendChild(ms);
}

</script>
</head>

<body onload="boom();">

<math xmlns="http://www.w3.org/1998/Math/MathML">
<merror><emptyset id="emptyset">
  <mrow id="mrow"></mrow></emptyset></merror>
</math>
  
</body>
  
</html>