(no title)
jimhefferon | 1 year ago
Possibly you are describing how it used to be before the input encoding standard for LaTeX switched to UTF-8?
jimhefferon | 1 year ago
Possibly you are describing how it used to be before the input encoding standard for LaTeX switched to UTF-8?
enriquto|1 year ago
aragilar|1 year ago