]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | \comment Standard Larch C Interface Language (LCL) init file |
2 | ||
3 | commentSym // | |
4 | ||
5 | opChar ~!#$&?@| | |
6 | ||
7 | openSym \< \langle | |
8 | closeSym \> \rangle | |
9 | selectSym . | |
10 | ||
11 | simpleId \bot \top | |
12 | ||
13 | synonym int Int | |
14 | synonym double float | |
15 | ||
16 | synonym \and /\ | |
17 | synonym \or \/ | |
18 | synonym \implies => | |
19 | synonym \marker __ | |
20 | synonym = == | |
21 | synonym \neq != | |
22 | synonym \not ! | |
23 | synonym \not not | |
24 | synonym \not ~ | |
25 | synonym \pre ^ | |
26 | synonym \post ' | |
27 | synonym \arrow -> | |
28 | synonym \arrow \ra | |
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 |