Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] LaTeX specialised table env params vs Isabelle...


view this post on Zulip Email Gateway (Aug 19 2022 at 12:07):

From: Leo Freitas <leo.freitas@newcastle.ac.uk>
Hi,

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

text{*
…..

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

…..
*}

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
Leo
signature.asc

view this post on Zulip Email Gateway (Aug 19 2022 at 12:07):

From: Makarius <makarius@sketis.net>
LaTeX happens to allow "@ {}" with that additional space.

Likewise for "{*" if that happens to be required in your TeX sources.

Makarius


Last updated: Mar 28 2024 at 12:29 UTC