Manifold Atlas:TeX in the Atlas

Revision as of 16:19, 25 November 2010

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 $__TOC__<nonumbers/> == 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 <pre> ... there is a diffeomorphism $f \co M^n_a \cong M^n_b$ ... </pre> will appear as: <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 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. === 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. Multiline formulas can be obtained by the AMS-LaTeX environments “gathered”, “aligned” and “alignedat”. For example, <pre> <wikitex>; $$ \begin{aligned} H^k(K(G,k);H) &\cong \Hom(H_k(K(G,k);H) \ &\cong \Hom(G,H). \end{aligned} $$ </wikitex> </pre> yields <wikitex>; $$ \begin{aligned} H^k(K(G,k);H) &\cong \Hom(H_k(K(G,k),H) \ &\cong \Hom(G,H). \end{aligned} $$ </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 == <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)}} The higher signatures are homotopy invariants. {{endthm}} is generated by the code <pre><nowiki> {{beginthm|Conjecture|(Novikov)}} The higher signatures are homotopy invariants. {{endthm}} </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]}} &#92;label{con:Borel_Conjecture} Every aspherical closed manifold is topologically rigid. {{endthm}} In particular the Borel Conjecture &#92;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 '''&#92;label{label_name}''' * '''<nowiki><ref>label_name</ref></nowiki>''' in place of '''&#92;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 == * 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>. 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 |- ! code ! result ! meaning |- | <tt>\id</tt> | <tex>\id</tex> | identity map |- | <tt>\Sq</tt> | <tex>\Sq</tex> | Steenrod squares |- | <tt>\Homeo</tt> | <tex>\Homeo</tex> | group of homeomorphisms of a topoloical space |- | <tt>\Diff</tt> | <tex>\Diff</tex> | group of diffeomorphisms of a smooth manifold |- | <tt>\SDiff</tt> | <tex>\SDiff</tex> | diffeomorphisms under some constraint |- | <tt>\Hom</tt> | <tex>\Hom</tex> | homomorphisms of an algebraic structure |- | <tt>\End</tt> | <tex>\End</tex> | endomorphisms |- | <tt>\Aut</tt> | <tex>\Aut</tex> | automorphisms |- | <tt>\Inn</tt> | <tex>\Inn</tex> | inner automorphisms |- | <tt>\Out</tt> | <tex>\Out</tex> | outer automorphisms |- | <tt>\GL</tt> | <tex>\GL</tex> | general linear group |- | <tt>\SL</tt> | <tex>\SL</tex> | special linear group |- | <tt>\SO</tt> | <tex>\SO</tex> | special orthogonal group |- | <tt>\SU</tt> | <tex>\SU</tex> | special unitary group |- | <tt>\Spin</tt> | <tex>\Spin</tex> | Spin group |- | <tt>\RP</tt> | <tex>\RP</tex> | real projective space |- | <tt>\CP</tt> | <tex>\CP</tex> | complex projective space |- | <tt>\HP</tt> | <tex>\HP</tex> | quaternionic projective space |- | <tt>\Top</tt> | <tex>\Top</tex> | topological category |- | <tt>\PL</tt> | <tex>\PL</tex> | piecewise linear category |- | <tt>\Cat</tt> | <tex>\Cat</tex> | any category |- | <tt>\KS</tt> | <tex>\KS</tex> | Kirby-Siebenmann class |}f \co M^n_a \cong M^n_b$

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.

2 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}$$

3 Theorems and such

The manifold 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:

is generated by the code

{{beginthm|Conjecture|(Novikov)}}
The higher signatures are homotopy invariants.
{{endthm}}

4 LaTeX style guide

• Shortcuts for blackboard bold capital letters are available: for example type $\Cc,\Qq,\Rr$ for $\Cc,\Qq,\Rr$.

• Expressions consisting of more than one letter should usually not be written: For example, $Diff(M)$ since this results in the cumbersome: $Diff(M)$$. A TeX-nically better way is $\mathop{\mathrm{Diff}}(M)$, which yields the elegant rendering $\mathop{\mathrm{Diff}}(M)$. 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	Tex syntax error $\id$	identity map
\Sq	$\Sq$	Steenrod squares
\Homeo	$\Homeo$	group of homeomorphisms of a topoloical space
\Diff	$\Diff$	group of diffeomorphisms of a smooth manifold
\SDiff	$\SDiff$	diffeomorphisms under some constraint
\Hom	$\Hom$	homomorphisms of an algebraic structure
\End	$\End$	endomorphisms
\Aut	$\Aut$	automorphisms
\Inn	$\Inn$	inner automorphisms
\Out	$\Out$	outer automorphisms
\GL	$\GL$	general linear group
\SL	$\SL$	special linear group
\SO	$\SO$	special orthogonal group
\SU	$\SU$	special unitary group
\Spin	$\Spin$	Spin group
\RP	$\RP$	real projective space
\CP	$\CP$	complex projective space
\HP	$\HP$	quaternionic projective space
\Top	$\Top$	topological category
\PL	$\PL$	piecewise linear category
\Cat	$\Cat$	any category
\KS	$\KS$	Kirby-Siebenmann class