Hi all,

I'm working on a set of lecture notes in Scribble, and the code blocks
contain identifiers that are Greek letters (namely, capital gamma and
lowercase rho). I'd like to render a pretty PDF as well as HTML output.
In the resulting LaTeX, however, the code includes things like
\RktSym{$\lambda$} and \RktVar{$\Gamma$}, which causes these
identifiers to be displayed using the math font instead of the
monospace code font, causing them to stick out like a sore thumb. I've
tested it by manually editing the file to put the Unicode names back
in, and the PDF looks fine coming out of both XeLaTeX and LuaLaTeX. 

I can certainly rig up a hacky Makefile to postprocess the output a
bit, but it would be nice to have a more elegant solution. Is there a
better way to configure the Unicode replacement?

Relatedly, I'd like to customize the TeX monospace font to one that I
happen to know contains lots of Unicode, and that I like the looks of.
As far as I can tell, declaring a TeX prefix at the command line will
blow away all of scribble/manual, while I just want to insert 2 lines.
The best I've been able to do so far is to add:

@(require scribble/core
          scribble/html-properties
          scribble/latex-properties)

@(define mycode
   (make-style "mycode"
               (list (make-tex-addition "mycode.tex"))))

to the top of the main document that includes all the sections, and
then 

@elem[#:style mycode]{}

somewhere to get the style included. mycode.tex contains:

\usepackage{fontspec}
\setmonofont{PragmataPro}
\newcommand*{\mycode}[1]{}

I'm not particularly concerned about compatibility with old-school
pdflatex here.

Is there a more elegant way to cause some LaTeX code to appear in the
preamble?

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.

Reply via email to