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 > <javascript:;>> 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 <javascript:;>> 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 > <javascript:;>> 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 > <javascript:;>> 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 > <javascript:;>> 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 <javascript:;>. > > >>>>> 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 <javascript:;>. > > >>>> 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 <javascript:;>. > > >>> 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 <javascript:;>. > > 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.
