5. Розширювані та настроювані символи | Підручник з LaTeX
У LaTeX є певні функції, які дозволяють створювати структури, які можуть зростати до будь-якого необхідного розміру. Математичний набір гостро потребує такої варіативності. Ми обговоримо деякі його аспекти в цій статті. Усі команди, описані в цьому розділі (якщо не зазначено інше), надаються стандартним LaTeX.
5.1. Три крапки…
Пакет amsmath
замінює (майже в усіх випадках) усі \ldots
, cdots
тощо зі стандартного LaTeX єдиною командою \dots
. Як вертикальне положення еліпса, так і простір навколо нього вибираються автоматично залежно від типу символу після \dots
. Якщо наступним символом є, скажімо, знак плюса, крапки розміщуватимуться по центру; якщо це кома, вони впадуть на базову лінію. Це завжди три крапки, але інтервал змінний.
1\usepackage{amsmath}
2% -------------------------------------------------------------------------------
3A series $H_1, H_2, \dots, H_n$, a sum
4$H_1 + H_2 + \dots + H_n$, an orthogonal product
5$H_1 \times H_2 \times \dots \times H_n$.
Однак, коли крапки з’являються в кінці формули, наступним об’єктом буде щось на кшталт \end
або \)
або $
, і це не дає LaTeX підказки про розташування крапок. У такому випадку ви повинні допомогти, використовуючи \dotsc
для крапок, за якими йдуть коми, \dotsb
для крапок, за якими йде двійковий оператор або символ зв’язку, \dotsm
для крапок, за якими йдуть крапки множення, \dotsi
для крапок, за якими йдуть інтеграли, або \dotso
в будь-якому іншому випадку.
1\usepackage{amsmath}
2% -------------------------------------------------------------------------------
3A series $H_1, H_2, \dotsc\,$, a sum
4$H_1 + H_2 + \dotsb\,$, an orthogonal product
5$H_1 \times H_2 \times \dotsm\,$, and an infinite
6integral: \[ \int_{H_1} \int_{H_2} \dotsi \;
7{-\Gamma}\, d\Theta \]
5.2. Символи, що розширюються по горизонталі
По суті, LaTeX дозволяє налаштувати будь-яку команду математичних акцентів для створення відповідного гліфа з діапазону ширини, якщо це передбачено доступними шрифтами. Однак у стандартному LaTeX є лише дві такі команди: \widehat
і \widetilde
.
У наступному прикладі ми демонструємо використання кількох команд, які створюють конструкції, подібні до вищезгаданих розширюваних наголосів. Усі вони створюють складені символи математичного класу Ordinary.
1\usepackage{amsmath}
2% -------------------------------------------------------------------------------
3\begin{align*}
4\widehat {\psi_\delta(t) E_t h}
5&= \widetilde {\psi_\delta(t) E_t h} \\
6\overline {\psi_\delta(t) E_t h}
7&= \underline {\psi_\delta(t) E_t h} \\
8\overbrace {\psi_\delta(t) E_t h}
9&= \underbrace {\psi_\delta(t) E_t h}
10& & \text{Do not change style} \\
11\overrightarrow {\psi_\delta(t) E_t h}
12&= \overleftarrow {\psi_\delta(t) E_t h}
13& & \text{Do not change style} \\[-3pt]
14& & & \text{without \textsf{amsmath}} \\
15\underrightarrow {\psi_\delta(t) E_t h}
16&= \underleftarrow {\psi_\delta(t) E_t h}
17& & \text{Do need \textsf{amsmath}} \\
18\overleftrightarrow {\psi_\delta(t) E_t h}
19&=\underleftrightarrow{\psi_\delta(t) E_t h}
20& & \text{Do need \textsf{amsmath}}
21\end{align*}
Тут «змінити стиль» означає, що використовуваний символ залежить від використовуваного математичного стилю, щоб він виглядав правильно, коли використовується, наприклад, у дробах або нижньому/верхньому індексі. Ті, які не змінюють стиль, вийдуть правильними лише на верхньому рівні показаних формул.
5.3. Символи, що розширюються по вертикалі
Вертикальна розтяжність значно ширша. У наведеній нижче таблиці перераховано всі символи, які можна розширювати вертикально.
Вертикально розширювані символи
( ) | \{ \} | \lВерт \rВерт | |||
\langle \rangle | \lbrace \rbrace | \lvert \rvert | |||
\lgroup \rgroup | [ ] | ` | |||
\lmoustache \rmoustache | \lbrack \rbrack | \верт | |||
\Вниз | \lceil \rceil | \arrowvert | |||
\Uparrow | \lfloor \rfloor | \bracevert | |||
\Стрілка вгору | \llbracket \rrbracket | \Arrowvert | |||
\стрілка вниз | / | | | |||
\uparrow | \зворотна коса риска | \Верт | |||
\updownarrow | . | \sqrtsign |
Символи, виділені курсивом, вимагають пакета
amsmath
або, якщо додатково введено жирним шрифтом, пакетstmaryrd
. Крапка (.) сама по собі не є розширюваним символом, але її можна використовувати для створення «невидимого» роздільника. Символ\sqrtsign
не можна використовувати з\left
,\right
або\middle
.
Синоніми: [ -
\lbrack
,[
; ] -\rbrack
,]
; { -\lbrace
,\{
; } -\rbrace
,\}
; | -\vert
,|
; || -\Vert
,\|
.
Ці символи стають розширюваними лише в певних випадках використання. Вони повинні базуватися на такій конструкції:
1\left <ext-Open> <sub-formula> \right <ext-Close>
Якщо LaTeX використовує програму eTeX, ви також можете використовувати ці розширювані символи з
\middle
.
Тут <ext-Open>
і <ext-Close>
можуть бути будь-яким із символів (окрім \sqrtsign
), перелічених у таблиці вище. Це мають бути символи, налаштовані розширюваними, як описано в
fntguide. Таким чином, повинен бути доступний символ, що вказує на відсутність фактичного гліфа. Траплялося, що цей символ, також відомий як нульовий роздільник, є крапкою (.). Розміри фактичних гліфів для набору розширюваного символу вибираються так, щоб вони відповідали висоті та глибині підформули, яка лежить між ними.
Радикальний символ \sqrtsign
збільшується як вертикально, так і горизонтально, щоб відповідати розміру свого аргументу. У LaTeX ви б краще використали команду \sqrt
, щоб отримати цей символ.
1\[
2 \sqrtsign{1 + \sqrtsign{1 + \sqrtsign{1 +
3 \sqrtsign{1 + \sqrtsign{1 + \sqrtsign{1 + x}}}}}}
4\]