! Ошибка LaTeX: Файл `l3backend-pdfmode.def' не найден (в строке)

2024-6-17 • tag-icon

Я изменил некоторые детали в тексте файла и теперь получаю эту ошибку. Я уже установил соответствующий пакет и ничего ... :(

Ошибка возникает в строке ниже:

\item $p \to q \,\vdash\, (p \to q) \, \vee \sim r $

Полный код:

Связанный контент