Hi Kelly,
The table's source is there:
https://github.com/racket/gui/blob/master/tex-table/tex-table.rkt
It doesn't look like the list is user-extensible, but you can extend it
by modifying the file.
To do so, you'd want to update the `tex-table` package to use a
from-source version (from the directory where you'd like the code to be):
raco pkg update --clone tex-table
Then, add the characters you want to the table, then run `raco setup` to
recompile the package.
You may also want to consider submitting a pull request on Github, to
merge your changes with mainline Racket. You can do this either by
cloning the `racket/gui` repoon github, then pushing your changes (if
you know git), or using Github's own browser-based editor.
Vincent
On Fri, 04 Nov 2016 20:23:05 +0100,
Kelly Smith wrote:
>
> I've been learning Racket for awhile now (it's the first language I've
> seriously pursued), and I can usually fumble together what I need for small
> projects. However, lately I've been working with Pollen, and my documents
> call for a lot of math symbols. I'm wondering if there's a reasonable way to
> extend DrRacket's `M-\` LaTeX shortcuts (e.g. `\sum` -> ∑, &c.). I have no
> experience with this kind of thing.
>
> I've investigated the keybindings, and found that `M-\` is bound to a
> function/command called "TeX Compress". I can't seem to find out anything
> more than that. I've even looked through the sources for DrRacket on GitHub,
> but no luck.
>
> I have no idea if this is a reasonable/tractable objective, but I'll gladly
> learn what I need to work on it; I'm just a little lost at the moment.
>
> --
> 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.
