[Перевод] Как я пишу конспекты по математике на LaTeX в Vim

Некоторое время назад на Quora я отвечал на вопрос: как успевать записывать за лектором конспект по математике на LaTeX. Там я объяснил свой рабочий процесс по конспектированию в LaTeX с помощью Vim и Inkscape (для рисунков). Но с тех пор многое изменилось, так что я хочу опубликовать несколько постов в блоге с описанием нового процесса. Это первая из статей.

Я начал использовать LaTeX для конспектирования во втором семестре курса математики, и с тех пор написал более 1700 страниц. Вот несколько примеров, как выглядит конспект:

9b26a1c4dcac70227b229935ae06599d.png
9e36dccef8c096640212a3755d9ef2ec.png

79376003910994dc579e0ccf3da4f690.png

Эти конспекты, включая рисунки, делаются прямо на лекции и не редактируются впоследствии. Чтобы эффективно писать конспекты в LaTeX, должны соблюдаться четыре правила:

  • Запись текста и формул в LaTeX должна быть такой же быстрым, как у лектора, пишущего на доске: задержка недопустима.
  • Рисование иллюстраций должно быть почти таким же быстрым, как у лектора.
  • Управление заметками, то есть добавление заметки, компоновка всех заметок, последних двух лекций, поиск в заметках и т. д., должно проходить легко и быстро.
  • Должно быть возможно аннотирование pdf-документов с помощью LaTeX, если я хочу написать заметку вместе с pdf-документом.


Эта статья посвящена первому пункту: конспектирование на LaTeX.
Для записи текста и математических формул на LaTeX я использую Vim. Это мощный текстовый редактор общего назначения, весьма расширяемый. Я использую его для написания кода, LaTeX, текста Markdown… в общего, любых текстов. У него довольно крутая кривая обучения, но если вы освоили базу, уже трудно вернуться к редактору без привычных горячих клавиш. Вот как выглядит мой экран, когда я редактирую документ LaTeX:

eb5999261b4ba963fd49f999477731eb.png

Слева Vim, а справа — программа Zathura для просмотра PDF, которая тоже поддерживает сочетания клавиш в стиле Vim. Я работаю в Ubuntu с оконным менеджером bspwm. В качестве плагина LaTeX установлен vimtex. Он обеспечивает подсветку синтаксиса, оглавление, synctex и т. д. С помощью vim-plug я настроил его следующим образом:

Plug 'lervag/vimtex'
let g:tex_flavor='latex'
let g:vimtex_view_method='zathura'
let g:vimtex_quickfix_mode=0
set conceallevel=1
let g:tex_conceal='abdmg'

Последние две строки настраивают маскировку. Это функция, в которой код LaTeX заменяется или становится невидимым, когда курсор находится не в этой строке. Если спрятать \ [, \], $, то они не так бросаются в глаза, что даёт лучший обзор документа. Эта функция также заменяет \bigcap на , \in на  и т. д., как показано на анимации:

d362e0b837be308b0f8897482a331ec6.gif

С такой настройкой можно добиться поставленной задачи: писать на LaTeX так же быстро, как пишет лектор на доске. Здесь в игру вступают сниппеты.


Что такое сниппет?


Сниппет — это короткий фрагмент текста для многоразового использования, который вызывается другим текстом. Например, при наборе sign и нажатии Tab, слово sign превращается в подпись:

5ab28b1ad6114b68f4ce459d4f89eeae.gif

Сниппеты могут быть динамическими: когда я набираю today и нажимаю Tab, слово today заменяется текущей датой, а box-Tab становится полем, которое автоматически увеличивается в размере.

1b6301a6561d104b4bc79654cb75470d.gif

8b7caefc472eae0941f41365d16e8d2d.gif

Вы даже можете использовать один сниппет внутри другого:

cdd1fded48947d163c2e5e6b974cfec0.gif

Создание сниппетов с помощью UltiSnips


Для управления сниппетами я использую плагин UltiSnips. Вот его конфигурация:

Plug 'sirver/ultisnips'
let g:UltiSnipsExpandTrigger = ''
let g:UltiSnipsJumpForwardTrigger = ''
let g:UltiSnipsJumpBackwardTrigger = ''


Код для сниппета sign:

snippet sign "Signature"
Yours sincerely,

Gilles Castel
endsnippet


Для динамических фрагментов можете поместить код между обратными кавычками ``, этот код будет запущен при расширении сниппета. Здесь я использовал bash для форматирования текущей даты: date + %F.

snippet today "Date"
`date +%F`
endsnippet


Внутри блока `!p ... ` можно писать на Питоне. Посмотрите на код для сниппета box:

