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

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 th

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.

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 scenari

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 >

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 litera

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`

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

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 tryin

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 <

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 dist

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 S

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

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

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

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,

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 V

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 th

[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 "Racke