[isabelle] LaTeX specialised table env params vs Isabelle anti-quotations


I am preparing some slides using Isabelle, where my theory file is where the slides will come from.
When I have a tabular environment on the slide like


	\begin{tabular}{ at {}l@{}l at {}l@{}}   <----- ERROR….
		@{text "…."}


to try and save some space between the columns, I get the Isabelle error that I've got a 
	Malformed anti quotation: @{}

I guess for the tabular parameter. How could I circumvent this (LaTeX) problem and keep Isabelle happy?

Many thanks

Attachment: signature.asc
Description: Message signed with OpenPGP using GPGMail

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.