FYI: As of Windows 10, you can install a full Linux distro in/on Windows. Here are the instructions:
https://docs.microsoft.com/en-us/windows/wsl/install-win10 > On Jun 16, 2020, at 11:39 AM, Jos Koot <[email protected]> wrote: > > Hi, > Thanks for your prompt reply. > I’ll first look into Mathjax. It’s on github, so I suppose I can download it > without charges. > Using head-extra seems straight forward, but I never used it before. I’ll see > what happens. > I hope it works with the scribble HTML button in DrRacket, for it seems I do > not have the required software to use the scribble PDF button. (I tried to > download the required software, but it did not work. May be windows 10 poses > a problem (well, it always does). It would be nice to have Unix as a > subsystem within windows, but I don’t know whether or not that is possible.) > Thanks again, Jos > > > From: Stephen De Gabrielle > Sent: 16 June 2020 19:02 > To: Jos Koot > Cc: [email protected] > Subject: Re: [racket-users] scribble: how to put a bar above text? > > Hi Jos > > MathML support via the <math> tag is not good. > > I suspect the best option is to use Mathjax > https://www.mathjax.org/#gettingstarted > > I think you use `head-extra`[1] to add the required script tags[2] to your > file. (not done this myself though so I'm not sure how) > > [1] > https://docs.racket-lang.org/scribble/core.html#%28def._%28%28lib._scribble%2Fhtml-properties..rkt%29._head-extra%29%29 > > [2] > <script src="https://polyfill.io/v3/polyfill.min.js?features=es6";></script> > <script id="MathJax-script" async > src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js";></script> > > -- > 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 [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-users/5ee903dd.1c69fb81.14578.f52a%40mx.google.com. -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/873D89F5-9963-421F-B151-2485CFC38392%40gmail.com.
