[racket-users] scribble: how to put a bar above text?
Thanks to all of you for your help. I have tried some of your suggestions. They are promising. Meanwhile I have found out that I can do the following: - Create an equation in Word - Save it as a picture - Convert it to gif - Insert it with @image Nevertheless I’ll look further into your suggestions. Thanks, Jos -- 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/5ee9fe05.1c69fb81.f0c4e.da9a%40mx.google.com.
Re: [racket-users] scribble: how to put a bar above text?
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 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: us...@racket-lang.org > Subject: Re: [racket-users] scribble: how to put a bar above text? > > Hi Jos > > MathML support via the 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] > https://polyfill.io/v3/polyfill.min.js?features=es6"</a>;> > src="<a rel="nofollow" href="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"">https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"</a>;> > > -- > 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/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 racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/873D89F5-9963-421F-B151-2485CFC38392%40gmail.com.
RE: [racket-users] scribble: how to put a bar above text?
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: us...@racket-lang.org Subject: Re: [racket-users] scribble: how to put a bar above text? Hi Jos MathML support via the 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] https://polyfill.io/v3/polyfill.min.js?features=es6"</a>;> https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"</a>;> -- 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/5ee903dd.1c69fb81.14578.f52a%40mx.google.com.
Re: [racket-users] scribble: how to put a bar above text?
Hi Jos MathML support via the 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] https://polyfill.io/v3/polyfill.min.js?features=es6"> https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"> -- 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/CAGHj7-J%3DOvCDLC%3D-b8Gf5br7%2Bn-TKwGot3HgZvRMt4Y1c5QKkA%40mail.gmail.com.
[racket-users] scribble: how to put a bar above text?
Hi, Using scribble when writing a text containing Boolean expressions it would be nice to write ‘not(A+B)’ as ‘A+B’ with a bar above it. An expression like not(not(A)+not(B)) would need bars above the A and the B as well above the whole. Is this possible? I have found no solution in the scribble docs. I have looked into some HTML tutorials too, but did not find what I want. I am an ignorant with respect to HTML. And even when I would know how to do it in HTML, I also would need to know how to transfer the tool to scribble. Thanks, Jos -- 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/5ee8bddd.1c69fb81.0a99.bd38%40mx.google.com.