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.
