lib/lslinit.lsi

   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