De DIA

1 Technical Symbols  

1.1 Operadores Lógicos  

≠ ≠ no igual
& & & ampersand
∧ ∧ operador "y"
¬ ¬ ¬ operador "no"
∼ ∼ tilde operador = varies with = similar to
∨ ∨ logical ‘or’ sign
→ → rightwards arrow
← ← leftwards arrow
↔ ↔ left right arrow
⇕ up down double arrow
≡ ≡ identical to
∀ ∀ for all
∃ ∃ there exists
℩ symbol for definite description operator "the"
□ box = necessarily
◊ ◊ lozenge = possibly
⇒ ⇒ rightwards double arrow
⇐ ⇐ leftwards double arrow
⇔ ⇔ left right double arrow
∴ ∴ therefore
⊥ ⊥ up tack = orthogonal to = perpendicular
⊤ down tack = top
⊣ left turnstile = adjoint
⊢ turnstile, proves
⊨ models, makes true
⊬ doesn't prove
⊭ doesn't model, doesn't make true

1.2 Set Theory Symbols  

∈ ∈ element of
∉ ∉ not an element of
∋ ∋ contains as member
∅ ∅ empty set
∩ ∩ intersection = cap
∪ ∪ union = cup
⊂ ⊂ subset of
⊃ ⊃ superset of
⊄ ⊄ not a subset of
⊆ ⊆ subset of or equal to
⊇ ⊇ superset of or equal to
○ function composition
⨡ domain restrictor

1.3 Mathematical Symbols  

− − minus sign
± ± ± plus-or-minus sign
× × × multiply sign
÷ ÷ ÷ divide sign
< &lt; &#60; less-than sign
> &gt; &#62; greater-than sign
&le; &#8804; less-than or equal to
&ge; &#8805; greater-than or equal to
&#8816; not less-than or equal to
¼ &frac14; &#188; fraction one-quarter
½ &frac12; &#189; fraction one-half
¾ &frac34; &#190; fraction three-quarters
¹ &sup1; &#185; superscript one
² &sup2; &#178; superscript two
³ &sup3; &#179; superscript three
° &deg; &#176; degree sign
· &middot; &#183; middle dot
ƒ &fnof; &#402; latin small f with hook = function = florin
&prime; &#8242; prime = minutes = feet
&Prime; &#8243; double prime = seconds = inches
&oline; &#8254; overline = spacing overscore
&frasl; &#8260; fraction slash
&alefsym; &#8501; Hebrew alef
&part; &#8706; partial differential
&sum; &#8721; n-ary sumation
&nabla; &#8711; nabla = backward difference
&radic; &#8730; square root = radical sign
&prop; &#8733; proportional to
&infin; &#8734; infinity
&ang; &#8736; angle
&int; &#8747; integral
&cong; &#8773; approximately equal to
&asymp; &#8776; almost equal to = asymptotic to
&oplus; &#8853; circled plus = direct sum
&otimes; &#8855; circled times = vector product
&permil; &#8240; per mille sign
&real; &#8476; set of real numbers
&weierp; &#8472; power set
&image; &#8465; fraktur I, imaginary, interpretation
&#8826; precedes
&#8827; succeeds
&#8828; precedes or equal to
&#8829; succeeds or equal to
&#8928; not precedes or equal to
&#8882; is contained in as subgroup
&#8883; contains as subgroup
&#8884; is contained in or equal to
&#8463; Dirac constant
&#8469; &#8469; set of natural numbers
&#8474; &#8474; set of rational numbers
&#8484; &#8484; set of integers

1.4 Miscellaneous Technical Symbols  

&uarr; &#8593; upwards arrow
&darr; &#8595; downwards arrow

2 Alphabetic Characters  

2.1 Latin Characters  

À &Agrave; &#192; capital A, grave accent
Á &Aacute; &#193; capital A, acute accent
 &Acirc; &#194; capital A, circumflex accent
