]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | \comment Standard Larch Shared Language (LSL) init file |
2 | ||
3 | commentSym % | |
4 | ||
5 | idChar ' | |
6 | opChar ~!#$&?@| | |
7 | singleChar ; | |
8 | ||
9 | \comment for versions of lsl before 3.1, add [ and ] to the | |
10 | \comment openSym and closeSym lists: | |
11 | openSym { \< \langle | |
12 | closeSym } \> \rangle | |
13 | selectSym . | |
14 | ||
15 | simpleId \bot \top | |
16 | ||
17 | synonym \and /\ | |
18 | synonym \or \/ | |
19 | synonym \implies => | |
20 | synonym \not not | |
21 | synonym \not ~ | |
22 | synonym \eq = | |
23 | synonym \neq ~= | |
24 | synonym \arrow -> | |
25 | synonym \marker __ | |
26 | synonym \equals == | |
27 | synonym \forall forall | |
28 | synonym \eqsep ; | |
29 | ||
30 | synonym |- \postcat | |
31 | synonym -| \pretcat | |
32 | synonym |- \vdash | |
33 | synonym -| \dashv | |
34 | synonym \leq <= | |
35 | synonym \geq >= | |
36 | synonym \cap \I | |
37 | synonym \cup \U | |
38 | synonym \diamond \rel | |
39 | synonym \sqcap \lub | |
40 | synonym \sqcup \glb | |
41 | ||
42 | synonym Bool bool | |
43 | synonym Int int |