Математические формулы в «Традиции» вводятся с помощью разметок ΤΕΧ и MathML.
Отображаются они JavaScript'ом на стороне клиента с помощью расширения MediaWIki MathJax посредством HTML и CSS (с использованием локальных, сетевых или графических растровых шрифтов), MathML или SVG, в зависимости от возможностей браузера и выбранных читающим настроек.
При наведении указателя мыши на формулу и короткой задержке, всплывает увеличенное вдвоё её изображение.
У формул, показываемых на страницах «Традиции», а также выводящихся при предварительном просмотре изменений, есть собственное контекстное меню, позволяющее:
- просмотреть и, при желании, скопировать в буфер обмена исходный код формулы как в формате ΤΕΧ, так и MathML, независимо от того, в каком формате формула задана в викитексте,
- увеличить все формулы на странице,
- выбрать другой механизм показа формул «Традиции» браузером, а также другой вид шрифта для показа посредством HTML+CSS,
- выбрать другой, отличный от наведения указателя мыши, способ показа увеличенных изображений формул и коэффициент увеличения.
Для работы контекстного меню необходимо в настройках браузера позволить сценариям перехватывать контроль над правой кнопкой мыши.
В данной статье даны лишь первоначальные сведения о разметке математических формул. Примеры написания конкретных формул приводятся в статье Примеры оформления формул.
Правильность написания формул проверяйте в «песочнице» или кнопкой «Предварительный просмотр», находящейся под окном редактирования.
Исходный код внутристрочной математической формулы записывается, в зависимости от того, набран ли он на ΤΕΧ или MathML, внутри соответствующего тега,[1] как показано в таблице ниже:
Формат
|
Режим вывода
|
внутристрочный
|
выносной
|
ΤΕΧ
|
<math>...</math>
|
: <math>...</math> в начале строки или <math display="block">...</math>
|
MathML
|
<math xmlns="http://www.w3.org/1998/Math/MathML">...</math> |
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block">...</math>
|
Не обрамлённые тегом окружения ΤΕΧ и нумерация уравнений[править | править код]
Кроме того, распознаются не обрамлённые тегом окружения ΤΕΧ, наподобие \begin{pmatrix}...\end{pmatrix}
.
Такие уравнения будут автоматически пронумерованы, если к названию окружения не добавлена звёздочка, например, \begin{equation*}...\end{equation*}
. Если поставить в нумеруемой формуле код \label {ссылка}
, то на странице можно будет сослаться на это уравнение: <math>\eqref {ссылка}</math>
.
Для ручной нумерации выносного уравнения следует добавить в его конце \eqno {1a}
.
- Шаблоны, переменные и параметры MediaWiki не функционируют внутри тега
<math>...</math>
. Для того, чтобы обойти это ограничение, достаточно использовать функцию парсера {{#tag}}
: <math>\mbox {{PAGENAME}}</math>
даст , но {{#tag:math|\mbox {{PAGENAME}}}}
— .
- Пробелы и переводы строк игнорируются: ΤΕΧ их сделает сам. Поэтому, чтобы сделать код более читаемым, можно вставлять их после каждого подвыражения или строки матрицы, или где удобно.
- Буквы должны быть набраны только латинским шрифтом. Для добавления русского текста следует использовать
\mbox{...}
.
- Каждая буква считается переменной и воспроизводится курсивом, а цифры — прямым шрифтом (исключение — название функций и операций). Чтобы не допустить курсивного начертания для прочего текста, используйте команды
\mbox
, \operatorname
или \mathrm
. Например, запись <math>\mbox{abc}_\mathrm{def}</math>
отображается как
- Символы записываются с помощью «команд»,[2] которые начинаются с обратного слэша (
\
) и состоят либо из командного слова из латинских букв, либо из символа (не буквы). В первом случае после командного слова должен быть обязательно пробел или другая команда.
- Команды могут иметь аргументы:
{обязательные}
и [необязательные]
.
- Чтобы создать выражения вида , используйте команду
\stackrel{выражение1}{выражение2}
, где выражение1 — то, что будет отображаться над строкой, выражение2 — то, что останется в строке. Код приведённой формулы: <math>A\stackrel{f}{\longrightarrow}B</math>
.
- Десятичную запятую в десятичных дробях рекомендуется заключать в фигурные cкобки, чтобы избежать ненужного тонкого пробела после запятой. Сравните:
<math>~\pi=3,1415\dots</math>
|
|
<math>~\pi=3{,}1415\dots</math>
|
|
- В связи с тем, что содержимое тега
<math>...</math>
очищается от HTML, в нём не следует допускать кода, похожего на тег HTML. Для этого достаточно вставлять пробелы после <
. Так, <math>a<b\&d>c</math>
даст , но <math>a< b\&d>c</math>
— .
\
— сигнальный символ (команд);
{
— начало группы;
}
— конец группы;
_
— нижний индекс;
^
— верхний индекс;
~
— неразрывный пробел.
Греческий алфавит
Буква |
Команда |
Буква |
Команда |
Буква |
Команда
|
|
\Alpha \alpha |
|
\Iota \iota |
|
\Rho \rho \varrho
|
|
\Beta \beta |
|
\Kappa \kappa \varkappa |
|
\Sigma \sigma \varsigma
|
|
\Gamma \gamma |
|
\Lambda \lambda |
|
\Tau \tau
|
|
\Delta \delta |
|
\Mu \mu |
|
\Upsilon \upsilon
|
|
\Epsilon \epsilon \varepsilon |
|
\Nu \nu |
|
\Phi \phi \varphi
|
|
\Zeta \zeta |
|
\Xi \x |
|
\Chi \chi
|
|
\Eta \eta |
|
\Omicron \omicron |
|
\Psi \psi
|
|
\Theta \theta \vartheta |
|
\Pi \pi \varpi |
|
\Omega \omega
|
|
С помощью соответствующих команд можно изменять вид шрифта (гарнитуру) и его размеры:
Вид шрифта |
Команда |
Изображение
|
Жирный шрифт (греческий)
|
\boldsymbol |
|
Жирный шрифт (векторы)
|
\mathbf |
|
Ажурный шрифт |
\mathbb |
|
Рубленый шрифт |
\mathsf |
|
Готический шрифт |
\mathfrak |
|
Каллиграфический шрифт |
\mathcal |
|
Рукописный шрифт |
\mathscr |
|
Прописные наклонным шрифтом |
\mathit |
|
|
Команда
|
Изображение
|
+
|
|
-
|
|
\amalg
|
|
\setminus
|
|
\pm \mp
|
|
\ast \star
|
|
\centerdot \cdot \bullet
|
|
\circ \bigcirc
|
|
\odot \circleddash \circledast \circledcirc
|
|
\oplus \otimes \ominus \oslash
|
|
\boxplus \boxtimes \boxminus \boxdot
|
|
|
Команда
|
Изображение
|
\sqcap und \sqcup
|
|
\cap
|
|
\cup \uplus
|
|
\Cap \Cup
|
|
\doublecap \doublecup
|
|
\dagger \ddagger
|
|
\times \div \divideontimes
|
|
\ltimes \rtimes
|
|
\leftthreetimes \rightthreetimes
|
|
\vartriangle \triangledown
|
|
\triangle \mathcal 5
|
|
|
Команда
|
Изображение
|
\bigtriangleup \bigtriangledown
|
|
\triangleright \triangleleft
|
|
\diamond
|
|
\bowtie
|
|
\vee , \lor \wedge , \land
|
|
\veebar \barwedge
|
|
\doublebarwedge
|
|
\curlywedge \curlyvee
|
|
\wr
|
|
\intercal
|
|
\dotplus
|
|
|
Команда
|
Изображение
|
\propto \varpropto
|
|
\shortmid \mid
|
|
\between
|
|
\pitchfork
|
|
\therefore \because
|
|
\frown \smile
|
|
\parallel \shortparallel
|
|
\in \ni \notin (но не: \not\in )
|
|
\perp
|
|
\backepsilon
|
|
\models
|
|
\cong
|
|
\equiv
|
|
\sim \thicksim \backsim
|
|
\simeq \backsimeq
|
|
\eqsim
|
|
\approx \thickapprox
|
|
\approxeq
|
|
\bumpeq
|
|
|
Команда
|
Изображение
|
\Bumpeq
|
|
\doteq
|
|
\doteqdot \Doteq
|
|
\risingdotseq \fallingdotseq
|
|
\eqcirc
|
|
\circeq
|
|
\triangleq
|
|
< >
|
|
\ll \gg
|
|
\lll \ggg \gggtr
|
|
\le или \leq , \ge или \geq
|
|
\leqq \geqq
|
|
\leqslant \geqslant
|
|
\eqslantless \eqslantgtr
|
|
\lesssim \gtrsim
|
|
\lessapprox \gtrapprox
|
|
\lessdot \gtrdot
|
|
\lessgtr \gtrless
|
|
\lesseqgtr \gtreqless
|
|
|
Команда
|
Изображение
|
\lesseqqgtr \gtreqqless
|
|
\sqsubseteq и \sqsupseteq
|
|
\subset \supset
|
|
\subseteq \supseteq
|
|
\subseteqq \supseteqq
|
|
\Subset \Supset
|
|
\prec \succ
|
|
\preccurlyeq \succcurlyeq
|
|
\curlyeqprec \curlyeqsucc
|
|
\preceq \succeq
|
|
\precsim \succsim
|
|
\precapprox \succapprox
|
|
\asymp
|
|
\vdash \dashv
|
|
\Vvdash
|
|
\vartriangleleft \vartriangleright
|
|
\blacktriangleleft \blacktriangleright
|
|
\implies \impliedby \iff
|
|
|
Команда
|
Изображение
|
\not< \not> \ngtr
|
|
\not= , \neq , \ne
|
|
\nsim
|
|
\not\approx
|
|
\ncong
|
|
\not\equiv
|
|
\not\le \not\ge
|
|
\nleqq \ngeqq
|
|
\lneq \gneq
|
|
\lneqq \gneqq
|
|
\lvertneqq \gvertneqq
|
|
\nleqslant \ngeqslant
|
|
\lnsim \gnsim
|
|
|
Команда
|
Изображение
|
\lnapprox \gnapprox
|
|
\not\in , \notin
|
|
\not\simeq
|
|
\not\sqsubseteq \not\sqsupseteq
|
|
\not\subset \not\supset
|
|
\nsubseteq \nsupseteq
|
|
\nsubseteqq \nsubseteqq
|
|
\varsubsetneq \varsupsetneq
|
|
\subsetneqq \supsetneqq
|
|
\varsubsetneqq \varsupsetneqq
|
|
\nprec \nsucc
|
|
\npreceq \nsucceq
|
|
\precneqq \succneqq
|
|
|
Команда
|
Изображение
|
\precnsim \succnsim
|
|
\precnapprox \succnapprox
|
|
\not\asymp
|
|
\nshortmid
|
|
\nshortparallel \nparallel
|
|
\nvdash \nvDash
|
|
\nVdash \nVDash
|
|
\ntriangleleft \ntriangleright
|
|
\ntrianglelefteq \ntrianglerighteq
|
|
\neg
|
|
\nexists
|
|
|
Отрицание какого-нибудь ТеХ'овского символа можно получить, ставя перед ним команду \not
. Например:
<math>u \not< a</math> |
|
<math>a \not\in \mathbf{A}</math> |
|
При написании стандартных функций обратите внимание, что:
Правильно:
|
\sin x + \ln y +\operatorname{sgn}\, z
|
|
Неправильно:
|
sin x + ln y + sgn z
|
|
Тригонометрические
|
\sin
|
|
\cos
|
|
\tan или \tg
|
|
\cot или \ctg
|
|
\sec
|
|
\csc или \cosec
|
|
\arcsin
|
|
\arccos
|
|
\arctan или \arctg
|
|
\arccot или \arcctg
|
|
\arcsec
|
|
\arccsc или \arccosec
|
|
|
Гиперболические
|
\sinh или \sh
|
|
\cosh или \ch
|
|
\tanh или \th
|
|
\coth или \cth
|
|
Прочие
|
\arg
|
|
\deg
|
|
\det
|
|
\dim
|
|
\exp
|
|
\lg
|
|
\ln
|
|
\log
|
|
|
\max
|
|
\min
|
|
\mod
|
|
\bmod
|
|
\pmod
|
|
\gcd
|
|
\hom
|
|
\inf
|
|
\ker
|
|
\lim
|
|
\liminf
|
|
\limsup
|
|
\Pr
|
|
\sup
|
|
|
|
В русской традиции многие тригонометрические и гиперболические функции обозначаются иначе, чем в западной. В коде ΤΕΧ можно использовать как русские, так и западные обозначения, а отобразятся соответствующие языку, выбранному в настройках пользователя, по умолчанию, — русские.
Элемент
|
Синтаксис
|
Внутристрочный вывод
|
Выносной вывод
|
Сумма
|
\sum_{k=1}^N k^2
|
|
|
\sum\limits_{k=1}^N k^2
|
|
|
Произведение
|
\prod_{i=1}^N x_i
|
|
|
\prod\limits_{i=1}^N x_i
|
|
|
Предел
|
\lim_{n \to \infty}x_n
|
|
|
\lim\limits_{n \to \infty}x_n
|
|
|
Интеграл
|
\int_{-N}^{N} e^x\, dx
|
|
|
\int\limits_{-N}^{N} e^x\, dx
|
|
|
Кратные интегралы
|
\iint_{D}^{W} \, dx\,dy
|
|
|
\iint_{D}^{W} \, dx\,dy
|
|
|
\iiint\limits_{D}^{W} \, dx\,dy\,dz
|
|
|
\iiiint\limits_{D}^{W} \, dx\,dy\,dz\,dw
|
|
|
Интеграл по контуру
|
\oint_{C} x^3\, dx + 4y^2\, dy
|
|
|
\oint\limits_{C} x^3\, dx + 4y^2\, dy
|
|
|
Пересечение
|
\bigcap_1^{n} p
|
|
|
\bigcap\limits_1^{n} p
|
|
|
Объединение
|
\bigcup_1^{k} p
|
|
|
\bigcup\limits_1^{k} p
|
|
|
Обратите внимание, что пределы суммирования и подобных операций показываются под и над знаком операции в выносной формуле или при использовании команды \limits
после команды, выводящей обозначение операции. Во внутристрочной формуле без \limits
, пределы будут показаны правее обозначения операции. Пределы интегрирования будут показаны справа в формуле без \limits
и под и над знаками интегрирования, когда эта команда используется, независимо от того, внутристрочная ли это формула или выносная.
|
Команды
|
Изображения
|
\circlearrowleft \circlearrowright
|
|
\curvearrowleft \curvearrowright
|
|
\downarrow \uparrow
|
|
\downdownarrows \upuparrows
|
|
\Downarrow \Uparrow
|
|
\hookleftarrow \hookrightarrow
|
|
\leftarrow \rightarrow
|
|
\Leftarrow \Rightarrow
|
|
\leftarrowtail \rightarrowtail
|
|
\leftharpoondown \rightharpoondown
|
|
\leftharpoonup \rightharpoonup
|
|
\leftleftarrows \rightrightarrows
|
|
\leftrightarrow \Leftrightarrow
|
|
\leftrightarrows \rightleftarrows
|
|
\leftrightharpoons \rightleftharpoons
|
|
|
Команды
|
Изображения
|
\leftrightsquigarrow \rightsquigarrow
|
|
\Lleftarrow \Rrightarrow
|
|
\longleftarrow \longrightarrow
|
|
\Longleftarrow \Longrightarrow
|
|
\longleftrightarrow
|
|
\Longleftrightarrow
|
|
\longmapsto \mapsto
|
|
\looparrowleft \looparrowright
|
|
\Lsh \Rsh
|
|
\multimap
|
|
\nearrow \nwarrow \searrow \swarrow
|
|
\nLeftarrow \nRightarrow
|
|
\nleftrightarrow \nLeftrightarrow
|
|
\restriction
|
|
\twoheadleftarrow \twoheadrightarrow
|
|
\updownarrow \Updownarrow
|
|
|
Цветные формулы отображаются с помощью расширения MathJax Color:
Викитекст |
Вывод
|
\definecolor{energy}{RGB}{114,0,172}
\definecolor{freq}{RGB}{45,177,93}
\definecolor{spin}{RGB}{251,0,29}
\definecolor{signal}{RGB}{18,110,213}
\definecolor{circle}{RGB}{217,86,16}
\definecolor{average}{RGB}{203,23,206}
\color{energy} X_{\color{freq} k} \color{black} =
\color{average} \frac{1}{N} \sum_{n=0}^{N-1}
\color{signal}x_n \color{spin}
e^{\mathrm{i} \color{circle} 2\pi \color{freq}k
\color{average} \frac{n}{N}}
Чтобы получить <font color="#7200AC">энергию</font>
<font color="2DB15D">на определённой частоте</font>,
<font color="#FB001D">поверните</font> <font color="#126ED5">сигнал</font> <font color="#D04400">по кругу</font>
<font color="2DB15D">на угол, равный частоте</font>, и
<font color="#CB17CE">усредните число точек на пути</font>.
|
Чтобы получить энергию
на определённой частоте,
поверните сигнал по кругу
на угол, равный частоте, и усредните число точек на пути.[3]
|
Всплывающие подсказки и викиссылки внутри формул, а также слайд-шоу формул отображаются с помощью расширения MathJax action:
Фукциональность |
Викитекст |
Вывод
|
Викиссылки
|
x' = \frac {x-vt} {\sqrt {1 - {v^2} / [[Скорость света|c]] ^ 2}}
|
|
Всплывающие подсказки с текстом
|
\begin{equation*}
\texttip{x'}{координата в другой системе отсчёта} = \frac {\texttip{x}{координата в исходной системе отсчёта} - \texttip{v}{скорость движения одной системы отсчёта относительно другой}\texttip{t}{время, прошедшее с совпадения координат}} {\sqrt {1 - {\texttip{v}{скорость движения одной системы отсчёта относительно другой}^2} / \texttip{c}{скорость света} ^ 2}}
\end{equation*}
|
|
Всплывающие подсказки с формулами
|
\begin{equation*}
Q (x) = \sum_{i,j} \mathtip{a_{ij}}{a_{ij} = a_{ji}} x_ix_j
+ \sum_{i} \mathtip{b_{i}}{b_{i} = \frac{\partial Q}{\partial x_i} (0)} x_i
+ \mathtip{c}{c = Q (0)}
\end{equation*}
|
|
Последовательность формул
|
\begin{equation*}
\toggle{x' = x - vt}{x' = \frac {x-vt} {\sqrt {1 - {v^2} / {c ^ 2}}}}\endtoggle
\end{equation*}
|
(щёлкните по формуле)
|
Коммутативные диаграммы отображаются с помощью расширения MathJax AMScd Американского математического общества[4]:
Викитекст |
Вывод
|
\begin{CD}
A @>a>> B \\
@VVbV @VVcV \\
C @>d>> D
\end{CD}
|
|
\begin{CD}
A @<<< B @>>> C \\
@. @| @AAA \\
@. D @= E
\end{CD}
|
|
\begin{CD}
A @>a>b> B \\
@VlVrV @AlArA \\
C @<a<b< D
\end{CD}
|
|
\begin{CD}
A @>>> B @>\text{very long label}>> C \\
@VVV @VVV @VVV \\
D @>>> E @>>> F
\end{CD}
|
|
\begin{CD}
A @>>> B @>{\text{very long label}}>> C \\
@VVV @VVV @VVV \\
D @>>> E @>{\phantom{\text{very long label}}}>> F
\end{CD}
|
|
Элемент
|
Синтаксис
|
Интерпретация в Традиции
|
Диакритические знаки
|
\acute{a} \grave{a} \breve{a} \check{a} \tilde{a} \hat{a} \bar{a}
|
|
Производные
|
\nabla \Box \partial x dx \dot x \ddot y x^\prime
|
|
Множества
|
\emptyset \varnothing
|
|
Логика
|
p \land \wedge \bar{q} \to p \lor \vee \lnot \neg q \setminus \smallsetminus
|
|
Корни
|
\sqrt{2}\approx 1,4
|
|
\sqrt[n]{x}
|
|
Геометрические
|
\Diamond \Box \triangle \angle \perp \mid \nmid 45^\circ
|
|
Специальные
|
\eth \S \P \% * \ldots
|
|
\smile \frown
|
|
\odot \infty \bot \top \vdash \vDash \Vdash \models \lVert \rVert
|
|
\imath \jmath \hbar \ell \mho \Finv \Re \Im \wp \complement
|
|
\diamondsuit \heartsuit \clubsuit \spadesuit \Game \flat \natural \sharp
|
|
Суммы и т.п.
|
\sum \prod \coprod \bigvee \bigwedge \bigcup \bigcap \bigoplus \bigotimes \bigodot
|
|
Еврейские буквы
|
|
|
Дроби
|
\frac {x^2 + 1} {x^2 - 1}
|
|
Обычный текст
|
\mbox {Слава России!}
|
|