On Tue, Jul 16, 2019 at 03:30:37PM +0200, Jens Axel Søgaard wrote: > Den man. 15. jul. 2019 kl. 23.38 skrev Hendrik Boom <hend...@topoi.pooq.com > >: > > > (1) How does scribble handle mathematical notation? Presumably there's a > > hack > > for when I'm generating TeX, but is there anything reasonable when > > generating > > HTML? Mathjax is somewhat tolerable, but mathML would be nice. > > > > The package scribble-math provides easy access to Mathjax and KaTex. > > https://docs.racket-lang.org/scribble-math/index.html > > There is also a way to write figures with Asymptote (which only compiles > the Asymptote > snippets, when changes has been made). > > > > (2) How can I produce category-theoretical diagrams, such as the one on > > top of > > page 29 in section 3.7 in the pdf file > > https://www.logicmatters.net/resources/pdfs/GentleIntro.pdf > > Oh yes, category theorists also use different shapes of arrow > > heads and tails just to challenge us computer people. > > > > It's hard to compete with TikZ, but I am currently working on extending > MetaPict with > nodes and edges ala TikZ. The diagram in the example could be drawn > with something like: > > (def A (text-node "A")) > (def B (text-node "B" #:right-of A)) > (def C (text-node "C" #:below B)) > (def D (text-node "D" #:right-of C)) > (draw A B C D > (edge A B #:label "f") > (edge A C #:label "g ∘ f") > (edge B C #:label "g") > (edge B D #:label "h ∘ g") > (edge C D #:label "h"))
This looks potantially very useful. > > I'll send you an email, when the new code is in a reasonable state. I'd be happy to look at the code even *before* it's ready for use. (I could probably learn something fom it.) I hope it can be used to produce output for both HTML and TeX. Will TeX expessions wourk in the text-nodes and labels? -- hendrik > > /Jens Axel -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/20190728030543.cxcglawjbudvrqbw%40topoi.pooq.com.
