Manifold Atlas:TeX in the Atlas
m (Reverted edits by Diarmuid Crowley (talk) to last revision by Daniel Müllner) |
m |
||
Line 1: | Line 1: | ||
− | __TOC__ | + | __TOC__<nonumbers/> |
== 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 9: | ||
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. |
− | == Displayed formulas == | + | Finally note that the normal <tt><nowiki><math></nowiki></tt> tags are disabled so that there is a unique method for math markup. |
+ | |||
+ | === Displayed formulas === | ||
Displayed formulas can be obtained by double-dollars <tt><nowiki>$$...$$</nowiki></tt>. You can get tags at the right margin by the command <tt>\eqno{...}</tt> within a displayed formula. There is no automatic numbering available, so please number your formulas by hand, if necessary. | Displayed formulas can be obtained by double-dollars <tt><nowiki>$$...$$</nowiki></tt>. You can get tags at the right margin by the command <tt>\eqno{...}</tt> within a displayed formula. There is no automatic numbering available, so please number your formulas by hand, if necessary. | ||
Line 35: | Line 37: | ||
</wikitex> | </wikitex> | ||
− | == Theorems and such == | + | == Refreshing <nowiki><wikitex></nowiki> commands == |
− | The | + | 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 == | ||
+ | <wikitex>; | ||
+ | The Atlas has a single theorem-like environment <tt><nowiki>{{beginthm|par1|par2}}</nowiki></tt> and <tt><nowiki>{{endthm}}</nowiki></tt>. The first parameter contains the name of the statement. The second parameter is optional and contains any additions to the theorem heading. For example: | ||
{{beginthm|Conjecture|(Novikov)}} | {{beginthm|Conjecture|(Novikov)}} | ||
Line 47: | Line 65: | ||
{{endthm}} | {{endthm}} | ||
</nowiki></pre> | </nowiki></pre> | ||
+ | |||
+ | There is also a single proof environment <tt><nowiki>{{beginproof}}</nowiki></tt> and <tt><nowiki>{{endproof}}</nowiki></tt>. For example | ||
+ | {{beginproof}} | ||
+ | The proof follows from ... . | ||
+ | {{endproof}} | ||
+ | is generated by the code | ||
+ | <pre><nowiki> | ||
+ | {{beginproof}} | ||
+ | The proof follows from ... . | ||
+ | {{endproof}} | ||
+ | </nowiki></pre> | ||
+ | </wikitex> | ||
+ | |||
+ | == Intra-article referencing == | ||
+ | You can label Theorems, Lemmas etc and refer to them just as you would in tex. Here is an example: | ||
+ | <pre> | ||
+ | {{beginthm|Conjecture|[Borel Conjecture]}} \label{con:Borel_Conjecture} | ||
+ | Every aspherical closed manifold is topologically rigid. | ||
+ | {{endthm}} | ||
+ | In particular the Borel Conjecture \ref{con:Borel_Conjecture} implies ... | ||
+ | </pre> | ||
+ | |||
+ | Produces the output: | ||
+ | |||
+ | {{beginthm|Conjecture|[Borel Conjecture]}} | ||
+ | \label{con:Borel_Conjecture} | ||
+ | Every aspherical closed manifold is topologically rigid. | ||
+ | {{endthm}} | ||
+ | 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}''' | ||
+ | |||
+ | == 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|TeXInclude:Super manifolds]] and [[Super manifolds|Super manifolds]]. | ||
+ | |||
+ | 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 == | ||
+ | The Atlas supports the diagram package [http://www.tug.org/applications/Xy-pic/ 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: | ||
+ | * [[Exotic spheres#Further discussion|a braid]], | ||
+ | * [[B-Bordism#Introduction|a simple triangle]]. | ||
+ | Further information is available from: | ||
+ | * [http://www.ctan.org/tex-archive/macros/generic/diagrams/xypic/ The CTAN directory], | ||
+ | * [[Media:Xyguide.pdf|the xy-pic users guide]], | ||
+ | * [[Media:Xyrefer.pdf|the xy-pic reference manual]]. | ||
+ | |||
+ | == Lists == | ||
+ | <wikitex>; | ||
+ | Lists are easily produced. | ||
+ | * Just use $ \ast $ for each item. | ||
+ | ** To creata a sub-list, use $ \ast \ast $. | ||
+ | * If you want to number the list you can use <nowiki> # </nowiki>. | ||
+ | * For more information see [[Wikipedia:Help:List|lists in Wikipedia]]. | ||
+ | </wikitex> | ||
== LaTeX style guide == | == LaTeX style guide == | ||
* Shortcuts for blackboard bold capital letters are available: for example type <tt><nowiki>$\Cc,\Qq,\Rr$</nowiki></tt> for <tex>\Cc,\Qq,\Rr</tex>. | * Shortcuts for blackboard bold capital letters are available: for example type <tt><nowiki>$\Cc,\Qq,\Rr$</nowiki></tt> for <tex>\Cc,\Qq,\Rr</tex>. | ||
− | * Expressions consisting of more than one letter should usually not be written: For example, <tt><nowiki>$Diff(M)$</nowiki></tt> since this results in the cumbersome: <tex>Diff(M)</tex> | + | * Expressions consisting of more than one letter should usually not be written: For example, <tt><nowiki>$Diff(M)$</nowiki></tt> since this results in the cumbersome: <tex>Diff(M)</tex>. A TeX-nically better way is <tt><nowiki>$\mathop{\mathrm{Diff}}(M)$</nowiki></tt>, which yields the elegant rendering <tex>\mathop{\mathrm{Diff}}(M)</tex>. For your convenience, some manifold-related expressions are predefined in the <tt><nowiki><wikitex></nowiki></tt> environment, in addition to the standard operators like <tt><nowiki>\sin</nowiki></tt>, <tt><nowiki>\exp</nowiki></tt> etc. Feel free to request more commonly used operators and abbreviations. |
{| border=1 | {| border=1 |
Revision as of 16:22, 25 November 2010
Contents |
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
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 a single theorem-like environment {{beginthm|par1|par2}} and {{endthm}}. The first parameter contains the name of the statement. The second parameter is optional and contains any additions to the theorem heading. For example:
Conjecture 3.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}} and {{endproof}}. For example
Proof. The proof follows from ... .
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} Every aspherical closed manifold is topologically rigid. {{endthm}} In particular the Borel Conjecture \ref{con:Borel_Conjecture} implies ...
Produces the output:
Conjecture 4.1 [Borel Conjecture].
Every aspherical closed manifold is topologically rigid.
In particular the Borel Conjecture 4.1 implies ... .
Note that the following text can also be used:
- <label>label_name</label> in place of \label{label_name}
- </wikitex><ref>label_name</ref><wikitex>; in place of \ref{label_name}
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 and Super manifolds.
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 .
- 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 |