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 include litdigits6Dots.uti
  49
  50 # No letsign but endnum for letters a-j.
  51 endnum a 56-1
  52 endnum b 56-12
  53 endnum c 56-14
  54 endnum d 56-145
  55 endnum e 56-15
  56 endnum f 56-124
  57 endnum g 56-1245
  58 endnum h 56-125
  59 endnum i 56-24
  60 endnum j 56-245
  61
  62 # Ordinary translation entries
  63 always / 456-34
  64 always = a-56-2356
  65 always + a-56-235
  66 always > a-135-a
  67 always < a-246-a
  68 always % 25-1234
  69 always $ 256
  70 always & 4-12346
  71 always ~ 45-156
  72 always ! 6-236
  73 prepunc " 236
  74 postpunc " 356
  75 postpunc ' 3
  76 always '' 36
  77 always ''' 36-3
  78 midnum , 3
  79 postpunc , 6-2
  80 always , 3
  81 always # 35-2345 print number sign before number
  82 always ( 126
  83 always ) 345
  84 pass2 [{mrow]@126/@345}mrow ?
  85 pass2 @126[{mrow]/}mrow@345 ?
  86 decpoint . 2
  87 always ... 3-3-3
  88 hyphen - 36
  89 postpunc . 6-256
  90 postpunc ; 6-23
  91 postpunc : 6-25
  92 postpunc ? 6-236
  93 endnum % 4-356
  94 midnum * 4-16
  95 repeated \s 0
  96 repeated \x00a0 a
  97
  98 # swap opcodes for replacement and testing.
  99 swapcd dropped 0123456789 356,2,23,25,256,26,235,2356,236,35
 100 swapdd upnum 245,1,12,14,145,15,124,1245,125,24 0,0,0,0,0,0,0,0,0,0
 101 swapdd lownum 356,2,23,25,256,26,235,2356,236,35 0,0,0,0,0,0,0,0,0,0
 102
 103 # now we start doing the real work
 104
 105 # Correction rules
 106 correct {mrow$ld1-20[}mrow] ?
 107 correct "\eb"[{mrow]/}mrow"\ee" ?
 108 context "\eb"[]$l"\ee" @56
 109 context "\eb"[]","$l"\ee" @56
 110 context []"@456-34"$d1-10}mfrac #1=1
 111 # context []"@456-34"$d1-10}mfrac #1=1
 112 context []"@346"$d1-10"@12456" #1=1
 113 context []"@16"$d1-10"@12456" #1=1
 114 # context []"@146"$d1-10 #1=1
 115 context #1=1$d1-10 #1=0%dropped
 116
 117 # exactdots opcodes for dot patterns in ukmaths.sem
 118 exactdots @126
 119 exactdots @345
 120 exactdots @123456
 121 exactdots @346
 122 exactdots @16
 123 exactdots @23456
 124 exactdots @34
 125 exactdots @456-34
 126 exactdots @12456
 127 exactdots @146
 128
 129 # Function names and abbreviations
 130 word cos 1246-14
 131 word grad 1246-1245
 132 word cosh 1246-125-14
 133 word sinh 1246-125-234
 134 word tanh 1246-125-2345
 135 word cosech 1246-125-126
 136 word coth 1246-125-1256
 137 word sech 1246-125-36
 138 word log 1246-123
 139 word sin 1246-234
 140 word tan 1246-2345
 141 word cosec 1246-126
 142 word curl 1246-146
 143 word div 1246-1456
 144 word cot 1246-1256
 145 word arccosh 1246-236-14
 146 word arcsinh 1246-236-234
 147 word arctanh 1246-236-2345
 148 word arccosech 1246-236-126
 149 word arccoth 1246-236-1256
 150 word arcsech 1246-236-36
 151 word sec 1246-36
 152 word arccos 1246-4-14
 153 word antilog 1246-4-123
 154 word arcsin 1246-4-234
 155 word arctan 1246-4-2345
 156 word arccosec 1246-4-126
 157 word arccot 1246-4-1256
 158 word arcsec 1246-4-25
 159 word colog 1246-45-123
 160
 161 # pass2 processing
 162 pass2 [@3456]%lownum1-10 ?
 163 pass2 [@456-34-3456]%lownum1-10 ?
 164
 165 # pass3 processing
 166 pass3 @346%lownum1-10[@12456] ?
 167 pass3 @16[%lownum1-10]@12456 *
 168 pass3 {mfrac[@3456%upnum1-10%lownum1-10]}mfrac *