Something things in scribble have a `#:style` argument. And most things in scribble can be contained inside a `nested` or `elem`, to which you could apply your custom #:style. You can use this as a hook to a custom CSS file, where you could maybe use "text-decoration: overline;" if that looks good to you. (Although if you anticipate needing more math typesetting capabilities, HTML+CSS will probably fail you. Mathjax sounds good.)
Basically, if you can hand-write HTML that looks good to you, you can probably get Scribble to do what you want. The relevant reading, I believe, is "styles" and `make-css-addition`, starting here: https://docs.racket-lang.org/scribble/config.html Or, if you want to see a real example, I just did one: https://docs.racket-lang.org/plisqin/Refactoring_Recipes.html This uses a custom "PGreen" CSS class. You might be able to see how it all gets wired up by looking at these files: https://github.com/default-kramer/plisqin/search?q=PGreen&unscoped_q=PGreen Hope this helps! But there no way to explain this with a little 10-line example, unfortunately. On Tuesday, June 16, 2020 at 7:41:08 AM UTC-5, jos.koot wrote: > > > > 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/9fa457fc-3f5a-4277-8ca8-2841d7a7b6bdo%40googlegroups.com.
