1. 1
2. 2
3. 3
4. 4
5. 5
6. 6
7. 7
8. 8
9. 9
10. 10
11. 11
12. 12
13. 13
14. 14
15. 15
16. 16
17. 17

import ProofWidgets.Component.HtmlDisplay

open scoped ProofWidgets.Jsx

-- KaTeX supports CD but Mathjax doesn't sad
open ProofWidgets in
#html <MarkdownDisplay contents={"
  ## Hello, Markdown
  We have **bold text**, _italic text_, `example : True := by trivial`,
  and $3×19 = \\int\\limits_0^{57}1~dx$.

  $$\\begin{CD}
  S @>j>> T\\
  @VVV  @VV
  I @= p
  \\end{CD}$$
"} />