à &Atilde; &#195; capital A, tilde
Ä &Auml; &#196; capital A, dieresis or umlaut mark
Å &Aring; &#197; capital A, ring
Æ &AElig; &#198; capital AE diphthong (ligature)
Ç &Ccedil; &#199; capital C, cedilla
È &Egrave; &#200; capital E, grave accent
É &Eacute; &#201; capital E, acute accent
Ê &Ecirc; &#202; capital E, circumflex accent
Ë &Euml; &#203; capital E, dieresis or umlaut mark
Ì &Igrave; &#204; capital I, grave accent
Í &Iacute; &#205; capital I, acute accent
Î &Icirc; &#206; capital I, circumflex accent
Ï &Iuml; &#207; capital I, dieresis or umlaut mark
Ð &ETH; &#208; capital Eth, Icelandic
Ñ &Ntilde; &#209; capital N, tilde
Ò &Ograve; &#210; capital O, grave accent
Ó &Oacute; &#211; capital O, acute accent
Ô &Ocirc; &#212; capital O, circumflex accent
Õ &Otilde; &#213; capital O, tilde
Ö &Ouml; &#214; capital O, dieresis or umlaut mark
Ø &Oslash; &#216; capital O, slash
Ù &Ugrave; &#217; capital U, grave accent
Ú &Uacute; &#218; capital U, acute accent
Û &Ucirc; &#219; capital U, circumflex accent
Ü &Uuml; &#220; capital U, dieresis or umlaut mark
Ý &Yacute; &#221; capital Y, acute accent
Þ &THORN; &#222; capital THORN, Icelandic
ß &szlig; &#223; small sharp s, German (sz ligature)
à &agrave; &#224; small a, grave accent
á &aacute; &#225; small a, acute accent
â &acirc; &#226; small a, circumflex accent
ã &atilde; &#227; small a, tilde
ä &auml; &#228; small a, dieresis or umlaut mark
å &aring; &#229; small a, ring
æ &aelig; &#230; small ae diphthong (ligature)
ç &ccedil; &#231; small c, cedilla
è &egrave; &#232; small e, grave accent
é &eacute; &#233; small e, acute accent
ê &ecirc; &#234; small e, circumflex accent
ë &euml; &#235; small e, dieresis or umlaut mark
ì &igrave; &#236; small i, grave accent
í &iacute; &#237; small i, acute accent
î &icirc; &#238; small i, circumflex accent
ï &iuml; &#239; small i, dieresis or umlaut mark
ð &eth; &#240; small eth, Icelandic
ñ &ntilde; &#241; small n, tilde
ò &ograve; &#242; small o, grave accent
ó &oacute; &#243; small o, acute accent
ô &ocirc; &#244; small o, circumflex accent
õ &otilde; &#245; small o, tilde
ö &ouml; &#246; small o, dieresis or umlaut mark
ø &oslash; &#248; small o, slash
ù &ugrave; &#249; small u, grave accent
ú &uacute; &#250; small u, acute accent
û &ucirc; &#251; small u, circumflex accent
ü &uuml; &#252; small u, dieresis or umlaut mark
ý &yacute; &#253; small y, acute accent
þ &thorn; &#254; small thorn, Icelandic
ÿ &yuml; &#255; small y, dieresis or umlaut mark
Π&OElig; &#338; latin capital ligature oe
œ &oelig; &#339; latin small ligature oe
Š &Scaron; &#352; latin capital lr s with caron
š &scaron; &#353; latin small r s with caron
Ÿ &Yuml; &#376; latin capital letter y with diaeresis

2.2 Greek Characters  

Α &Alpha; &#913; greek capital letter alpha
Β &Beta; &#914; greek capital letter beta
Γ &Gamma; &#915; greek capital letter gamma
Δ &Delta; &#916; greek capital letter delta
Ε &Epsilon; &#917; greek capital letter epsilon
Ζ &Zeta; &#918; greek capital letter zeta
Η &Eta; &#919; greek capital letter eta
Θ &Theta; &#920; greek capital letter theta
Ι &Iota; &#921; greek capital letter iota
Κ &Kappa; &#922; greek capital letter kappa
Λ &Lambda; &#923; greek capital letter lambda
Μ &Mu; &#924; greek capital letter mu
Ν &Nu; &#925; greek capital letter nu
Ξ &Xi; &#926; greek capital letter xi
Ο &Omicron; &#927; greek capital letter omicron
Π &Pi; &#928; greek capital letter pi
Ρ &Rho; &#929; greek capital letter rho
Σ &Sigma; &#931; greek capital letter sigma
Τ &Tau; &#932; greek capital letter tau
Υ &Upsilon; &#933; greek capital letter upsilon
Φ &Phi; &#934; greek capital letter phi
Χ &Chi; &#935; greek capital letter chi
Ψ &Psi; &#936; greek capital letter psi
Ω &Omega; &#937; greek capital letter omega
α &alpha; &#945; greek small letter alpha
β &beta; &#946; greek small letter beta
γ &gamma; &#947; greek small letter gamma
δ &delta; &#948; greek small letter delta
ε &epsilon; &#949; greek small letter epsilon
ζ &zeta; &#950; greek small letter zeta
η &eta; &#951; greek small letter eta
θ &theta; &#952; greek small letter theta
ι &iota; &#953; greek small letter iota
κ &kappa; &#954; greek small letter kappa
λ &lambda; &#955; greek small letter lambda
μ &mu; &#956; greek small letter mu
ν &nu; &#957; greek small letter nu
ξ &xi; &#958; greek small letter xi
ο &omicron; &#959; greek small letter omicron
π &pi; &#960; greek small letter pi
ρ &rho; &#961; greek small letter rho
ς &sigmaf; &#962; greek small letter final sigma
σ &sigma; &#963; greek small letter sigma
τ &tau; &#964; greek small letter tau
υ &upsilon; &#965; greek small letter upsilon
φ &phi; &#966; greek small letter phi
χ &chi; &#967; greek small letter chi
ψ &psi; &#968; greek small letter psi
ω &omega; &#969; greek small letter omega

2.3 Polish, Czech, Slovene, etc., Characters  

