> Should that table be user-extensible? Probably not. Ideally, the best thing to do would be to just fix scribble so that it actually properly compiles to latex rather than leaking it's abstractions.
Although that may be too hard to do. :( On the other hand, I'm all down for making a `literal` or `exact` scribble form that spits out the literal text into the target latex or html. (Like what Vincent seems to use in his papers, or is in my `doodle` package.) Then I could see making a user extendable table for any sequence of characters that they want to be converted to latex/html/whatever the target is. ~Leif Andersen On Wed, Mar 9, 2016 at 8:22 PM, Robby Findler <ro...@eecs.northwestern.edu> wrote: > I think any extension is one that all would want (although I am not sure) > and so maybe pull requests is a good way to extend it? > > There is the issue of conflicting imports at the latex level tho, so maybe > it should be specifiable at the document level. > > Robby > > > On Wednesday, March 9, 2016, Vincent St-Amour > <stamo...@eecs.northwestern.edu> wrote: >> >> Should that table be user-extensible? >> >> Vincent >> >> >> On Wed, 09 Mar 2016 17:11:47 -0600, >> Robby Findler wrote: >> > >> > I think that maybe you're thinking of something fancier than what's >> > there. It just takes some (small) set of well-known unicode and has >> > corresponding latex commands. Then, in the latex backend for scribble, >> > it looks up latex in that table and drops it in, if it finds it. >> > >> > Robby >> > >> > On Wed, Mar 9, 2016 at 5:09 PM, Leif Andersen <l...@leifandersen.net> >> > wrote: >> > >> Scribble has a big table mapping unicode to latex commands. Maybe it >> > > needs another entry? >> > > >> > > Woah, does that actually work? I was under the impression there were >> > > unicode characters that could combine other unicode characters. >> > > >> > > (Although I'd love to be wrong about this. :) ) >> > > >> > > ~Leif Andersen >> > > >> > > >> > > On Wed, Mar 9, 2016 at 5:55 PM, Robby Findler >> > > <ro...@eecs.northwestern.edu> wrote: >> > >> Scribble has a big table mapping unicode to latex commands. Maybe it >> > >> needs another entry? >> > >> >> > >> Robby >> > >> >> > >> >> > >> On Wed, Mar 9, 2016 at 4:07 PM, David Van Horn <dvanh...@cs.umd.edu> >> > >> wrote: >> > >>> Yes, the problem then is the code font doesn't support that >> > >>> character >> > >>> so it doesn't show up. >> > >>> >> > >>> David >> > >>> >> > >>> >> > >>> On Wed, Mar 9, 2016 at 5:05 PM, Leif Andersen >> > >>> <l...@leifandersen.net> wrote: >> > >>>> Have you tried running the outputted tex file in xetex rather than >> > >>>> pdflatex? >> > >>>> >> > >>>> ~Leif Andersen >> > >>>> >> > >>>> >> > >>>> On Wed, Mar 9, 2016 at 5:03 PM, David Van Horn >> > >>>> <dvanh...@cs.umd.edu> wrote: >> > >>>>> I have some source code I'm trying to typeset in a racketblock >> > >>>>> that >> > >>>>> uses subscript characters like ₀. This breaks when it gets to >> > >>>>> latex. >> > >>>>> Is there some workaround to generate latex friendly output? >> > >>>>> >> > >>>>> Thanks, >> > >>>>> David >> > >>>>> >> > >>>>> -- >> > >>>>> 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. >> > >>>>> For more options, visit https://groups.google.com/d/optout. >> > >>>> >> > >>>> -- >> > >>>> 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. >> > >>>> For more options, visit https://groups.google.com/d/optout. >> > >>> >> > >>> -- >> > >>> 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. >> > >>> For more options, visit https://groups.google.com/d/optout. >> > >> > -- >> > 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. >> > For more options, visit https://groups.google.com/d/optout. -- 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. For more options, visit https://groups.google.com/d/optout.
