да блин

[juan_gandhi]

Читаю замечательную книжку Шевченко про Хаскель; но затрахало, что там в образцах кода ни backtick, ни кавычки не нормальные аски, а какая-то пидиэфная дрянь; написал ему тикет в гитхаб, и сам попытался найти решение. У меня в книжке тоже образцы кода с дефектами в этом смысле - не те кавычки. Провел утро в поисках. Не нашел решения. Если чо, я использую pandoc, и это как бы влияет. Но вообще мир latex - это какой-то дурдом, дурдом.  

Comments

[juan_gandhi]

Шрифт не меняет кодировку.

В пидиэф попадает что-то, срендеренное энджинами. А энджины "улучшают". Видят кавычку - делают из нее "открывающую" и "закрывающую". И т.п.

[ppk_ptichkin]

В PDF есть несколько способов задать шрифты. Можно прописать таблицу с glyphs, можно сделать ссылку на стандартные шрифты и т.д. Я, правда, в PDF spec уже полгода не был. Если там используется сраный ghostscript, то скорее всего там шрифты прописаны таблицей с глифами, и тады ой.

Если еще не, и не лень, скачайте pdfbox, и посмотрите на шрифты, они, емнип, в resources.

[juan_gandhi]

Дело-то не в глифах, а в кодировке. Когда мы копипастим из пидиэфа, мы же не глифы вытаскиваем, а уникод.

[sab123]

Ну так значит просто что нужно правильно форматировать, чтоб не улучшали. В Латексе точно должен быть формат для компьютерного кода.

[juan_gandhi]

Помечтаем вместе.

[math_mommy]

Я пользовала verbose, мне хватало. Пандок не прикладывала, обошлась дивиайем.

[alexott]

а что мечтать? в пакете listings это контролируется, хочешь красивые кавычки, хочешь правильные...

[juan_gandhi]

Не получается пока что. Как конкретно? Вот у меня пандок, вот я включаю listings. И чо, и чо?

[alexott]

Из документации: upquote=⟨true|false⟩ false determines whether the left and right quote are printed ‘’ or `'. This key requires the textcomp package if true.

\documentclass{article}
\usepackage{listings}
\usepackage{textcomp}

\begin{document}
\begin{lstlisting}[language=Python,upquote=true]
print('Hello world!')
\end{lstlisting}

[anonim_legion]

PDF вообще зло. В отличии от него, epub и масштабируется на любые экраны, и может хранить в себе что угодно.