From 036c60b91a4523df7ff876e846a220814b2700eb Mon Sep 17 00:00:00 2001 From: HOS Date: Wed, 23 Nov 2022 16:24:44 +0100 Subject: [PATCH] In order to support search and copying of ligatures. Closes #3286 It may be that we need to install additional packages on the docker-image (cmap and one more). It seems we don't use virtual fonts so the more complicated solution isn't needed. Note that an alternative would be to use mmap, which also adds math-handling. It has the nice benefit that symbols like \in and \bigcup are automatically handled by copy-paste. However, since it doesn't handle fractions it seems unclear if it is worth it. --- MLS.tex | 1 + 1 file changed, 1 insertion(+) diff --git a/MLS.tex b/MLS.tex index 7a666e4bb..40fc45559 100644 --- a/MLS.tex +++ b/MLS.tex @@ -1,4 +1,5 @@ \documentclass[10pt,a4paper]{report} +\usepackage{cmap} \NeedsTeXFormat{LaTeX2e} \usepackage[utf8]{inputenc}