home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Chip 2011 November
/
CHIP_2011_11.iso
/
Programy
/
Narzedzia
/
AbiWord
/
abiword-setup-2.8.6.exe
/
math
/
dictionary-local.xml
< prev
next >
Wrap
Text File
|
2009-10-29
|
1KB
|
23 lines
<dictionary>
<operator name="′" form="infix" stretchy="false" lspace="0em" rspace="0em"/> <!-- prime -->
<operator name="″" form="infix" stretchy="false" lspace="0em" rspace="0em"/> <!-- Prime -->
<operator name="−" form="prefix" lspace="0em" rspace="veryverythinmathspace"/> <!-- minus -->
<operator name="−" form="infix" lspace="mediummathspace" rspace="mediummathspace"/>
<!-- the following, IMHO, is the real overline char -->
<operator name="̅" form="infix" stretchy="true" lspace="0em" rspace="0em" accent="false"/>
<operator name="/" form="infix" stretchy="false" lspace="veryverythinmathspace" rspace="veryverythinmathspace"/>
<operator name="√" form="prefix" stretchy="false" symmetric="false"/> <!-- Sqrt -->
<operator name="ⅆ" form="prefix" lspace="0em" rspace="0em"/> <!-- dd -->
<operator name="ⅅ" form="prefix" lspace="0em" rspace="0em"/> <!-- DD -->
<operator name="•" form="prefix" lspace="0em" rspace="0em"/> <!-- PartialD -->
<!-- || is stretchy -->
<operator name="∥" form="infix" stretchy="true" lspace="thickmathspace" rspace="thickmathspace"/>
<operator name="∣" form="infix" stretchy="true" lspace="thickmathspace" rspace="thickmathspace"/>
</dictionary>