User Tools
tla:latex
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
tla:latex [2019/09/02 16:38] jonathan |
tla:latex [2019/09/02 17:00] (current) jonathan [More Documentation] |
||
|---|---|---|---|
| Line 22: | Line 22: | ||
| This will produce ''tla.tex''. | This will produce ''tla.tex''. | ||
| + | |||
| + | ===== Convert snippets of ASCII/TLA in a TeX file to mathematical mode ===== | ||
| + | |||
| + | <code> | ||
| + | tlaintex model.tex | ||
| + | </code> | ||
| + | |||
| + | where | ||
| + | |||
| + | <code latex> | ||
| + | % model.tex | ||
| + | \documentclass[12pt]{article} | ||
| + | \usepackage{tlatex} | ||
| + | \usepackage{color} | ||
| + | \definecolor{boxshade}{gray}{.9}\setboolean{shading}{true} | ||
| + | |||
| + | \begin{document} | ||
| + | \begin{tla} | ||
| + | Action == /\ x' = x - y | ||
| + | /\ yy' = 123 | ||
| + | /\ zzz' = zzz | ||
| + | \end{tla} | ||
| + | \end{document} | ||
| + | </code> | ||
| + | |||
| + | The style file ''tlatex.sty'' must be available. The above produces a LaTeX file ''model.tex'' where the tla environment is set to mathematics. The original'' model.tex'' file is renamed ''model.old''. | ||
| + | |||
| + | ==== Style file ==== | ||
| + | |||
| + | The style file ''tlatex.sty'' is available [[:latex:sty|here]]. | ||
| + | |||
| + | ==== More Documentation ==== | ||
| + | If you are not using the JAR file, you will probably run TLATeX by typing | ||
| + | |||
| + | java tla2tex.TeX [options] fileName | ||
| + | |||
| + | where [options] is an optional list of options, and ''fileName'' is the | ||
| + | name of the input file. (If ''fileName'' does not contain an extension, | ||
| + | then the input file is ''fileName.tex''.) Running TLATeX with the -help | ||
| + | option produces a list of all options. Running it with the -info | ||
| + | option produces what you are now reading. (The fileName can be | ||
| + | omitted when using the -help or -info option.) | ||
| + | |||
| + | The running time of tla2tex.TeX is roughly proportional to the number | ||
| + | of separate `tla' environments. You can speed things up by not | ||
| + | having tla2tex.TeX reprocess `tla' environments that haven't changed | ||
| + | since the last time it was run. To do this, just change those | ||
| + | `tla' environments to `notla' environments. Similarly, you can change | ||
| + | `pcal' and `ppcal' to `nopcal' or `noppcal' environments. | ||
| + | |||
| + | Read [[https://lamport.azurewebsites.net/tla/texinfo.txt|here]] for more. | ||
tla/latex.1567442306.txt.gz · Last modified: 2019/09/02 16:38 by jonathan
Page Tools
