src/third_party/liblouis/src/tables/ukmaths.ctb

   1 # liblouis: UK Maths  Table for mathematics
   2 #
   3 #  Based on the Linux screenreader BRLTTY, copyright (C) 1999-2006 by
   4 #  The BRLTTY Team
   5 #
   6 #  Copyright (C) 2004, 2005, 2006
   7 #  ViewPlus Technologies, Inc. www.viewplus.com
   8 #  and
   9 #  JJB Software, Inc. www.jjb-software.com
  10 #  All rights reserved
  11 #
  12 #  This file is free software; you can redistribute it and/or modify it
  13 #   under the terms of the Lesser or Library GNU General Public License
  14 #  as published by the
  15 #  Free Software Foundation; either version 3, or (at your option) any
  16 #  later version.
  17 #
  18 #  This file is distributed in the hope that it will be useful, but
  19 #  WITHOUT ANY WARRANTY; without even the implied warranty of
  20 #  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  21 #  Library GNU General Public License for more details.
  22 #
  23 #  You should have received a copy of the Library GNU General Public
  24 #  License along with this program; see the file COPYING.  If not, write
  25 #  to
  26 #  the Free Software Foundation, 51 Franklin Street, Fifth Floor,
  27 #  Boston, MA 02110-1301, USA.
  28 #
  29 #  Maintained by John J. Boyer john.boyer@jjb-software.com
  30 # Updated 6-18-08 by Mike Sivill <mike.sivill@viewplus.com>
  31
  32 include ukmaths_single_cell_defs.cti
  33 include ukmaths_unicode_defs.cti
  34 # grouping definitions are character-definition rules
  35 grouping mrow \x0001\x0002 1e,2e
  36 grouping mfrac \x0003\x0004 3e,4e
  37 grouping brackets \x0005\x0006 126,345
  38
  39 # Braille indicators
  40 numsign 3456
  41 capsign 6
  42 begcaps 6-6
  43 endcaps 6-3
  44 singleletterital 4
  45 singleletterbold 4
  46
  47 # litdigit opcodes must be in this table, not the single-cell table.
  48 litdigit 0 245
  49 litdigit 1 1
  50 litdigit 2 12
  51 litdigit 3 14
  52 litdigit 4 145
  53 litdigit 5 15
  54 litdigit 6 124
  55 litdigit 7 1245
  56 litdigit 8 125
  57 litdigit 9 24
  58
  59 # No letsign but endnum for letters a-j.
  60 endnum a 56-1
  61 endnum b 56-12
  62 endnum c 56-14
  63 endnum d 56-145
  64 endnum e 56-15
  65 endnum f 56-124
  66 endnum g 56-1245
  67 endnum h 56-125
  68 endnum i 56-24
  69 endnum j 56-245
  70
  71 # Ordinary translation entries
  72 always = a-56-2356
  73 always + a-56-235
  74 always > a-135-a
  75 always < a-246-a
  76 always % 25-1234
  77 always $ 256
  78 always & 4-12346
  79 always ~ 45-156
  80 always ! 6-236
  81 prepunc " 236
  82 postpunc " 356
  83 postpunc ' 3
  84 always '' 36
  85 always ''' 36-3
  86 midnum , 3
  87 postpunc , 6-2
  88 always , 3
  89 always # 35-2345 print number sign before number
  90 always ( 126
  91 always ) 345
  92 pass2 [{mrow]@126/@345}mrow ?
  93 pass2 @126[{mrow]/}mrow@345 ?
  94 decpoint . 2
  95 always ... 3-3-3
  96 hyphen - 36
  97 postpunc . 6-256
  98 postpunc ; 6-23
  99 postpunc : 6-25
 100 postpunc ? 6-236
 101 endnum % 4-356
 102 midnum * 4-16
 103 repeated \s 0
 104 repeated \x00a0 a
 105
 106 # swap opcodes for replacement and testing.
 107 swapcd dropped 0123456789 356,2,23,25,456,26,235,2356,236,35
 108 swapdd upnum 245,1,12,14,145,15,124,1245,125,24 0,0,0,0,0,0,0,0,0,0
 109 swapdd lownum 356,2,23,25,256,26,235,2356,236,35 0,0,0,0,0,0,0,0,0,0
 110
 111 # now we start doing the real work
 112
 113 # Correction rules
 114 correct {mrow$ld1-20[}mrow] ?
 115 correct "\eb"[{mrow]/}mrow"\ee" ?
 116 context "\eb"[]$l"\ee" @56
 117 context "\eb"[]","$l"\ee" @56
 118 context []"@456-34"$d1-10}mfrac #1=1
 119 # context []"@456-34"$d1-10}mfrac #1=1
 120 context []"@346"$d1-10"@12456" #1=1
 121 context []"@16"$d1-10"@12456" #1=1
 122 # context []"@146"$d1-10 #1=1
 123 context #1=1$d1-10 #1=0%dropped
 124
 125 # exactdots opcodes for dot patterns in ukmaths.sem
 126 exactdots @126
 127 exactdots @345
 128 exactdots @123456
 129 exactdots @346
 130 exactdots @16
 131 exactdots @23456
 132 exactdots @34
 133 exactdots @456-34
 134 exactdots @12456
 135 exactdots @146
 136
 137 # Function names and abbreviations
 138 word cos 1246-14
 139 word grad 1246-1245
 140 word cosh 1246-125-14
 141 word sinh 1246-125-234
 142 word tanh 1246-125-2345
 143 word cosech 1246-125-126
 144 word coth 1246-125-1256
 145 word sech 1246-125-36
 146 word log 1246-123
 147 word sin 1246-234
 148 word tan 1246-2345
 149 word cosec 1246-126
 150 word curl 1246-146
 151 word div 1246-1456
 152 word cot 1246-1256
 153 word arccosh 1246-236-14
 154 word arcsinh 1246-236-234
 155 word arctanh 1246-236-2345
 156 word arccosech 1246-236-126
 157 word arccoth 1246-236-1256
 158 word arcsech 1246-236-36
 159 word sec 1246-36
 160 word arccos 1246-4-14
 161 word antilog 1246-4-123
 162 word arcsin 1246-4-234
 163 word arctan 1246-4-2345
 164 word arccosec 1246-4-126
 165 word arccot 1246-4-1256
 166 word arcsec 1246-4-25
 167 word colog 1246-45-123
 168
 169 # pass2 processing
 170 pass2 [@3456]%lownum1-10 ?
 171 pass2 [@456-34-3456]%lownum1-10 ?
 172
 173 # pass3 processing
 174 pass3 @346%lownum1-10[@12456] ?
 175 pass3 @16[%lownum1-10]@12456 *
 176 pass3 {mfrac[@3456%upnum1-10%lownum1-10]}mfrac *