Thu, 15 Jan 2015 15:59:08 +0100
Implement a real Private Browsing Mode condition by changing the API/ABI;
This solves Tor bug #9701, complying with disk avoidance documented in
https://www.torproject.org/projects/torbrowser/design/#disk-avoidance.
1 <html>
2 <head>
3 <title>embellished operators 1: mrow</title>
4 </head>
6 <body>
7 <div>
8 <!-- mrow whose child is embellished op -->
9 <math xmlns="http://www.w3.org/1998/Math/MathML">
10 <mover>
11 <mtext>abcdef</mtext>
12 <mrow><mo stretchy="false">¯</mo></mrow>
13 </mover>
14 </math>
15 </div>
16 </body>
17 </html>