^^Simboli matematici.

Interpretato correttamente da IE6, ma non da FireFox2

wp/w3schools/html_symbols

Char Dec Hex Entity Name
8704 2200 ∀ FOR ALL
8706 2202 ∂ PARTIAL DIFFERENTIAL
8707 2203 ∃ THERE EXISTS
8708 2204   THERE DOES NOT EXIST
8709 2205 ∅ EMPTY SET
8710 2206   INCREMENT
8711 2207 ∇ NABLA
8712 2208 ∈ ELEMENT OF
8713 2209 ∉ NOT AN ELEMENT OF
8715 220B ∋ CONTAINS AS MEMBER
8718 220E   END OF PROOF
8719 220F ∏ N-ARY PRODUCT
8721 2211 ∑ N-ARY SUMMATION
8722 2212 − MINUS SIGN
8723 2213   MINUS-OR-PLUS SIGN
8727 2217 ∗ ASTERISK OPERATOR
8729 2219   BULLET OPERATOR
8730 221A √ SQUARE ROOT
8733 221D ∝ PROPORTIONAL TO
8734 221E ∞ INFINITY
8735 221F   RIGHT ANGLE
8736 2220 ∠ ANGLE
8741 2225   PARALLEL TO
8742 2226   NOT PARALLEL TO
8743 2227 ∧ LOGICAL AND
8744 2228 ∨ LOGICAL OR
8745 2229 ∩ INTERSECTION
8746 222A ∪ UNION
8747 222B ∫ INTEGRAL
8773 2245 ≅ APPROXIMATELY EQUAL TO
8776 2248 ≈ ALMOST EQUAL TO
8800 2260 ≠ NOT EQUAL TO
8801 2261 ≡ IDENTICAL TO
8804 2264 ≤ LESS-THAN OR EQUAL TO
8805 2265 ≥ GREATER-THAN OR EQUAL TO
8810 226A   MUCH LESS-THAN
8811 226B   MUCH GREATER-THAN
8834 2282 ⊂ SUBSET OF
8835 2283 ⊃ SUPERSET OF
8836 2284 ⊄ NOT A SUBSET OF
8838 2286 ⊆ SUBSET OF OR EQUAL TO
8839 2287 ⊇ SUPERSET OF OR EQUAL TO
8853 2295 ⊕ CIRCLED PLUS
8854 2296   CIRCLED MINUS
8855 2297 ⊗ CIRCLED TIMES
8866 22A2   RIGHT TACK
8867 22A3   LEFT TACK
8868 22A4   DOWN TACK
8869 22A5 ⊥ UP TACK
8901 22C5 ⋅ DOT OPERATOR
8902 22C6 ⋆ ⋆ STAR OPERATOR

 

IE6 IE6 FF FF  
       

Confronto di classe: uguale, diverso.

= a=b     Uguale. a uguale a b.
¹ a¹b a≠b Diverso. a diverso da b.
       
       

Confronto d'ordine: maggiore, minore, uguale.

< a<b     Minore. a minore di b.
£ a£b a≤b Minore o uguale. a minore o uguale a b,
> a>b     Maggiore. a maggiore di b.
³ a³b a≥b Maggiore o uguale. a maggiore o uguale a b.
@ a@b     Uguale circa. a uguale circa a b
         
       

Corrispondenza, funzione.

® x®y x→y Corrisponde. ad x corrisponde y.
¬ x¬y x←y Corrisponde. x proviene da y.
« x«y x↔y Corrispondersi. x corrisponde ad y reciprocamente.
         
       

Logica.

̃ ÃB A⇒B Implica, con-segue, allora. A implica B.  affermaz A  implica   affermaz B
Ü AÜB A⇐B Implicato. A e’ implicato da B.
Û AÛB A⇔B Equivale. A equivale a B.    affermaz A  equivale  affermaz B
      per ogni, per qualsiasi
    ∃ ∄   esiste, non esiste
      insieme vuoto
      ∀a∈X per ogni elemento "a" appartenente all'insieme "X"
∀a∈X e  ∀b∈X, equivale a: ∀a,b ∈X
    :

∃x:

  tale che

esiste un elemento x tale che ...

         
       

Insiemistica

Î aÎB a∈B Appartenenza. L’elemento a appartiene all’insieme B.
Ï aÏB a∉B Non appartenere. L’elemento a non appartiene all’insieme B
Ç

AÇB

Intersezione. L’intersezione dell’insieme A con l’insieme B.
È AÈB Unione. Unione dell’insieme A con l’insieme B.
É AÉB A⊃B Contenenza. L’insieme A contiene l’insieme B.
̀ ÀB Contenenza. L’insieme A e’ contenuto nell’insieme B.
    ⊆⊇    

a,b,...   elementi d insiemi solit indicati con lettere minuscole
X,Y,...   insiemi indicati solit con lettere maiuscole
R         indica una relazione; si puo' indicare con una lettera
          qualsiasi, ma ovviamente R e' la preferita
aRb       l'elemento a e' relazionato all'elemento b
-R        la negazione della relazione
-         in logica e' il simbolo della negazione; per negare una
           affermazione le si premette questo simbolo
[  ]      con la coppia di parentesi quadre si rende esplicito
           dove inizia e termina una affermaz
a,2a,3a,...,na   a, a+a, a+a+a, a+a+...+a n volte
                1a  2a   3a     na                n=1,2,3,...
(a)equi(b)     a equivalente a b in una relaz d equivalenza
 

Links

  1. Costante generica.
  2. Simbol matematic: piu' o meno.
  3. Linguaggio letterale matematico.
  4. Insiemi. Denominazione, terminologia.
  5. Dimostrazioni: catena di implicazioni, contrapositivo, assurdo.
  6. Sommatoria.
  7. Abbreviazioni per il corso di fisica.

 

 


Museo solo testo

po        per ogni, per qualsiasi
ap        appartenente a
po a ap X    per ogni elemento "a" appartenente all'insieme "X"
po a ap X  e  po b ap X, equivale a: po a,b ap X
a,2a,3a,...,na   a, a+a, a+a+a, a+a+...+a n volte
                1a  2a   3a     na                n=1,2,3,...
=>        implica, con-segue, allora.

E' una freccia, disegnata cosi', unendo 2 simboli "= uguale, > maggiore", ma da intendersi come un unico simbolo di significato completamente diverso dai simboli componenti. E' una scelta dal forzata da limitazioni di scrittura del sistema di scrittura usato.

A => B    affermaz A  implica   affermaz B
A <=> B   affermaz A  equivale  affermaz B
esiste x:      esiste un elemento x tale che ... 
(a)equi(b)     a equivalente a b in una relaz d equivalenza