Некоторое время назад на Quora я отвечал на вопрос: как успевать записывать за лектором конспект по математике на LaTeX. Там я объяснил свой рабочий процесс по конспектированию в LaTeX с помощью Vim и Inkscape (для рисунков). Но с тех пор многое изменилось, так что я хочу опубликовать несколько постов в блоге с описанием нового процесса. Это первая из статей.
Я начал использовать LaTeX для конспектирования во втором семестре курса математики, и с тех пор написал более 1700 страниц. Вот несколько примеров, как выглядит конспект:
Эти конспекты, включая рисунки, делаются прямо на лекции и не редактируются впоследствии. Чтобы эффективно писать конспекты в LaTeX, должны соблюдаться четыре правила:
- Запись текста и формул в LaTeX должна быть такой же быстрым, как у лектора, пишущего на доске: задержка недопустима.
- Рисование иллюстраций должно быть почти таким же быстрым, как у лектора.
- Управление заметками, то есть добавление заметки, компоновка всех заметок, последних двух лекций, поиск в заметках и т. д., должно проходить легко и быстро.
- Должно быть возможно аннотирование pdf-документов с помощью LaTeX, если я хочу написать заметку вместе с pdf-документом.
Эта статья посвящена первому пункту: конспектирование на LaTeX.
Vim и LaTeX
Для записи текста и математических формул на LaTeX я использую Vim. Это мощный текстовый редактор общего назначения, весьма расширяемый. Я использую его для написания кода, LaTeX, текста Markdown… в общего, любых текстов. У него довольно крутая кривая обучения, но если вы освоили базу, уже трудно вернуться к редактору без привычных горячих клавиш. Вот как выглядит мой экран, когда я редактирую документ LaTeX:
Слева 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 на ∈ и т. д., как показано на анимации:
С такой настройкой можно добиться поставленной задачи: писать на LaTeX так же быстро, как пишет лектор на доске. Здесь в игру вступают сниппеты.
Сниппеты
Что такое сниппет?
Сниппет — это короткий фрагмент текста для многоразового использования, который вызывается другим текстом. Например, при наборе sign и нажатии Tab, слово sign превращается в подпись:
Сниппеты могут быть динамическими: когда я набираю today и нажимаю Tab, слово today заменяется текущей датой, а box-Tab становится полем, которое автоматически увеличивается в размере.
Вы даже можете использовать один сниппет внутри другого:
Создание сниппетов с помощью UltiSnips
Для управления сниппетами я использую плагин UltiSnips. Вот его конфигурация:
Plug 'sirver/ultisnips'
let g:UltiSnipsExpandTrigger = '<tab>'
let g:UltiSnipsJumpForwardTrigger = '<tab>'
let g:UltiSnipsJumpBackwardTrigger = '<s-tab>'
Код для сниппета 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 текущему имени файла и т. д.
Сниппеты LaTeX
Сниппеты значительно ускоряют работу, особенно некоторые из более сложных сниппетов. Начнём с самых простых.
Окружение
Чтобы вставить окружение, достаточно ввести beg в начале строки. Затем имя окружения, которое отражается в команде end{}. Нажатие Tab помещает курсор внутрь.
Код следующий:
snippet beg "begin{} / end{}" bA
begin{$1}
$0
end{$1}
endsnippet
Символ b означает, что такой сниппет работает только в начале строки, A означает автоматическое расширение, то есть не нужно нажимать Tab. Места табуляции, куда осуществляется переход по нажатию Tab и Shift+Tab, обозначены как $1, $2,… и последнее обозначено $0.
Встроенные и отображаемые формулы
Два самых часто используемых сниппета — mk и dm, которые запускают математический режим. Первый для встроенных формул, второй для отображаемых.
Сниппет для формул «умный»: он знает, когда вставлять пробел после знака доллара. Когда я начинаю вводить слово непосредственно за закрывающим $, он добавляет пробел. Но если я набираю другой символ, то он не добавляет пробел, как в случае '$p$-value'.
Код этого сниппета:
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 сработает.
Сниппет для отображаемых формул более простой, но тоже довольно удобный. Он заставляет всегда заканчивать уравнения точкой.
<snippet dm "Math" wA
[
$1
.] $0
endsnippetПодстрочные и надстрочные знаки
Еще один полезный сниппет — для индексов. Он изменяет a1 на a_1 и a_12 на a_{12}.
Код этого сниппета в качестве триггера использует регулярное выражение. Он расширяет фрагмент, когда вы вводите символ, за которым следует цифра, закодированная как [A-Za-z]d, или символ, за которым следуют _ и две цифры: [A-Za-z]_dd.
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])_(dd)' "auto subscript2" wrA
`!p snip.rv = match.group(1)`_{`!p snip.rv = match.group(2)`}
endsnippet
Когда вы объединяете части регулярного выражения в группу, используя круглые скобки, например, (dd), то можете использовать их в расширении сниппета через match.group(i) в Python.
Для надстрочных символов я использую td, который превращается в ^{}. Хотя для самых распространённых (квадрат, куб и несколько других) предназначены отдельные сниппеты, такие как sr, cb и comp.
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}{}
4pi^2/ → frac{4pi^2}{}
(1 + 2 + 3)/ → frac{1 + 2 + 3}{}
(1+(2+3)/) → (1 + frac{2+3}{})
(1 + (2+3))/ → frac{1 + (2+3)}{}
Для первого простой код:
snippet // "Fraction" iA
\frac{$1}{$2}$0
endsnippet
Вторая и третья замены происходят с помощью регулярных выражений, соответствующих выражениям 3/, 4ac/, 6pi^2/, a_2/ и т. д.
snippet '((d+)|(d*)(\)?([A-Za-z]+)((^|_)({d+}|d))*)/' "Fraction" wrA
\frac{`!p snip.rv = match.group(1)`}{$1}$0
endsnippetКак видите, регулярные выражения могут стать весьма длинными, но вот диаграмма, которая должна всё объяснить:
В четвёртом и пятом случаях сниппет пытается найти соответствующую скобку. Поскольку механизм регулярных выражений 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.
Код использует переменную ${VISUAL}, которая отражает ваш выбор.
snippet / "Fraction" iA
\frac{${VISUAL}}{$1}$0
endsnippetSympy и Mathematica
Другой классный, но менее используемый сниппет, запускает sympy для оценки математических выражений. Например: sympy Tab расширяется до sympy | sympy, а sympy 1 + 1 sympy Tab превращается в 2.
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 тоже возможно нечто подобное:
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}. Порядок точки и запятой не имеет значения, так что я могу нажимать их одновременно. Эти сниппеты реально экономят время, потому что вы вводите их с той же скоростью, с какой лектор пишет на доске.
Обратите внимание, что по-прежнему работают префиксы 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)`}
endsnippetpriority 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)`}
endsnippetsnippet "(\?w+)(,.|.,)" "Vector postfix" riA
vec{`!p snip.rv=match.group(1)`}
endsnippetДругие сниппеты
У меня ещё около сотни часто используемых сниппетов. Все они доступны здесь. Большинство из них довольно просты. Например, !> превращается в mapsto, -> становится to и т. д.
fun трансформируется в f: R to R :, !> → mapsto, cc → subset.
lim становится lim_{n to infty}, sum → sum_{n = 1}^{infty}, ooo → infty.
Сниппеты для конкретных курсов
Кроме часто используемых, у меня есть и специфические сниппеты. Они загружаются одной строкой в .vimrc:
set rtp+=~/current_course
Здесь current_course — это символическая ссылка на текущий курс (подробнее об этом в другой статье). В этой папке лежит файл ~/current_course/UltiSnips/tex.snippets, куда я добавляю сниппеты курса. Например, для квантовой механики есть сниппеты для записи квантовых состояний бра и кет.
<a| → bra{a}
<q| → bra{psi}
|a> → ket{a}
|q> → ket{psi}
<a|b> → braket{a}{b}
Поскольку в квантовой механике часто используется psi, то я сделал автоматическую замену всех q в braket на psi.
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 не так прост. Следующая анимация иллюстрирует эти тонкости.
Исправление орфографических ошибок на лету
Хотя формулы — важная часть конспекта, основную часть времени я печатаю на английском языке. Примерно 80 слов в минуту, мои навыки набора текста неплохие, но я делаю много опечаток. Вот почему я добавил привязку к Vim, которая исправляет орфографические ошибки, не мешая работе. Когда я во время ввода нажимаю Ctrl+L, исправляется предыдущая орфографическая ошибка. Это выглядит так:
Мои настройки для проверки орфографии:
setlocal spell
set spelllang=nl,en_gb
inoremap <C-l> <c-g>u<Esc>[s1z=`]a<c-g>u
Здесь переход к предыдущей орфографической ошибке [s, затем выбор первого варианта 1z= и возврат `]a. Команды <c-g>u в середине позволяют быстро отменить сделанное исправление.
В заключение
Благодаря сниппетам Vim, написание кода LaTeX больше не вызывает раздражение, а становится скорее удовольствием. В сочетании с проверкой орфографии на лету это позволяет удобно и быстро конспектировать лекции по математике. В следующей статье расскажу об остальных темах, таких как рисование иллюстраций в цифровом виде и встраивание их в документ LaTeX.
Автор: m1rko
