> 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.