snippet box "Box"
`!p snip.rv = '┌' + '─' * (len(t[1]) + 2) + '┐'`
│ $1 │
`!p snip.rv = '└' + '─' * (len(t[1]) + 2) + '┘'`
$0
endsnippet


Вместо этого кода в документ будет вставлено значение переменной snip.rv. Внутри блоков у вас есть доступ к текущему состоянию сниппета, например, t[1] соответствует месту первой табуляции, fn текущему имени файла и т. д.
Сниппеты значительно ускоряют работу, особенно некоторые из более сложных сниппетов. Начнём с самых простых.

Окружение


Чтобы вставить окружение, достаточно ввести beg в начале строки. Затем имя окружения, которое отражается в команде \end{}. Нажатие Tab помещает курсор внутрь.

d5ed641a9cb568d13dd56d98fec6376b.gif

Код следующий:

snippet beg "begin{} / end{}" bA
\begin{$1}
        $0
\end{$1}
endsnippet


Символ b означает, что такой сниппет работает только в начале строки, A означает автоматическое расширение, то есть не нужно нажимать Tab. Места табуляции, куда осуществляется переход по нажатию Tab и Shift+Tab, обозначены как $1, $2, … и последнее обозначено $0.

Встроенные и отображаемые формулы


Два самых часто используемых сниппета — mk и dm, которые запускают математический режим. Первый для встроенных формул, второй для отображаемых.

12a16b6a90c4d85a887c7cde0f18bb8c.gif

Сниппет для формул «умный»: он знает, когда вставлять пробел после знака доллара. Когда я начинаю вводить слово непосредственно за закрывающим $, он добавляет пробел. Но если я набираю другой символ, то он не добавляет пробел, как в случае '$p$-value'.

1172a1f556fd36b42f7c3642b3952e2c.gif

Код этого сниппета:

snippet mk "Math" wA
$${1}$`!p
if t[2] and t[2][0] not in [',', '.', '?', '-', ' ']:
    snip.rv = ' '
else:
    snip.rv = ''
`$2
endsnippet


W в конце первой строки означает, что сниппет расширяется только на границах слов. Поэтому, например, hellomk не сработает, а hello mk сработает.

Сниппет для отображаемых формул более простой, но тоже довольно удобный. Он заставляет всегда заканчивать уравнения точкой.

a682e97365ecfe19fe0c5bc08bacfec6.gif



Подстрочные и надстрочные знаки


Еще один полезный сниппет — для индексов. Он изменяет a1 на a_1 и a_12 на a_{12}.

f26633cb822c6b52d346dfbba6e1a1bd.gif

Код этого сниппета в качестве триггера использует регулярное выражение. Он расширяет фрагмент, когда вы вводите символ, за которым следует цифра, закодированная как [A-Za-z]\d, или символ, за которым следуют _ и две цифры: [A-Za-z]_\d\d.

snippet '([A-Za-z])(\d)' "auto subscript" wrA
`!p snip.rv = match.group(1)`_`!p snip.rv = match.group(2)`
endsnippet

snippet '([A-Za-z])_(\d\d)' "auto subscript2" wrA
`!p snip.rv = match.group(1)`_{`!p snip.rv = match.group(2)`}
endsnippet


Когда вы объединяете части регулярного выражения в группу, используя круглые скобки, например, (\d\d), то можете использовать их в расширении сниппета через match.group(i) в Python.

Для надстрочных символов я использую td, который превращается в ^{}. Хотя для самых распространённых (квадрат, куб и несколько других) предназначены отдельные сниппеты, такие как sr, cb и comp.

da855cd9e67c48f508fab5ddc8c877fe.gif

snippet sr "^2" iA
^2
endsnippet

snippet cb "^3" iA
^3
endsnippet

snippet compl "complement" iA
^{c}
endsnippet

snippet td "superscript" iA
^{$1}$0
endsnippet


Дроби


Один из самых удобных сниппетов работает с дробями. Он делает следующие замены:

// → \frac{}{}
3/ → \frac{3}{}
4\pi^2/ → \frac{4\pi^2}{}
(1 + 2 + 3)/ → \frac{1 + 2 + 3}{}
(1+(2+3)/) → (1 + \frac{2+3}{})
(1 + (2+3))/ → \frac{1 + (2+3)}{}

3f83f1bdc3078aa16382e80a276f199f.gif

Для первого простой код:

snippet // "Fraction" iA
\\frac{$1}{$2}$0
endsnippet


Вторая и третья замены происходят с помощью регулярных выражений, соответствующих выражениям 3/, 4ac/, 6\pi^2/, a_2/ и т. д.

snippet '((\d+)|(\d*)(\\)?([A-Za-z]+)((\^|_)(\{\d+\}|\d))*)/' "Fraction" wrA
\\frac{`!p snip.rv = match.group(1)`}{$1}$0
endsnippet


