'''☆ The MathJax formatter is currently making hash of the text below. ☆'''<br>
+
'''☆ The MathJax formatter is currently having problems rendering the text below. ☆'''<br>
−
'''☆ Please see the InterSciWiki copy at [http://intersci.ss.uci.edu/wiki/index.php/Differential_Logic_:_Sketch_2 Differential Logic : Sketch 2]. ☆'''
+
'''☆ Meanwhile, please see the InterSciWiki copy at [http://intersci.ss.uci.edu/wiki/index.php/Differential_Logic_:_Sketch_2 Differential Logic : Sketch 2]. ☆'''