Manifold Atlas:TeX in the Atlas
(→Intra-article referencing) |
m (→Equations) |
||
(47 intermediate revisions by 2 users not shown) | |||
Line 1: | Line 1: | ||
− | __TOC__ | + | __TOC__<nonumbers/> |
+ | == Introduction == | ||
+ | The manifold Atlas runs wikitex: writing mathematics in the Atlas is very similar to TeXing in other contexts. | ||
+ | |||
+ | If you wish to simply get started by looking at existing code, you may visit the following pages and hit the '''Edit''' button or '''View source''' button at the top of the page (please be sure not to actually edit anything however): | ||
+ | * [[Simplicial volume]] - for theorem environments, displays and citations | ||
+ | * [[B-Bordism]] - for a simple diagram and links to Wikipedia | ||
+ | * [[Aspherical_manifolds#The_Borel_Conjecture|Aspherical manifolds]] - for labeling and intra-article references | ||
+ | * [[Complex_bordism#Milnor_hypersurfaces|Complex bordism]] - for uploading pdfs of proofs | ||
+ | * [[Foliations#Submersions|Foliations]] - for uploading graphics files | ||
== LaTeX formulas == | == LaTeX formulas == | ||
The <tt><nowiki><wikitex></nowiki></tt> environment lets you to insert inline LaTeX formulas using the familiar dollar signs: all atlas articles begin and end with the <tt><nowiki><wikitex></nowiki></tt> tags. For example | The <tt><nowiki><wikitex></nowiki></tt> environment lets you to insert inline LaTeX formulas using the familiar dollar signs: all atlas articles begin and end with the <tt><nowiki><wikitex></nowiki></tt> tags. For example | ||
Line 9: | Line 18: | ||
will appear as: | will appear as: | ||
<wikitex><blockquote> there is a diffeomorphism $f \co M^n_a \cong M^n_b$ </blockquote></wikitex> | <wikitex><blockquote> there is a diffeomorphism $f \co M^n_a \cong M^n_b$ </blockquote></wikitex> | ||
− | Please read the [[#LaTeX style guide|style guide]] for Latex conventions in the | + | Please read the [[#LaTeX style guide|style guide]] for Latex conventions in the Atlas and for command shortcuts. |
Finally note that the normal <tt><nowiki><math></nowiki></tt> tags are disabled so that there is a unique method for math markup. | Finally note that the normal <tt><nowiki><math></nowiki></tt> tags are disabled so that there is a unique method for math markup. | ||
Line 28: | Line 37: | ||
</pre> | </pre> | ||
yields | yields | ||
− | <wikitex> | + | <wikitex><blockquote> |
$$ | $$ | ||
\begin{aligned} | \begin{aligned} | ||
Line 35: | Line 44: | ||
\end{aligned} | \end{aligned} | ||
$$ | $$ | ||
+ | </blockquote></wikitex> | ||
+ | |||
+ | === Equations === | ||
+ | <wikitex>; | ||
+ | Equations, that is numbered displayed formulas can be written using | ||
+ | <tt>$\backslash$begin{equation} $\backslash$label{eq:name} ... $\backslash$end{equation}</tt>. | ||
</wikitex> | </wikitex> | ||
+ | |||
+ | == Refreshing <nowiki><wikitex></nowiki> commands == | ||
+ | Note that WikiTex only creates each graphic file once and then uses that fixed graphic. | ||
+ | |||
+ | If you find that a WikiTeX command is producing the wrong symbol, e.g. if you are using [[#User-defined commands|user-defined commands]] then you can have WikiTeX up-date its graphics files as follows: | ||
+ | |||
+ | * Replace the relevant <tt><nowiki><wikitex>;</nowiki></tt> command(s) by | ||
+ | ** <tt><nowiki><wikitex refresh>;</nowiki></tt> | ||
+ | |||
+ | If you are using user-defined commands, then up-date with | ||
+ | * <tt><nowiki><wikitex refresh include="TeXInclude:Page_name>;</nowiki></tt> | ||
+ | |||
+ | Note that using <tt><nowiki><wikitex refresh>;</nowiki></tt> slows the page down since the graphics are refreshed each time the page is loaded. | ||
+ | |||
+ | Once your WikiTeX commands are working as they should, please remove the <tt>refresh</tt> from you <tt><nowiki><wikitex refresh>;</nowiki></tt> commands. | ||
== Theorems, proofs and such == | == Theorems, proofs and such == | ||
<wikitex>; | <wikitex>; | ||
− | The Atlas has | + | The Atlas has two theorem-like environments: |
+ | * <tt><nowiki>{{beginthm|par1|par2}}</nowiki></tt> ... <tt><nowiki>{{endthm}}</nowiki></tt>, | ||
+ | * <tt><nowiki>{{beginrem|par1|par2}}</nowiki></tt> ... <tt><nowiki>{{endrem}}</nowiki></tt>. | ||
+ | |||
+ | The first produces ''emphasised text'' suitable for theorems, propositions, lemmas etc. | ||
+ | |||
+ | The second produces standard text suitable for remarks. | ||
+ | |||
+ | Both environments have two parameters: the first parameter contains the name of the statement. The second parameter is optional and contains any additions to the heading. For example: | ||
{{beginthm|Conjecture|(Novikov)}} | {{beginthm|Conjecture|(Novikov)}} | ||
Line 51: | Line 89: | ||
</nowiki></pre> | </nowiki></pre> | ||
− | There is also a single proof environment <tt><nowiki>{{beginproof}}</nowiki></tt> | + | There is also a single proof environment <tt><nowiki>{{beginproof}}</nowiki></tt> ... <tt><nowiki>{{endproof}}</nowiki></tt>. For example |
{{beginproof}} | {{beginproof}} | ||
The proof follows from ... . | The proof follows from ... . | ||
Line 66: | Line 104: | ||
You can label Theorems, Lemmas etc and refer to them just as you would in tex. Here is an example: | You can label Theorems, Lemmas etc and refer to them just as you would in tex. Here is an example: | ||
<pre> | <pre> | ||
− | {{beginthm|Conjecture|[Borel Conjecture]}} | + | {{beginthm|Conjecture|[Borel Conjecture]}} \label{con:Borel_Conjecture} |
Every aspherical closed manifold is topologically rigid. | Every aspherical closed manifold is topologically rigid. | ||
{{endthm}} | {{endthm}} | ||
− | In particular the Borel Conjecture | + | In particular the Borel Conjecture \ref{con:Borel_Conjecture} implies ... |
</pre> | </pre> | ||
Line 79: | Line 117: | ||
{{endthm}} | {{endthm}} | ||
In particular the Borel Conjecture \ref{con:Borel_Conjecture} implies ... . | In particular the Borel Conjecture \ref{con:Borel_Conjecture} implies ... . | ||
+ | <!-- Note that the following text can also be used: | ||
+ | |||
+ | * '''<nowiki><label>label_name</label> </nowiki>''' in place of '''\label{label_name}''' | ||
+ | * '''<nowiki><ref>label_name</ref></nowiki>''' in place of '''\ref{label_name}''' --> | ||
+ | |||
+ | == Footnotes == | ||
+ | You can insert footnotes into your article as follows: | ||
+ | * write your footnote inside <tt><nowiki><ref></nowiki></tt> ... <tt><nowiki></ref></nowiki></tt> | ||
+ | * add a section at the end of your page after the reference section by writing | ||
+ | ** <tt><nowiki>==Footnotes== | ||
+ | <references/></nowiki></tt> | ||
+ | |||
+ | For example: '''<tt><nowiki><ref></nowiki></tt> Here is a footnote. <tt><nowiki></ref></nowiki></tt>''' produces this footnote <ref>Here is a footnote.</ref>. | ||
+ | |||
+ | == Fonts == | ||
+ | WikiTeX gives the following commands for various fonts in math-mode: | ||
+ | * <tt><nowiki> $ ... \text{ } ... $ </nowiki></tt> for up-right text: <wikitex>e.g. $... \text{Bundle} ...$ | ||
+ | </wikitex> | ||
+ | * <tt><nowiki> $ ... \mathcal{ } ... $ </nowiki></tt> for caligraphic text: <wikitex>e.g. $... \mathcal{BUNDLE} ...$ </wikitex> | ||
+ | * <tt><nowiki> $ ... \mathscr{ } ... $ </nowiki></tt> for script text: <wikitex>e.g. $... \mathscr{BUNDLE} ...$ </wikitex> | ||
+ | * <tt><nowiki> $ ... \frak{ } ... $ </nowiki></tt> for gothic text: <wikitex>e.g. $... \frak{BUNDLE} ...$</wikitex> | ||
+ | |||
+ | == User-defined commands == | ||
+ | For each separate page, it is possible to create your own user-defined commands with WikiTeX: | ||
+ | |||
+ | * You need to create an auxiliary page called '''TeXInclude:Page_name''' and simply place your new commands there. | ||
+ | ** This new auxiliary page belongs to a different part of the Atlas called the [http://www.map.him.uni-bonn.de/index.php?title=Special%3APrefixIndex&from=&namespace=100 TeXInclude Namespace]. | ||
+ | |||
+ | * In the page you are writing you then need to change the wikitex commands as follows: | ||
+ | ** replace '''<tt><nowiki><wikitex></nowiki></tt>''' with '''<tt><nowiki><wikitex include="TeXInclude:Page_name"></nowiki></tt>''' | ||
+ | |||
+ | For example, see [[TeXInclude:Super manifolds: an incomplete survey|TeXInclude:Super manifolds: an incomplete survey]] and [[Super manifolds: an incomplete survey|Super manifolds: an incomplete survey]]. | ||
+ | |||
+ | If you wish to create a TeXInclude page for a page you are working on please: | ||
+ | # check to see if the page already exists by going to the [http://www.map.him.uni-bonn.de/index.php?title=Special%3APrefixIndex&from=&namespace=100 TeXInclude index] | ||
+ | # create your TeXInclude page in the box below, make sure you type '''TeXInclude:Page_name''' | ||
− | + | <createbox> | |
+ | width=40 | ||
+ | align=left | ||
+ | </createbox> | ||
− | + | === Notes on user-defined commands === | |
+ | * Please ensure that your own commands do not conflict with the existing [[Manifold Atlas:TeX in the Atlas#LaTeX style guide|globally defined commands]]. | ||
+ | * You can read about Namespaces in mediawiki [[metawikipedia:Help:Namespaces|here]]. | ||
== Diagrams == | == Diagrams == | ||
Line 201: | Line 280: | ||
| Kirby-Siebenmann class | | Kirby-Siebenmann class | ||
|} | |} | ||
+ | ==Footnotes== | ||
+ | <references/> |
Latest revision as of 22:11, 28 March 2013
Contents |
Introduction
The manifold Atlas runs wikitex: writing mathematics in the Atlas is very similar to TeXing in other contexts.
If you wish to simply get started by looking at existing code, you may visit the following pages and hit the Edit button or View source button at the top of the page (please be sure not to actually edit anything however):
- Simplicial volume - for theorem environments, displays and citations
- B-Bordism - for a simple diagram and links to Wikipedia
- Aspherical manifolds - for labeling and intra-article references
- Complex bordism - for uploading pdfs of proofs
- Foliations - for uploading graphics files
LaTeX formulas
The <wikitex> environment lets you to insert inline LaTeX formulas using the familiar dollar signs: all atlas articles begin and end with the <wikitex> tags. For example
<wikitex>; ... there is a diffeomorphism $f \co M^n_a \cong M^n_b$ ... </wikitex>
will appear as:
there is a diffeomorphism![]()
Please read the style guide for Latex conventions in the Atlas and for command shortcuts.
Finally note that the normal <math> tags are disabled so that there is a unique method for math markup.
Displayed formulas
Displayed formulas can be obtained by double-dollars $$...$$. You can get tags at the right margin by the command \eqno{...} within a displayed formula. There is no automatic numbering available, so please number your formulas by hand, if necessary.
Multiline formulas can be obtained by the AMS-LaTeX environments “gathered”, “aligned” and “alignedat”. For example,
<wikitex>; $$ \begin{aligned} H^k(K(G,k);H) &\cong \Hom(H_k(K(G,k);H) \\ &\cong \Hom(G,H). \end{aligned} $$ </wikitex>
yields
Equations
Equations, that is numbered displayed formulas can be written using
begin{equation}
label{eq:name} ...
end{equation}.
Refreshing <wikitex> commands
Note that WikiTex only creates each graphic file once and then uses that fixed graphic.
If you find that a WikiTeX command is producing the wrong symbol, e.g. if you are using user-defined commands then you can have WikiTeX up-date its graphics files as follows:
- Replace the relevant <wikitex>; command(s) by
- <wikitex refresh>;
If you are using user-defined commands, then up-date with
- <wikitex refresh include="TeXInclude:Page_name>;
Note that using <wikitex refresh>; slows the page down since the graphics are refreshed each time the page is loaded.
Once your WikiTeX commands are working as they should, please remove the refresh from you <wikitex refresh>; commands.
Theorems, proofs and such
The Atlas has two theorem-like environments:
- {{beginthm|par1|par2}} ... {{endthm}},
- {{beginrem|par1|par2}} ... {{endrem}}.
The first produces emphasised text suitable for theorems, propositions, lemmas etc.
The second produces standard text suitable for remarks.
Both environments have two parameters: the first parameter contains the name of the statement. The second parameter is optional and contains any additions to the heading. For example:
Conjecture 4.1 (Novikov). The higher signatures are homotopy invariants.
is generated by the code
{{beginthm|Conjecture|(Novikov)}} The higher signatures are homotopy invariants. {{endthm}}
There is also a single proof environment {{beginproof}} ... {{endproof}}. For example
Proof. The proof follows from ... .
![\square](/images/math/7/b/3/7b39786e26d837954085516609e12817.png)
is generated by the code
{{beginproof}} The proof follows from ... . {{endproof}}
Intra-article referencing
You can label Theorems, Lemmas etc and refer to them just as you would in tex. Here is an example:
{{beginthm|Conjecture|[Borel Conjecture]}} <label>con:Borel_Conjecture</label> Every aspherical closed manifold is topologically rigid. {{endthm}} In particular the Borel Conjecture 5.1 implies ...
Produces the output:
Conjecture 5.1 [Borel Conjecture].
Every aspherical closed manifold is topologically rigid.
In particular the Borel Conjecture 5.1 implies ... .
Footnotes
You can insert footnotes into your article as follows:
- write your footnote inside <ref> ... </ref>
- add a section at the end of your page after the reference section by writing
- ==Footnotes== <references/>
For example: <ref> Here is a footnote. </ref> produces this footnote [1].
Fonts
WikiTeX gives the following commands for various fonts in math-mode:
- $ ... \text{ } ... $ for up-right text: e.g.
- $ ... \mathcal{ } ... $ for caligraphic text: e.g.
- $ ... \mathscr{ } ... $ for script text: e.g.
- $ ... \frak{ } ... $ for gothic text: e.g.
User-defined commands
For each separate page, it is possible to create your own user-defined commands with WikiTeX:
- You need to create an auxiliary page called TeXInclude:Page_name and simply place your new commands there.
- This new auxiliary page belongs to a different part of the Atlas called the TeXInclude Namespace.
- In the page you are writing you then need to change the wikitex commands as follows:
- replace <wikitex> with <wikitex include="TeXInclude:Page_name">
For example, see TeXInclude:Super manifolds: an incomplete survey and Super manifolds: an incomplete survey.
If you wish to create a TeXInclude page for a page you are working on please:
- check to see if the page already exists by going to the TeXInclude index
- create your TeXInclude page in the box below, make sure you type TeXInclude:Page_name
Notes on user-defined commands
- Please ensure that your own commands do not conflict with the existing globally defined commands.
- You can read about Namespaces in mediawiki here.
Diagrams
The Atlas supports the diagram package Xy-pic. So making diagrams with xy-pic in the Atlas works just as it would in a usual TeX file: make sure you are in math-mode. Here are a couple examples from the Atlas:
Further information is available from:
Lists
Lists are easily produced.
- Just use
for each item.
- To creata a sub-list, use
.
- To creata a sub-list, use
- If you want to number the list you can use # .
- For more information see lists in Wikipedia.
LaTeX style guide
- Shortcuts for blackboard bold capital letters are available: for example type $\Cc,\Qq,\Rr$ for
.
- Expressions consisting of more than one letter should usually not be written: For example, $Diff(M)$ since this results in the cumbersome:
. A TeX-nically better way is $\mathop{\mathrm{Diff}}(M)$, which yields the elegant rendering
. For your convenience, some manifold-related expressions are predefined in the <wikitex> environment, in addition to the standard operators like \sin, \exp etc. Feel free to request more commonly used operators and abbreviations.
code | result | meaning |
---|---|---|
\id | ![]() |
identity map |
\Sq | ![]() |
Steenrod squares |
\Homeo | ![]() |
group of homeomorphisms of a topoloical space |
\Diff | ![]() |
group of diffeomorphisms of a smooth manifold |
\SDiff | ![]() |
diffeomorphisms under some constraint |
\Hom | ![]() |
homomorphisms of an algebraic structure |
\End | ![]() |
endomorphisms |
\Aut | ![]() |
automorphisms |
\Inn | ![]() |
inner automorphisms |
\Out | ![]() |
outer automorphisms |
\GL | ![]() |
general linear group |
\SL | ![]() |
special linear group |
\SO | ![]() |
special orthogonal group |
\SU | ![]() |
special unitary group |
\Spin | ![]() |
Spin group |
\RP | ![]() |
real projective space |
\CP | ![]() |
complex projective space |
\HP | ![]() |
quaternionic projective space |
\Top | ![]() |
topological category |
\PL | ![]() |
piecewise linear category |
\Cat | ![]() |
any category |
\KS | ![]() |
Kirby-Siebenmann class |
Footnotes
- ↑ Here is a footnote.