[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