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.

General font specification: Φ (A) &emsp; < span style="font-family: Times New Roman; font-size:100%; font-style:italic; font-weight:bold;"> Φ (A) < /span>;
 * Font size: x x &emsp; x x
 * Underline text &emsp; underline $\overline{overline}$&emsp; underline $\overline{overline}$
 * Strikeout text &emsp; strikeout &emsp; strikeout
 * Font:&ensp;italics&ensp; bold &ensp;—&ensp;  italics  &ensp;  bold 
 * Superscripts/subscripts: x2 x3 x$2 1$&emsp; x2 x3 x$2 1$ ;


 * Arrows: &larr; &darr; &rarr; &uarr; &harr; &crarr; &lArr; &dArr; &rArr; &uArr; &hArr; &amp;larr; &amp;darr; &amp;rarr; &amp;uarr; &amp;harr; &amp;crarr; &amp;lArr; &amp;dArr; &amp;rArr; &amp;uArr; &amp;hArr;
 * Logic: &not; &and; &or; &exist; &forall; &amp;not; &amp;and; &amp;or; &amp;exist; &amp;forall;
 * Sets: &isin; &notin; &ni; &empty; &sube; &supe; &sup; &sub; &nsub; &cup; &cap; &alefsym; &amp;isin; &amp;notin; &amp;ni; &amp;empty; &amp;sube; &amp;supe; &amp;sup; &amp;sub; &amp;nsub; &amp;cup; &amp;cap; &amp;alefsym;
 * Relations: &ne; &le; &ge; &lt; &gt; &equiv; ≢ &sim; &cong; &asymp; &prop; &amp;ne; &amp;le; &amp;ge; &amp;lt; &amp;gt; &amp;equiv; &amp;nequiv; &amp;sim; &amp;cong; &amp;asymp; &amp;prop;
 * Binary operations: &plusmn; &minus; &times; &divide; &frasl; &perp; &oplus; &otimes; &lowast; &amp;plusmn; &amp;minus; &amp;times; &amp;divide; &amp;frasl; &amp;perp; &amp;oplus; &amp;otimes; &amp;lowast;
 * Greek: &alpha; &beta; &gamma; &Alpha; &Beta; &Gamma; etc. &amp;alpha; &amp;beta; &amp;gamma; &amp;Alpha; &amp;Beta; &amp;Gamma; etc.
 * Unicode: &amp;#x22A2; (for example) gives the character &#x22A2; 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 &amp;#8477;. Many symbols can also be inserted by clicking on the corresponding link under the edit pane.