Как видите, регулярные выражения могут стать весьма длинными, но вот диаграмма, которая должна всё объяснить:

908df5ec254f9cd5b08b99b8a54318d0.svg

В четвёртом и пятом случаях сниппет пытается найти соответствующую скобку. Поскольку механизм регулярных выражений UltiSnips этого не умеет, пришлось применить Python:

priority 1000
snippet '^.*\)/' "() Fraction" wrA
`!p
stripped = match.string[:-1]
depth = 0
i = len(stripped) - 1
while True:
        if stripped[i] == ')': depth += 1
        if stripped[i] == '(': depth -= 1
        if depth == 0: break;
        i -= 1
snip.rv = stripped[0:i] + "\\frac{" + stripped[i+1:-1] + "}"
`{$1}$0
endsnippet


Наконец, хочу поделиться сниппетом, который превращает текущее выделение в дробь. Выделяете текст, нажимаете Tab, набираете / и снова Tab.

0da01b9566dc437fabf0c563ed14941f.gif

Код использует переменную ${VISUAL}, которая отражает ваш выбор.

snippet / "Fraction" iA
\\frac{${VISUAL}}{$1}$0
endsnippet


Sympy и Mathematica


Другой классный, но менее используемый сниппет, запускает sympy для оценки математических выражений. Например: sympy Tab расширяется до sympy | sympy, а sympy 1 + 1 sympy Tab превращается в 2.

8c8f143fdcdc2f3e6de9853cf7ea3def.gif

snippet sympy "sympy block " w
sympy $1 sympy$0
endsnippet

priority 10000
snippet 'sympy(.*)sympy' "evaluate sympy" wr
`!p
from sympy import *
x, y, z, t = symbols('x y z t')
k, m, n = symbols('k m n', integer=True)
f, g, h = symbols('f g h', cls=Function)
init_printing()
snip.rv = eval('latex(' + match.group(1).replace('\\', '') \
    .replace('^', '**') \
    .replace('{', '(') \
    .replace('}', ')') + ')')
`
endsnippet


Для Mathematica тоже возможно нечто подобное:

82f7f187a685a52ed7665fded563f936.gif

priority 1000
snippet math "mathematica block" w
math $1 math$0
endsnippet

priority 10000
snippet 'math(.*)math' "evaluate mathematica" wr
`!p
import subprocess
code = 'ToString[' + match.group(1) + ', TeXForm]'
snip.rv = subprocess.check_output(['wolframscript', '-code', code])
`
endsnippet


Постфикс-сниппеты


Мне кажется, достойны упоминания также постфикс-сниппеты, которые вставляют соответствующий текст псле ввода определённых символов. Например, phat\hat{p} и zbar\overline{z}. Аналогичный сниппет вставляет вектор, например, v,.\vec{v} и v.,\vec{v}. Порядок точки и запятой не имеет значения, так что я могу нажимать их одновременно. Эти сниппеты реально экономят время, потому что вы вводите их с той же скоростью, с какой лектор пишет на доске.

7c2e62aae292bc4d65eae363c816e206.gif

Обратите внимание, что по-прежнему работают префиксы bar и hat, только с более низким приоритетом. Код для этих сниппетов:

priority 10
snippet "bar" "bar" riA
\overline{$1}$0
endsnippet

priority 100
snippet "([a-zA-Z])bar" "bar" riA
\overline{`!p snip.rv=match.group(1)`}
endsnippet
priority 10
snippet "hat" "hat" riA
\hat{$1}$0
endsnippet

priority 100
snippet "([a-zA-Z])hat" "hat" riA
\hat{`!p snip.rv=match.group(1)`}
endsnippet
snippet "(\\?\w+)(,\.|\.,)" "Vector postfix" riA
\vec{`!p snip.rv=match.group(1)`}
endsnippet


Другие сниппеты


У меня ещё около сотни часто используемых сниппетов. Все они доступны здесь. Большинство из них довольно просты. Например, !> превращается в \mapsto, -> становится \to и т. д.

4ee36ef41c17f1ded1fffe13ba32b60d.gif

fun трансформируется в f: \R \to \R :, !>\mapsto, cc\subset.

a45092c95d91059b779f74cedda840e1.gif

lim становится \lim_{n \to \infty}, sum\sum_{n = 1}^{\infty}, ooo\infty.

2be9c99e6ab5787fc5196bbf4ce525a7.gif

3be522f5e6e5ca7f871138732ba1b14d.gif

Сниппеты для конкретных курсов


Кроме часто используемых, у меня есть и специфические сниппеты. Они загружаются одной строкой в .vimrc:

