[Agda] beamer \setbeamercolor{math text} destroys agda --latex
colors for some characters
Stevan Andjelkovic
stevan.andjelkovic at strath.ac.uk
Fri May 16 14:12:40 CEST 2014
On Thu, May 15, 2014 at 09:15:04PM +0200, Andreas Abel wrote:
> This concerns the Agda LaTeX backend in connection with beamer.
>
> Here is a funny effect: If one sets the color for "math text", then
> the backticks (\') in identifers are not colors correctly (like
> according to the AgdaBound or AgdaModule schema), but just in (I
> guess) the "math text" color.
If you use xelatex (which was designed to handle unicode) instead it
seems to work fine.
You'll need to change document class:
\documentclass[xetex, mathserif, serif]{beamer}
and possibly change font as well, see the wiki for details:
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.LiterateAgda
Cheers,
SA.
More information about the Agda
mailing list