Davide P. Cervone c81008858d Remap U+2016 to U+2225 in normal and bold TeX fonts, now that \| produces U+2016, and this isn't in MAIN font. Resolves issue #1610.		2016-09-02 13:30:04 -04:00
..
element/mml	Update versions and copyrights	2016-08-31 11:24:33 -04:00
input	Looks like the global variable i was removed, so no need for this line any more.	2016-08-31 11:40:59 -04:00
output	Remap U+2016 to U+2225 in normal and bold TeX fonts, now that \| produces U+2016, and this isn't in MAIN font. Resolves issue #1610.	2016-09-02 13:30:04 -04:00