[Agda] Agda pragmas are rendered incorrectly in lhs2tex

[Andrés Sicard-Ramírez]

Hi,

Andreas reported that lhs2tex render a pragma like

{-# NO_TERMINATION_CHECK #-}

in math mode, i.e. interpreting _ as subscript

(see https://github.com/kosmikus/lhs2tex/issues/18 )

Anyone know a solution for this issue?

Thanks,

-- 
Andrés