Amir Karger wrote:
> \/, which mathed then shows as an empty square. To get a slash in math mode
> in TeX, or in mathed, you just type the slash. You don't have to backslash
> it. Is this another thing that changes in tla?
I don't know, I just started using TLA (TLA and TLA+ are specification
languages, BTW). I have several *.sty files for TLA, e.g. a
well-documented tla.sty. I will send them to you if that helps?
If I remove the critical line and read the file to lyx, most of the text
is red :-) So I wonder if it makes sense at all to write TLA files with
lyx. The least I would have to do is write an own layout file, right?
Regards
Daniel
--
PGP Key fingerprint = 3D 98 9E D2 00 B6 E0 9D 7E B9 77 23 17 E2 11 6A
http://cgi4all.alabanza.com/glasatelier/
