experimenting

davidcok · Jul 1, 2020 · 1384734 · 1384734
1 parent e9d6f6b
commit 1384734
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/index.html b/index.html
@@ -19,7 +19,7 @@
 <body>
 <h1>David R. Cok - Consulting and scientific activities</h1>
 
-Trial: $ a \ll b $ or \( a \ll b \) or $$ a \ll \pi $$
+Trial: $ a \ll b $ or \( a \ll b \) or $$ a \ll \pi $$ or \[ a \ll \pi \]
 
 Link: <a href="temp/DafnyRef">Ref</a>