lib/lclinit.lci

   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