User:Gregbard/Wikipedia:Logical symbols

This page is a quick reference for the "standard" logic symbols in HTML that should work on most browsers, and is intended mainly for people editing mathematical articles on Wikipedia.

• Font size: x x   <big>x</big> <small>x</small>
• Underline text   underline overline  <u> underline </u> {{overline|overline}}
• Strikeout text   strikeout   <s> strikeout </s>
• Font: italics  bold  — ''italics''   '''bold'''

General font specification: Φ (A)   <span style="font-family: Times New Roman; font-size:100%; font-style:italic; font-weight:bold;"> Φ (A) </span>;

• Superscripts/subscripts: x² x₃ x²
  ₁  x² x₃ x{{su|p=2|b=1}};

• Arrows: ← ↓ → ↑ ↔ ↵ ⇐ ⇓ ⇒ ⇑ ⇔ &larr; &darr; &rarr; &uarr; &harr; &crarr; &lArr; &dArr; &rArr; &uArr; &hArr;
• Logic: ¬ ∧ ∨ ∃ ∀ &not; &and; &or; &exist; &forall;
• Sets: ∈ ∉ ∋ ∅ ⊆ ⊇ ⊃ ⊂ ⊄ ∪ ∩ ℵ &isin; &notin; &ni; &empty; &sube; &supe; &sup; &sub; &nsub; &cup; &cap; &alefsym;
• Relations: ≠ ≤ ≥ < > ≡ ≢ ∼ ≅ ≈ ∝ &ne; &le; &ge; &lt; &gt; &equiv; &nequiv; &sim; &cong; &asymp; &prop;
• Binary operations: ± − × ÷ ⁄ ⊥ ⊕ ⊗ ∗ &plusmn; &minus; &times; &divide; &frasl; &perp; &oplus; &otimes; &lowast;
• Greek: α β γ Α Β Γ etc. &alpha; &beta; &gamma; &Alpha; &Beta; &Gamma; etc.
• Unicode: &#x22A2; (for example) gives the character ⊢ with unicode number x22A2 (hexadecimal). Warning: many of the more obscure unicode characters do not yet work on all browsers. Additionally, this makes it very hard to read the wikitext.

It might be easier to just copy and paste the symbols instead of using them by reference. For example, the unicode symbols at Letterlike symbols can be copied and pasted, for example ℝ instead of &#8477; . Many symbols can also be inserted by clicking on the corresponding link under the edit pane.

See also

• Wikipedia:Manual of Style (philosophy)
• The List of XML and HTML character entity references gives a longer list of HTML characters.
• TeX on Wikipedia
• List of logical symbols
• Help:Formula

External links

Category:Mathematical notation