Authoring Guidelines

Organization of Articles

Basic Outline

Each Rough Guide should contain the following sections

• Getting Started
• The Basics
• (subject specific sections)
• Going Further
• The Road Ahead
• 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 such that: and (positivity); (symmetry); (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 be a normal subgroup of , where is a connected surface in the boundary of a palace . Let be a map such that and . Then there exists an embedding such that and .

[[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 be a normal subgroup of , where is a connected surface in the boundary of a palace . Let be a map such that and . Then there exists an embedding such that and . Proof » Here is the proof.

[[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:

Sidebar » Here is some interesting supplemental information that may be collapsed at will.

[[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]]