Помощь:Формулы
From Meta, a Wikimedia project coordination wiki
[edit] TeX
Для математических формул MediaWiki использует разметку TeX'а. Генерируются либо PNG-рисунки либо обычная разметка HTML, в зависимости от пользовательских настроек и сложности выражения. В будущем, по мере того как браузеры будут «умнеть», во многих случаях можно будет генерировать более совершенный HTML или даже MathML.
Математическая разметка идет внутри <math> ... </math>. Для вставки этого тэга на панели инструментов редактирования есть специальная кнопка.
Шаблоны, переменные и параметры MediaWiki не могут быть использованы внутри тэгов math — см. Template talk:Demo of attempt to use parameters within TeX.
PNG-изображения — черные на белом фоне (непрозрачном). Эти цвета, так же как и размеры и начертания шрифтов, не зависят от настроек браузера и CSS. Размеры и начертания шрифтов будут часто отклоняться от того как выглядит HTML. CSS selector изображения — img.tex.
В случае не-белого цвета фона страницы, белый фон формулы эффектно подсвечивает ее, что может быть как достоинством, так и недостатком.
Кому-то может потребоваться избежать использования TeX'овской разметки в строке обычного текста, поскольку формула не выравнивается должным образом и размер шрифта, как уже было сказано, обычно не совпадает.
Атрибут alt TeX'овских изображений (это текст, который отображается, если ваш браузер не может показать рисунок; Internet Explorer даже показывает этот текст во всплывающем окошке) — это wikitext, который подставляется ими, без <math> и </math>.
Для обсуждения, сообщения об ошибках и заявок на новую функциональность предназначен лист рассылки Wikitech-l. Они также могут быть поданы в Mediazilla в ветке MediaWiki extensions.
[edit] Основное
Пробелы и переносы строк игнорируются. Для обозначения переменных, согласно принятому в математике стилю, буквы — курсивные, а цифры — нет (не считая названий функций и операций). Чтобы не допустить курсивного начертания для прочего текста, как для переменных, используйте \mbox:
<math>\mbox{abc}</math>
даёт результат
abc
Разрывы строк помогают сохранить чистоту викитекста: например, рекомендуется разрывать строку после каждого термина или строки матрицы.
[edit] Функции, символы, специальные символы
Для формирования специальных символов без тэгов math, см. Помощь:Специальные символы.
Сравнение:
- α дает α, <math>\alpha</math> дает α ("&" and ";" против "\", в этом случае кодовое слово одно и то же — "alpha"
- √2 дает √2, <math>\sqrt{2}</math> дает
(то же различие что и выше, но еще и другое кодовое слово, "radic" против "sqrt"; в TeX'овских фигурных скобках) - √(1-''e''²) дает √(1-e²), <math>\sqrt{1-e^2}</math> дает
(круглые скобки против фигурных, "''e''" против "e", "²" против "^2")
| Пример | Синтаксис | Как это выглядит при отображении |
|---|---|---|
| Ударения /диакритические знаки | \acute{a} \quad \grave{a} \quad \breve{a} \quad \check{a} \quad \tilde{a} \quad \hat{a} | ![]() |
| Стандартные функции (хорошо) | \sin x + \ln y +\operatorname{sgn} z \sin a \ \cos b \ \tan c \ \cot d \ \sec e \ \csc f |
![]()
|
| Стандартные функции (плохо) | sin x + ln y + sgn z | ![]() |
| Модуль | s_k \equiv 0 \pmod{m} a \bmod b |
![]()
|
| Производные | \nabla \; \partial x \; dx \; \dot x \; \ddot y | ![]() |
| Множества (Квадратные символы могут не работать в некоторых вики) |
\forall \; \exists \; \empty \; \emptyset \; \varnothing \in \ni \not\in \notin \subset \subseteq \supset \supseteq \cap \bigcap \cup \bigcup \biguplus |
![]()
|
| \sqsubset \sqsubseteq \sqsupset \sqsupseteq \sqcap \sqcup \bigsqcup | ![]() |
|
| Логика | p \land \wedge \; \bigwedge \; \bar{q} \to p\ lor \vee \; \bigvee \; \lnot \; \neg q \; \setminus \; \smallsetminus | ![]() |
| Корни | \sqrt{2}\approx 1.4 | ![]() |
| \sqrt[n]{x} | ![]() |
|
| Отношения | \sim \; \approx \; \simeq \; \cong \; \le \; < \; \ge \; > \; \equiv \; \not\equiv \; \ne \; \propto \; \pm \; \mp | ![]() |
| Геометрия | \Diamond \; \Box \; \triangle \; \angle \; \perp \; \mid \; \nmid \; \| \; 45^\circ | ![]() |
| Стрелки (Гарпуны могут не работать в некоторых вики) |
\leftarrow \; \gets \; \rightarrow \; \to \; \leftrightarrow \longleftarrow \; \longrightarrow |
![]()
|
| \rightharpoonup \; \rightharpoondown \; \leftharpoonup \; \leftharpoondown \; \upharpoonleft \; \upharpoonright \; \downharpoonleft \; \downharpoonright | ![]() |
|
| \Leftarrow \; \Rightarrow \; \Leftrightarrow \Longleftarrow \; \Longrightarrow \; \Longleftrightarrow (or \iff) |
![]()
|
|
| Специальные символы | \eth \; \S \; \P \; \% \; \dagger \; \ddagger \; \star \; * \; \ldots \smile \frown \wr \oplus \bigoplus \otimes \bigotimes |
![]()
|
| В нижнем регистре \mathcal есть кое-что еще | \mathcal {45abcdenpqstuvwx} | ![]() |
[edit] Надстрочные, подстрочные, интегралы
| Пример | Синтаксис | Как это выглядит | |
|---|---|---|---|
| HTML | PNG | ||
| Надстрочные | a^2 | a2 | ![]() |
| Подстрочные | a_2 | a2 | ![]() |
| Группировка | a^{2+2} | a2 + 2 | ![]() |
| a_{i,j} | ai,j | ![]() |
|
| Комбинирование над- и подстрочных | x_2^3 | ![]() |
|
| Предшествующие над- и подстрочные | {}_1^2\!X_3^4 | ![]() |
|
| Производная (хорошо) | x', y'' | x',y'' | ![]() |
| Производная (неправильно в HTML) | x^\prime, y^{\prime\prime} | ![]() |
![]() |
| Производная (неправильно в PNG) | x\prime, y\prime\prime | ![]() |
![]() |
| Производная точками | \dot{x}, \ddot{x} | ![]() |
|
| Подчеркивания, надчеркивания, векторы | \hat a \ \bar b \ \vec c \ \overrightarrow{a b} \ \overleftarrow{c d} \ \widehat{d e f} \ \overline{g h i} \ \underline{j k l} | ![]() |
|
| Фигурные скобки над |
\overbrace {1+2+\cdots+100}^{5050} |
|
|
| Фигурные скобки под |
\underbrace {a+b+\cdots+z}_{26} |
|
|
| Сумма | \sum_{k=1}^N k^2 | ![]() |
|
| Произведение | \prod_{i=1}^N x_i | ![]() |
|
| Ко-произведение (Coproduct) | \coprod_{i=1}^N x_i | ![]() |
|
| Предел | \lim_{n \to \infty}x_n | ![]() |
|
| Интеграл | \int\limits_{-N}^{N} e^x\, dx | ![]() |
|
| Двойной интеграл | \iint\limits_{D} \, dx\,dy | ![]() |
|
| Тройной интеграл | \iiint\limits_{E} \, dx\,dy\,dz | ![]() |
|
| Четверной интеграл | \iiiint\limits_{F} \, dx\,dy\,dz\,dt | ![]() |
|
| Интеграл по контуру | \oint\limits_{C} x^3\, dx + 4y^2\, dy | ![]() |
|
| Приращение функции | \int_a^b f(x) dx = \Bigl[ F(x) \Bigr]_a^b = \Bigl. F(x) \Bigr|_a^b | ![]() |
|
| Пересечения | \bigcap_1^{n} p | ![]() |
|
| Объединения | \bigcup_1^{k} p | ![]() |
|
[edit] Дроби, матрицы, многострочные блоки
| Пример | Синтаксис | Как это выглядит | ||||
|---|---|---|---|---|---|---|
| Дроби | \frac{2}{4} or {2 \over 4} | ![]() |
||||
| Биномиальные коэффициeнты | {n \choose k} or \binom{n}{k} | ![]() |
||||
| Малые дроби | \tfrac{2}{4} | ![]() |
||||
| Матрицы | \begin{matrix} x & y \\ z & v \end{matrix} | ![]() |
||||
| \begin{vmatrix} x & y \\ z & v \end{vmatrix} | ![]() |
|||||
| \begin{Vmatrix} x & y \\ z & v \end{Vmatrix} | ![]() |
|||||
| \begin{bmatrix} 0 & \cdots & 0 \\ \vdots &
\ddots & \vdots \\ 0 & \cdots & 0\end{bmatrix} |
![]() |
|||||
| \begin{Bmatrix} x & y \\ z & v \end{Bmatrix} | ![]() |
|||||
| \begin{pmatrix} x & y \\ z & v \end{pmatrix} | ![]() |
|||||
| Разграничение случаев | f(n) = \begin{cases} n/2, & \mbox{if }n\mbox{ is even} \\ 3n+1, & \mbox{if }n\mbox{ is odd} \end{cases} | ![]() |
||||
| Многострочные уравнения | \begin{matrix}f(n+1) & = & (n+1)^2 \\ \ & = & n^2 + 2n + 1 \end{matrix} | ![]() |
||||
| Альтернативные многострочные уравнения (используя таблицы) |
{|
|-
|<math>f(n+1)</math>
|<math>=(n+1)^2</math>
|-
|
|<math>=n^2 + 2n + 1</math>
|}
|
|
[edit] Шрифты
| Пример | Синтаксис | Как это выглядит | |
|---|---|---|---|
| Греческий алфавит (Заметим, что нет омикрона; заметим также что несколько греческих букв в верхнем регистре выглядят идентично соответствующим латинским) |
\Alpha\ \Beta\ \Gamma\ \Delta\ \Epsilon\ \Zeta\ \Eta\ \Theta\ \Iota\ \Kappa\ \Lambda\ \Mu\ \Nu\ \Xi\ \Pi\ \Rho\ \Sigma\ \Tau\ \Upsilon\ \Phi\ \Chi\ \Psi\ \Omega |
|
|
| blackboard bold | \mathbb{N}\ \mathbb{Z}\ \mathbb{Q}\ \mathbb{R}\ \mathbb{C} | ![]() |
|
| полужирные (векторы) | \mathbf{x}\cdot\mathbf{y} = 0 | ![]() |
|
| полужирные (греческие) | \boldsymbol{\alpha} + \boldsymbol{\beta} + \boldsymbol{\gamma} | ![]() |
|
| курсивные | \mathit{ABCDE abcde 1234} | ![]() |
|
| Гарнитура Roman | \mathrm{ABCDE abcde 1234} | ![]() |
|
| Гарнитура Fraktur | \mathfrak{ABCDE abcde 1234} | ![]() |
|
| Каллиграфия/рукописный | \mathcal{ABCDE abcde 1234} | ![]() |
|
| Иврит | \aleph \beth \gimel \daleth | ![]() |
|
| некурсивные символы | \mbox{abc} | abc | ![]() |
| смешаный курсив (плохо) | \mbox{if} n \mbox{is even} | ifnis even | ![]() |
| смешаный курсив (хорошо) | \mbox{if }n\mbox{ is even} | if n is even | ![]() |
[edit] Скобки для больших выражений, разные виды скобок
| Пример | Синтаксис | Как это выглядит |
|---|---|---|
| Нехорошо | ( \frac{1}{2} ) | ![]() |
| Лучше | \left ( \frac{1}{2} \right ) | ![]() |
Вы можете использовать различные разделители для \left и \right:
| Пример | Синтаксис | Как это выглядит | |
|---|---|---|---|
| Круглые скобки | \left ( \frac{a}{b} \right ) | ![]() |
|
| Квадратные скобки | \left [ \frac{a}{b} \right ] \quad \left \lbrack \frac{a}{b} \right \rbrack | ![]() |
|
| Фигурные скобки | \left \{ \frac{a}{b} \right \} \quad \left \lbrace \frac{a}{b} \right \rbrace | ![]() |
|
| Угловые скобки | \left \langle \frac{a}{b} \right \rangle | ![]() |
|
| Линейки и двойные линейки | \left | \frac{a}{b} \right \vert \left \Vert \frac{c}{d} \right \| | ![]() |
|
| Функции "пол" и "потолок" | \left \lfloor \frac{a}{b} \right \rfloor \left \lceil \frac{c}{d} \right \rceil | ![]() |
|
| Косая черта и обратная косая | \left / \frac{a}{b} \right \backslash | ![]() |
|
| Стрелки вверх, вниз и вверх-вниз | \left \uparrow \frac{a}{b} \right \downarrow \quad \left \Uparrow \frac{a}{b} \right \Downarrow \quad \left \updownarrow \frac{a}{b} \right \Updownarrow | ![]() |
|
|
Разделители можно смешивать, |
\left [ 0,1 \right ) |
|
|
| Используйте \left. и \right. если вам не нужно изображения разделителя: |
\left . \frac{A}{B} \right \} \to X | ![]() |
|
| Размеры разделителей | \big( \Big( \bigg( \Bigg( ... \Bigg] \bigg] \Big] \big] |
|
|
| \big\{ \Big\{ \bigg\{ \Bigg\{ ... \Bigg\rangle \bigg\rangle \Big\rangle \big\rangle |
|
||
| \big\| \Big\| \bigg\| \Bigg\| ... \Bigg| \bigg| \Big| \big| | ![]() |
||
| \big\lfloor \Big\lfloor \bigg\lfloor \Bigg\lfloor ... \Bigg\rceil \bigg\rceil \Big\rceil \big\rceil |
|
||
| \big\uparrow \Big\uparrow \bigg\uparrow \Bigg\uparrow ... \Bigg\Downarrow \bigg\Downarrow \Big\Downarrow \big\Downarrow |
|
||
[edit] Разрядка (пробелы)
Заметим, что TeX проставляет большинство пробелов автоматически, но вам может иногда понадобиться ручное управление этим процессом.
| Пример | Синтаксис | Как это выглядит |
|---|---|---|
| двойной четверной пробел | a \qquad b | ![]() |
| четверной пробел | a \quad b | ![]() |
| текстовый пробел | a\ b | ![]() |
| текстовый пробел без генерации PNG | a \mbox{ } b | a b |
| широкий пробел | a\;b | ![]() |
| средний пробел | a\>b | [not supported] |
| небольшой пробел | a\,b | ![]() |
| без пробела | ab | ![]() |
| пробел отрицательной ширины | a\!b | ![]() |
[edit] Выравнивание с обычным текстовым потоком
Благодаря css по умолчанию
img.tex { vertical-align: middle; }
встроенные в строку выражения, такие как
, должны выглядеть неплохо.
Если вы хотите выровнять их по-другому, используйте <font style="vertical-align:-100%;"><math>...</math></font> и поиграйте с аргументом vertical-align чтобы добиться желаемого результата; однако, результат может зависеть от браузера и его настроек.
[edit] Принудительное представление формулы в виде изображения
Чтобы заставить формулу отобразиться в PNG, добавьте \, (малый пробел) в конце формулы (там где он не будет изображен). Это включит PNG, если пользователь работает в режиме "HTML в простых случаях", но не в режиме "HTML если возможно" (настройки отображения математики в настройках пользователя).
Вы также можете использовать \,\! (малый пробел и отменяющий его отрицательный пробел) где угодно внутри тэгов math. В отличие от \,, это включит PNG даже в режиме "HTML если возможно".
Включение PNG может быть полезно, например, для того, чтобы гарантировать что формула отобразится так же как и везде в других местах, или чтобы поправить формулу которая некорректно изображается в HTML (так например, a^{2+2} изображается с излишним акцентом), либо чтобы продемонстрировать как что-то отображается в PNG, в то время как обычно это показывается в виде HTML (как в примерах выше).
Например:
| Синтаксис | Как это выгладит при отображении |
|---|---|
| a^{c+2} | ac + 2 |
| a^{c+2} \, | ![]() |
| a^{\,\!c+2} | ![]() |
| a^{b^{c+2}} | (НЕВЕРНО в режиме "HTML если возможно, иначе PNG"!) |
| a^{b^{c+2}} \, | (НЕВЕРНО в режиме "HTML если возможно, иначе PNG"!) |
| a^{b^{c+2}}\approx 5 | (отображается корректно благодаря " ", не требуется код "\,\!") |
| a^{b^{\,\!c+2}} | ![]() |
| \int\limits_{-N}^{N} e^x\, dx | ![]() |
| \int\limits_{-N}^{N} e^x\, dx \, | ![]() |
| \int\limits_{-N}^{N} e^x\, dx \,\! | ![]() |
Это было протестировано с большинством формул на этой странице, и вроде бы превосходно работает.
Возможно, вы захотите комментировать HTML, чтобы другие люди не "подкорректировали" эту формулу, удалив поправки:
- <!-- Здесь \,\! поставлено для обязательного отображения формулы как PNG вместо HTML. Пожалуйста, не удаляйте. -->
[edit] Примеры











![\phi_n(\kappa) = \frac{1}{4\pi^2\kappa^2} \int\limits_0^\infty \frac{\sin(\kappa R)}{\kappa R} \frac{\partial}{\partial R}\left[R^2\frac{\partial D_n(R)}{\partial R}\right]\,dR\,](http://upload.wikimedia.org/math/c/a/9/ca97085aea43d5d5402edf3abb3af8fc.png)











![u(x,\;y) = \frac{1}{\sqrt{2\pi}}\int\limits_0^\infty f(\xi)\left[g(|x+\xi|,\;y)+g(|x-\xi|,\;y)\right]\,d\xi\,](http://upload.wikimedia.org/math/c/9/3/c935eec887fe187ef4f922b8d47e8de4.png)
[edit] См. также
- Typesetting of mathematical formulas
- Proposed GNU LilyPond support
- w:en:Table of mathematical symbols
- blahtex: a LaTeX to MathML converter for Wikipedia or Blahtex
[edit] Ссылки
- A LaTeX tutorial. http://www.maths.tcd.ie/~dwilkins/LaTeXPrimer/
- A PDF document introducing TeX -- see page 39 onwards for a good introduction to the maths side of things: http://www.ctan.org/tex-archive/info/gentle/gentle.pdf
- A PDF document introducing LaTeX -- skip to page 59 for the math section. See page 72 for a complete reference list of symbols included in LaTeX and AMS-LaTeX. http://www.ctan.org/tex-archive/info/lshort/english/lshort.pdf
- TeX reference card: http://www.csit.fsu.edu/~mimi/tex/tex-refcard-letter.pdf
- http://www.ams.org/tex/amslatex.html
- A set of public domain fixed-size math symbol bitmaps: http://us.metamath.org/symbols/symbols.html
| Содержание: все страницы в пространстве имён Помощь - Meta b: c: n: w: q: wikisource wiktionary Посетителям: Поиск | Кнопка Перейти | URL | Пространства имён | Именование страницы | Секции | Ссылки | Обратные ссылки | Piped links | Интервики | Перенаправления | Переменные | Категории | Служебные страницы |


















![\sqrt[n]{x}](http://upload.wikimedia.org/math/5/e/4/5e4352778f3b156f05ef056f9793ec36.png)







































![\int_a^b f(x) dx = \Bigl[ F(x) \Bigr]_a^b = \Bigl. F(x) \Bigr|_a^b](http://upload.wikimedia.org/math/0/3/c/03c8b8bffe20582a0f2c3c1c6f9a19f5.png)

































![\left [ \frac{a}{b} \right ] \quad \left \lbrack \frac{a}{b} \right \rbrack](http://upload.wikimedia.org/math/7/c/b/7cb5a74153ec87cdda6b92669ba685e1.png)









![\big( \Big( \bigg( \Bigg( ... \Bigg] \bigg] \Big] \big]](http://upload.wikimedia.org/math/0/a/2/0a2c41697f07213ddaa59a92738e8bd6.png)













(НЕВЕРНО в режиме "HTML если возможно, иначе PNG"!)
(НЕВЕРНО в режиме "HTML если возможно, иначе PNG"!)
(отображается корректно благодаря "
", не требуется код "\,\!")

