Manifold Atlas:TeX in the Atlas
(→User-defined commands) |
(→User-defined commands) |
||
Line 89: | Line 89: | ||
* You need to create a page in the TeXInclude [[namespace]] called '''TeXInclude:Page_name''' and simply place your new commands there. | * You need to create a page in the TeXInclude [[namespace]] called '''TeXInclude:Page_name''' and simply place your new commands there. | ||
− | * | + | |
+ | * In your page, you 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]]. | * For example, see [[TeXInclude:Super manifolds|TeXInclude:Super manifolds]] and [[Super manifolds|Super manifolds]]. | ||
Line 95: | Line 97: | ||
* If you wish to create a TeXInclude page for a page you are working on please: | * 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] | # 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> | <createbox> | ||
Line 101: | Line 103: | ||
align=left | align=left | ||
</createbox> | </createbox> | ||
+ | |||
+ | === Notes === | ||
+ | * Please ensure that your own commands do not conflict with the existing [[globally defined commands]]. | ||
== Diagrams == | == Diagrams == |
Revision as of 10:34, 11 August 2010
Contents |
1 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 command shortcuts.
Finally note that the normal <math> tags are disabled so that there is a unique method for math markup.
1.1 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
![\displaystyle \begin{aligned} H^k(K(G,k);H) &\cong \Hom(H_k(K(G,k),H) \\ &\cong \Hom(G,H). \end{aligned}](/images/math/e/2/7/e27e1bd61e0c25d5d1f9bac964b9d7d3.png)
2 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 2.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 ... .
![\square](/images/math/7/b/3/7b39786e26d837954085516609e12817.png)
is generated by the code
{{beginproof}} The proof follows from ... . {{endproof}}
3 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 3.1 [Borel Conjecture].
Every aspherical closed manifold is topologically rigid.
In particular the Borel Conjecture 3.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}
4 User-defined commands
For each separate page, it is possible to create your own user-defined commands with WikiTeX:
- You need to create a page in the TeXInclude namespace called TeXInclude:Page_name and simply place your new commands there.
- In your page, you 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
4.1 Notes
- Please ensure that your own commands do not conflict with the existing globally defined commands.
5 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:
6 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.
7 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 |