Ą &#260; &#260; upper case A ogonek
ą &#261; &#261; lower case a ogonek
Ć &#262; &#262; upper case C acute
ć &#263; &#263; lower case c acute
Č &#268; &#268; upper case C caron
č &#269; &#269; lower case c caron
Ę &#280; &#280; upper case E ogonek
ę &#281; &#281; lower case e ogonek
ě &#283; &#283; lower case e caron
Ł &#321; &#321; upper case L slash
ł &#322; &#322; lower case l slash
Ń &#323; &#323; upper case N acute
ń &#324; &#324; lower case n acute
Ř &#344; &#344; upper case R caron
ř &#345; &#345; lower case r caron
Š &#352; &#352; upper case S caron
š &#353; &#353; lower case s caron
Ś &#346; &#346; upper case S acute
ś &#347; &#347; lower case s acute
Ź &#377; &#377; upper case Z acute
ź &#378; &#378; lower case z acute
Ż &#379; &#379; upper case Z dot
ż &#380; &#380; lower case z dot
Ž &#381; &#381; upper case Z caron
ž &#382; &#382; lower case z caron

2.4 Special Diacritics  

Ā &#256; &#256; upper case A macron
ā &#257; &#257; lower case a macron
&#7693; &#7693; lower case d with dot below
ē &#275; &275; e with macron
ğ &#287; &#287; lower case g with breve
&#7716; &#7716; upper case H with dot below
&#7717; &#7717; lower case h with dot below
Ī &#298; &#298; upper case I macron
ī &#299; &#299; lower case i macron
&#7747; &#7747; lower case m with dot below
&#7744; &#7744; upper case M with dot above
&#7745; &#7745; lower case m with dot above
&#7751; &#7751; lower case n with dot below
&#7749; &#7749; lower case n with dot above
ō &#333; &#333; lower case o macron
&#7771; &#7771; lower case r with dot below
Ś &#346; &#346; upper case S acute
ś &#347; &#347; lower case s acute
&#7778; &#7778; upper case S with dot below
&#7779; &#7779; lower case s with dot below
&#7789; &#7789; lower case t with dot below
&#7788; &#7788; upper case T with dot below
ū &#363; &#363; lower case u macron
&#7804; &#7804; upper case V tilde
&#7827; &#7827; upper case Z with dot below

See http://symbolcodes.tlt.psu.edu/bylanguage/ipavowels.html

3 Punctuation, Pure Diacritical Marks, and Special Characters  

3.1 General Punctuation  

" &quot; &#34; quotation mark = apl quote
&lsquo; &#8216; left single quotation mark
&rsquo; &#8217; right single quotation mark
&ldquo; &#8220; left double quotation mark
&rdquo; &#8221; right double quotation mark
&ndash; &#8211; en dash
&mdash; &#8212; em dash
&hellip; &#8230; horizontal ellipsis = three dot leader
&bull; &#8226; bullet = black small circle
§ &sect; &#167; section sign
&para; &#182; pilcrow (paragraph sign)
« &laquo; &#171; angle quotation mark, left
» &raquo; &#187; angle quotation mark, right
&lsaquo; &#8249; single left-pointing angle quotation mark
&rsaquo; &#8250; single right-pointing angle quotation mark
&#10216; &#10216; left-pointing angle bracket
&#10217; &#10217; right-pointing angle bracket
¡ &iexcl; &#161; inverted exclamation mark
¿ &iquest; &#191; inverted question mark
&sbquo; &#8218; single low-9 quotation mark
&bdquo; &#8222; double low-9 quotation mark
&dagger; &#8224; dagger
&Dagger; &#8225; double dagger
   &ensp; &#8194; en space
   &emsp; &#8195; em space
   &thinsp; &#8201; thin space
   &nbsp; &#160; no-break space
&lceil; &#8968; left ceiling
&rceil; &#8969; right ceiling
&lfloor; &#8970; left floor
&rfloor; &#8971; right floor
&#10214; &#10214; left square double bracket
&#10215; &#10215; right square double bracket

3.2 Diacritical Marks  

´ &acute; &#180; acute accent
¨ &uml; &#168; umlaut (dieresis)
¯ &macr; &#175; macron
¸ &cedil; &#184; cedilla
ˆ &circ; &#710; modifier letter circumflex accent
˜ &tilde; &#732; small tilde

3.3 General Purpose Symbols  

ª &ordf; &#170; ordinal indicator, feminine
º &ordm; &#186; ordinal indicator, masculine
¦ &brvbar; &#166; broken (vertical) bar
© &copy; &#169; copyright sign
® &reg; &#174; registered sign
&trade; &#8482; trade mark sign
µ &micro; &#181; micro sign

3.4 Currency/Cards  

¢ &cent; &#162; cent sign
£ &pound; &#163; pound sterling sign
¤ &curren; &#164; general currency sign
¥ &yen; &#y165; yen sign
&euro; &#8364; euro sign
&spades; &#9824; black spade suit
&clubs; &#9827; black club suit = shamrock
&hearts; &#9829; black heart suit = valentine
&diams; &#9830; black diamond suit