I agree, any extension anyone makes should make it into scribble itself. The scenario I'm concerned about is: user needs an extra character, but can't update scribble. Or updating scribble would require updating the rest of Racket, which may not be what the user wants.
I guess with the split distribution it's less likely to be a problem, though. Vincent On Wed, 09 Mar 2016 19:22:05 -0600, Robby Findler 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. -- 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.
