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 $d: X\times X \to \mathbb{R}$ such that:

  1. $d(x,y)\geq 0$ and $d(x,y)=0 \iff x=y$ (positivity);
  2. $d(x,y)=d(y,x)$ (symmetry);
  3. $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

metric-and-topological-spaces.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).

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]]
Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License