Davide P. Cervone 2e59f03f69 Add stretchy equal sign so that it will load the extra data file, and fix a problem with right arrow from bar in the TeX fonts		2011-09-18 21:28:31 -04:00
..
STIX	Add stretchy equal sign so that it will load the extra data file, and fix a problem with right arrow from bar in the TeX fonts	2011-09-18 21:28:31 -04:00
TeX	Add stretchy equal sign so that it will load the extra data file, and fix a problem with right arrow from bar in the TeX fonts	2011-09-18 21:28:31 -04:00