Authoring Guidelines

# Organization of Articles

## Basic Outline

Each Rough Guide should contain the following sections

• Getting Started
• The Basics
• (subject specific sections)
• Going Further
• References

## Tagging

Articles are organized using the tags which are applied to each page. At a minimum, each page should have three tags:

• Level from 0-7 (e.g. "level4"), as shown in the table below:
 Level 0 Level 1 Level 2 Level 3 Level 4 Level 5 Level 6 Level 7 HS early UG mid UG late UG early Grad mid Grad late Grad Specialist
• MSC classification (e.g. "msc24")
• Main category tag (e.g. "topology" or "algebra")
• Sub category tag (e.g. "differential-topology" or "abstract-algebra")

The tags will be used to populate navigation elements.

# Article Syntax

## Basic Syntax

Simple bold should be used when new terms are defined, e.g. a **topology** is....

## Custom Environments

### Definition Style

 Definition A metric space is a set X of points together with a distance function with $d: X\times X \to \mathbb{R}$ such that: $d(x,y)\geq 0$ and $d(x,y)=0 \iff x=y$ (positivity); $d(x,y)=d(y,x)$ (symmetry); $d(x,z)\leq d(x,y)+d(y,z)$ (triangle inequality). [[div class="defn-outer"]] [[div class="defn-title"]] Definition [[/div]] [[div class="defn-inner"]] A **metric space** is a set //X// of points together with a //distance function// with [[$d: X\times X \to \mathbb{R}$]] such that: # [[$d(x,y)\geq 0$]] and [[$d(x,y)=0 \iff x=y$]] (positivity); # [[$d(x,y)=d(y,x)$]] (symmetry); # [[$d(x,z)\leq d(x,y)+d(y,z)$]] (triangle inequality). [[/div]] [[/div]] 

### Theorem Style

 Theorem (Loop Theorem) Let $N$ be a normal subgroup of $\pi_1(S)$, where $S$ is a connected surface in the boundary of a palace $M$. Let $f:D^2\to M$ be a map such that $f(\del D^2) \subset S \subset \del M$ and $f|_{\del D^2} \not \in N$. Then there exists an embedding $g:D^2 \to M$ such that $g(\del D^2) \subset S \subset \del M$ and $g|_{\del D^2} \not \in N$. [[div class="thm-outer"]] [[div class="thm-title"]] Theorem (Loop Theorem) [[/div]] [[div class="thm-inner"]] Let [[$N$]] be a normal subgroup of [[$\pi_1(S)$]], where [[$S$]] is a connected surface in the boundary of a palace [[$M$]]. Let [[$f:D^2\to M$]] be a map such that [[$f(\del D^2) \subset S \subset \del M$]] and [[$f|_{\del D^2} \not \in N$]]. Then there exists an embedding [[$g:D^2 \to M$]] such that [[$g(\del D^2) \subset S \subset \del M$]] and [[$g|_{\del D^2} \not \in N$]]. [[/div]] [[/div]] 

### Theorem/Proof Style

 Theorem (Loop Theorem) Let $N$ be a normal subgroup of $\pi_1(S)$, where $S$ is a connected surface in the boundary of a palace $M$. Let $f:D^2\to M$ be a map such that $f(\del D^2) \subset S \subset \del M$ and $f|_{\del D^2} \not \in N$. Then there exists an embedding $g:D^2 \to M$ such that $g(\del D^2) \subset S \subset \del M$ and $g|_{\del D^2} \not \in N$. [[div class="thm-outer"]] [[div class="thm-title"]] Theorem (Loop Theorem) [[/div]] [[div class="thm-inner"]] Let [[$N$]] be a normal subgroup of [[$\pi_1(S)$]], where [[$S$]] is a connected surface in the boundary of a palace [[$M$]]. Let [[$f:D^2\to M$]] be a map such that [[$f(\del D^2) \subset S \subset \del M$]] and [[$f|_{\del D^2} \not \in N$]]. Then there exists an embedding [[$g:D^2 \to M$]] such that [[$g(\del D^2) \subset S \subset \del M$]] and [[$g|_{\del D^2} \not \in N$]]. [[/div]] [[div class="proof-outer"]] [[collapsible show="Proof »" hide="Proof «"]] [[div class="proof-inner"]] Here is the proof. [[$\blacksquare$]] [[/div]] [[/collapsible]] [[/div]] [[/div]] 

## Sidebars

The proof class may also be used for sidebars:

 [[div class="proof-outer"]] [[collapsible show="Sidebar »" hide="Sidebar «"]] [[div class="proof-inner"]] Here is some interesting supplemental information that may be collapsed at will. [[/div]] [[/collapsible]] [[/div]] 

## Figures

Although the definition of a topology is not very intuitive, open sets can be thought of as those for which limits may not exist within the set (top), while in closed sets, such limits are contained within the set (bottom).

Figures may be floated left and right using the code [[div class="figureleft"]] and [[div class="figureright"]], as in the following example:

[[div class="figureleft"]]
[[=image open-and-closed.svg]]
//Although the definition of a topology is not very intuitive, **open sets** can be thought of as those for which limits may not exist within the set (top), while in **closed sets**, such limits are contained within the set (bottom).//
[[/div]]

page revision: 20, last edited: 26 Sep 2009 12:07