
Обработайте следующее с помощью pdftex
. Символ -
недоступен для поиска:
\font\f=cmtex10 \f
-
\bye
Сравните со cmtt10
шрифтом:
\tt
-
\bye
Это фича или ошибка?
Будет ли следующий код в файле форматирования правильным решением этой проблемы?
% \input glyphtounicode
\pdfgentounicode=1
\everyjob=\expandafter{\the\everyjob
\pdfglyphtounicode{minus}{002D}}
Необходимо ли использовать "\input glyphtounicode"?
РЕДАКТИРОВАТЬ
Согласно информации наэтотстраница, cmtex должен иметь те же параметры, что и cmtt:
Расширенный шрифт ASCII cmtex10 имеет параметры cmtt10 ...
Как мне исправить это в шрифтах cmtex в TeX Live?
решение1
Это слишком длинно для комментария, но не для ответа:
Мне удалось воспроизвести проблему с помощью следующего входного файла
\font\f=cmtex10 \f
cmtex10: -
\tt cmtt10: -
\bye
И следующий вывод терминала:
This is pdfTeX, Version 3.1415926-2.5-1.40.14 (TeX Live 2013/Debian)
restricted \write18 enabled.
entering extended mode
(./test.tex [1{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] )</usr/share
/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtex10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb>
Output written on test.pdf (1 page, 26129 bytes).
Transcript written on test.log.
и проверка автоматического поиска с помощью evince
. Функция поиска находит только дефис cmtt10.