Re: epsilon vs varepsilon (was Re: [racket-users] Unicode subscripts in code and scribble)

2016-03-10 Thread Robby Findler
Thanks! I've pushed those fixes too.

Robby


On Thu, Mar 10, 2016 at 5:05 PM, Max New  wrote:
> Makes sense to follow TeX.
>
> Why not make the same change for \phi, \vartheta, \varrho and \varpi ?
>
> \varsigma looks to be correct, most likely because some PL researchers
> actually use it :)
>
> -Max Stewart New
>
> On Thu, Mar 10, 2016 at 5:50 PM, Robby Findler 
> wrote:
>>
>> Jens Axel kindly tracked down this link:
>>
>>   http://tex.stackexchange.com/questions/98013/varepsilon-vs-epsilon
>>
>> and so I'm now planning to change how DrRacket treats \epsilon so that
>> it inserts ϵ instead of the "backwards 3" that it currently does.
>>
>> Please let me know if that sounds wrong to you.
>>
>> Robby
>>
>> On Thu, Mar 10, 2016 at 1:59 PM, Jens Axel Søgaard
>>  wrote:
>> > That reminds me:
>> >
>> > In DrRacket \epsilon is displayed the same way \varepsilon is.
>> >
>> > /Jens Axel
>>
>> --
>> 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.


Re: epsilon vs varepsilon (was Re: [racket-users] Unicode subscripts in code and scribble)

2016-03-10 Thread Max New
Makes sense to follow TeX.

Why not make the same change for \phi, \vartheta, \varrho and \varpi ?

\varsigma looks to be correct, most likely because some PL researchers
actually use it :)

-Max Stewart New

On Thu, Mar 10, 2016 at 5:50 PM, Robby Findler 
wrote:

> Jens Axel kindly tracked down this link:
>
>   http://tex.stackexchange.com/questions/98013/varepsilon-vs-epsilon
>
> and so I'm now planning to change how DrRacket treats \epsilon so that
> it inserts ϵ instead of the "backwards 3" that it currently does.
>
> Please let me know if that sounds wrong to you.
>
> Robby
>
> On Thu, Mar 10, 2016 at 1:59 PM, Jens Axel Søgaard
>  wrote:
> > That reminds me:
> >
> > In DrRacket \epsilon is displayed the same way \varepsilon is.
> >
> > /Jens Axel
>
> --
> 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.


epsilon vs varepsilon (was Re: [racket-users] Unicode subscripts in code and scribble)

2016-03-10 Thread Robby Findler
Jens Axel kindly tracked down this link:

  http://tex.stackexchange.com/questions/98013/varepsilon-vs-epsilon

and so I'm now planning to change how DrRacket treats \epsilon so that
it inserts ϵ instead of the "backwards 3" that it currently does.

Please let me know if that sounds wrong to you.

Robby

On Thu, Mar 10, 2016 at 1:59 PM, Jens Axel Søgaard
 wrote:
> That reminds me:
>
> In DrRacket \epsilon is displayed the same way \varepsilon is.
>
> /Jens Axel

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


Re: [racket-users] Unicode subscripts in code and scribble

2016-03-10 Thread Vincent St-Amour
Here's a prototype: https://github.com/racket/scribble/pull/33

Vincent


On Thu, 10 Mar 2016 13:28:27 -0600,
Sam Tobin-Hochstadt wrote:
> 
> On Thu, Mar 10, 2016 at 10:19 AM, Vincent St-Amour
>  wrote:
> > 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.
> 
> I think it's still tough, both because we haven't tried to avoid
> adding dependencies on new versions of the core in main-distribution
> packages, and because it takes more work to update them from a release
> installation. So extensibility seems like a good idea to me, in this
> and in other areas.
> 
> Sam
> 
> >
> > 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
> >>  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
> >>  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
> >> > >  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
> >>  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
> >>  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
> >>  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.
> >> >
> >>   

Re: [racket-users] Unicode subscripts in code and scribble

2016-03-10 Thread Jens Axel Søgaard
That reminds me:

In DrRacket \epsilon is displayed the same way \varepsilon is.

/Jens Axel


2016-03-09 23:55 GMT+01:00 Robby Findler :

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



-- 
-- 
Jens Axel Søgaard

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


Re: [racket-users] Unicode subscripts in code and scribble

2016-03-10 Thread Scott Moore
Whoops left off the mailing list...
On March 10, 2016 at 2:48:49 PM, Scott Moore (sdmo...@fas.harvard.edu) wrote:

On March 10, 2016 at 2:41:53 PM, Leif Andersen (l...@leifandersen.net) wrote:
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.) 
This isn’t defined in the library but the functionality is there:

(define (exact txt) (make-element (make-style #f '(exact-chars)) txt))

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


Re: [racket-users] Unicode subscripts in code and scribble

2016-03-10 Thread Leif Andersen
> 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
 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
>  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 
>> > 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
>> > >  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 
>> > >> 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
>> > >>>  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
>> >   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.


Re: [racket-users] Unicode subscripts in code and scribble

2016-03-10 Thread Sam Tobin-Hochstadt
On Thu, Mar 10, 2016 at 10:19 AM, Vincent St-Amour
 wrote:
> 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.

I think it's still tough, both because we haven't tried to avoid
adding dependencies on new versions of the core in main-distribution
packages, and because it takes more work to update them from a release
installation. So extensibility seems like a good idea to me, in this
and in other areas.

Sam

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

Re: [racket-users] Unicode subscripts in code and scribble

2016-03-10 Thread Vincent St-Amour
Until we come up with a better solution, could you share a list of the
characters you'd like to use (bonus points for the corresponding LaTeX
commands!), so I can add them to Scribble's list?

Vincent


On Wed, 09 Mar 2016 16:03:06 -0600,
David Van Horn 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.


Re: [racket-users] Unicode subscripts in code and scribble

2016-03-10 Thread Spencer Florence
They way I've worked around this in the past is to render the problematic
character as a Pict and then drop that Pict into the scribble document.
Doing that has some problems but it can service if you can't get the
character you want into scribble.

On Thu, Mar 10, 2016, 9:19 AM Vincent St-Amour <
stamo...@eecs.northwestern.edu> wrote:

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

Re: [racket-users] Unicode subscripts in code and scribble

2016-03-10 Thread Vincent St-Amour
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
>  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
>  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
> > >  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
>  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
>  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
>  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 

Re: [racket-users] Unicode subscripts in code and scribble

2016-03-09 Thread Robby Findler
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  > 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
> > > > 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  > 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  > 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  > 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.


Re: [racket-users] Unicode subscripts in code and scribble

2016-03-09 Thread Vincent St-Amour
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  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
> >  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  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  
> >>> 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  
>  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.


Re: [racket-users] Unicode subscripts in code and scribble

2016-03-09 Thread Robby Findler
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  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
>  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  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  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  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.


Re: [racket-users] Unicode subscripts in code and scribble

2016-03-09 Thread Leif Andersen
> 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
 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  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  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  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.


Re: [racket-users] Unicode subscripts in code and scribble

2016-03-09 Thread Robby Findler
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  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  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  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.


Re: [racket-users] Unicode subscripts in code and scribble

2016-03-09 Thread David Van Horn
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  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  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.


Re: [racket-users] Unicode subscripts in code and scribble

2016-03-09 Thread Leif Andersen
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  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.


[racket-users] Unicode subscripts in code and scribble

2016-03-09 Thread David Van Horn
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.