File: dictionary-local.xml

package info (click to toggle)
abiword 3.0.7~dfsg-4
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 64,700 kB
  • sloc: cpp: 477,933; ansic: 16,754; makefile: 5,834; xml: 3,993; yacc: 1,818; lex: 1,104; perl: 812; python: 413; php: 183; sh: 169
file content (22 lines) | stat: -rw-r--r-- 1,276 bytes parent folder | download | duplicates (18) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
 
<dictionary>
 <operator name="&#x2032;" form="infix" stretchy="false" lspace="0em" rspace="0em"/> <!-- prime -->
 <operator name="&#x2033;" form="infix" stretchy="false" lspace="0em" rspace="0em"/> <!-- Prime -->

 <operator name="&#x2212;" form="prefix" lspace="0em" rspace="veryverythinmathspace"/> <!-- minus -->
 <operator name="&#x2212;" form="infix" lspace="mediummathspace" rspace="mediummathspace"/>

 <!-- the following, IMHO, is the real overline char -->
 <operator name="&#x0305;" form="infix" stretchy="true" lspace="0em" rspace="0em" accent="false"/>

 <operator name="/" form="infix" stretchy="false" lspace="veryverythinmathspace" rspace="veryverythinmathspace"/>
 
 <operator name="&#x221a;" form="prefix" stretchy="false" symmetric="false"/> <!-- Sqrt -->

 <operator name="&#x2146;" form="prefix" lspace="0em" rspace="0em"/> <!-- dd -->
 <operator name="&#x2145;" form="prefix" lspace="0em" rspace="0em"/> <!-- DD -->
 <operator name="&#x2022;" form="prefix" lspace="0em" rspace="0em"/> <!-- PartialD -->

 <!-- || is stretchy -->
 <operator name="&#x2225;" form="infix" stretchy="true" lspace="thickmathspace" rspace="thickmathspace"/>
 <operator name="&#x2223;" form="infix" stretchy="true" lspace="thickmathspace" rspace="thickmathspace"/>
</dictionary>