set rtp+=~/current_course


Здесь current_course — это символическая ссылка на текущий курс (подробнее об этом в другой статье). В этой папке лежит файл ~/current_course/UltiSnips/tex.snippets, куда я добавляю сниппеты курса. Например, для квантовой механики есть сниппеты для записи квантовых состояний бра и кет.

|a> → \ket{a}
|q> → \ket{\psi}
→ \braket{a}{b}

Поскольку в квантовой механике часто используется \psi, то я сделал автоматическую замену всех q в braket на \psi.

268d331fdb83b6fa3563b6f2b0baac66.gif

snippet "\<(.*?)\|" "bra" riA
\bra{`!p snip.rv = match.group(1).replace('q', f'\psi').replace('f', f'\phi')`}
endsnippet

snippet "\|(.*?)\>" "ket" riA
\ket{`!p snip.rv = match.group(1).replace('q', f'\psi').replace('f', f'\phi')`}
endsnippet

snippet "(.*)\\bra{(.*?)}([^\|]*?)\>" "braket" riA
`!p snip.rv = match.group(1)`\braket{`!p snip.rv = match.group(2)`}{`!p snip.rv = match.group(3).replace('q', f'\psi').replace('f', f'\phi')`}
endsnippet


Контекст


При написании этих сниппетов следует учитывать, могут ли они встретиться в обычном тексте. Например, согласно моему словарю, в английском языке около 72 слов, а в голландском — 2000 слов, содержащих sr. Таким образом, когда я набираю слово disregard, sr заменится на ^2, и получится di^2egard.

Решение этой проблемы — в добавлении контекста к сниппетам. С помощью подсветки синтаксиса Vim определяется, должен ли UltiSnips применять сниппет, в зависимости от того, находитесь ли вы в режиме формул или текста. Я придумал такой вариант:

global !p
texMathZones = ['texMathZone'+x for x in ['A', 'AS', 'B', 'BS', 'C',
'CS', 'D', 'DS', 'E', 'ES', 'F', 'FS', 'G', 'GS', 'H', 'HS', 'I', 'IS',
'J', 'JS', 'K', 'KS', 'L', 'LS', 'DS', 'V', 'W', 'X', 'Y', 'Z']]

texIgnoreMathZones = ['texMathText']

texMathZoneIds = vim.eval('map('+str(texMathZones)+", 'hlID(v:val)')")
texIgnoreMathZoneIds = vim.eval('map('+str(texIgnoreMathZones)+", 'hlID(v:val)')")

ignore = texIgnoreMathZoneIds[0]

def math():
        synstackids = vim.eval("synstack(line('.'), col('.') - (col('.')>=2 ? 1 : 0))")
        try:
                first = next(
            i for i in reversed(synstackids)
            if i in texIgnoreMathZoneIds or i in texMathZoneIds
        )
                return first != ignore
        except StopIteration:
                return False
endglobal


Теперь можно добавить context "math()" к тем сниппетам, которые вы хотите применять только в математическом контексте.

context "math()"
snippet sr "^2" iA
^2
endsnippet


Обратите внимание, что математический контекст — тонкая вещь. Иногда в режиме формул мы тоже пишем текст, используя \text{...}. В этом случае мы не хотим применять сниппеты. Однако в следующем случае: \[ \text{$...$} \], они должны применяться. Вот почему код для контекста math не так прост. Следующая анимация иллюстрирует эти тонкости.

e1b3ca2dd4fc1f5fe39679fb6ba38aad.gif

Исправление орфографических ошибок на лету


Хотя формулы — важная часть конспекта, основную часть времени я печатаю на английском языке. Примерно 80 слов в минуту, мои навыки набора текста неплохие, но я делаю много опечаток. Вот почему я добавил привязку к Vim, которая исправляет орфографические ошибки, не мешая работе. Когда я во время ввода нажимаю Ctrl+L, исправляется предыдущая орфографическая ошибка. Это выглядит так:

0add705683b79cb94498104251a6d5b8.gif

Мои настройки для проверки орфографии:

setlocal spell
set spelllang=nl,en_gb
inoremap  u[s1z=`]au


Здесь переход к предыдущей орфографической ошибке [s, затем выбор первого варианта 1z= и возврат `]a. Команды u в середине позволяют быстро отменить сделанное исправление.

В заключение


Благодаря сниппетам Vim, написание кода LaTeX больше не вызывает раздражение, а становится скорее удовольствием. В сочетании с проверкой орфографии на лету это позволяет удобно и быстро конспектировать лекции по математике. В следующей статье расскажу об остальных темах, таких как рисование иллюстраций в цифровом виде и встраивание их в документ LaTeX.

© Habrahabr.ru