mirror of
https://github.com/symbl-cc/symbl-data.git
synced 2025-11-01 06:01:09 -04:00
256 lines
8.1 KiB
Plaintext
256 lines
8.1 KiB
Plaintext
2200: Per tutti : quantificatore universale
|
|
2201: Complemento
|
|
2202: Differenziale parziale
|
|
2203: Lì esiste : quantificatore esistenziale
|
|
2204: Non esiste
|
|
2205: Set vuoto : set nullo
|
|
2206: Incremento : operatore di posto : differenza in avanti : differenza simmetrica (in teoria degli insiemi)
|
|
2207: Nabla : differenza all'indietro : gradiente, del
|
|
2208: Elemento di
|
|
2209: Non un elemento di
|
|
220A: Piccolo elemento di
|
|
220B: Contiene come membro : così
|
|
220C: Non contiene come membro
|
|
220D: Piccolo contiene come membro
|
|
220E: Fine della prova : come volevasi dimostrare
|
|
220F: Prodotto N-Ary : segno del prodotto
|
|
2210: N-Ary Coproduct : segno di coproduzione
|
|
2211: N-Ary Summation : segno di somma
|
|
2212: Segno meno
|
|
2213: Segno meno-o-più
|
|
2214: Dot Plus
|
|
2215: Divisione Slash
|
|
2216: Imposta meno
|
|
2217: Operatore di asterisco
|
|
2218: Ring Operator : funzione composita : apl jot
|
|
2219: Operatore di pallottole
|
|
221A: Radice quadrata : segno radicale
|
|
221B: Radice cubica
|
|
221C: Quarta radice
|
|
221D: Proporzionale a
|
|
221E: Infinito
|
|
221F: Angolo retto
|
|
2220: Angolo
|
|
2221: Angolo misurato
|
|
2222: Angolo sferico : angolo d'arco
|
|
2223: divide : così : apl stile
|
|
2224: Non si divide
|
|
2225: Parallelo a
|
|
2226: Non parallelo a
|
|
2227: Logico E : Cuneo, congiunzione
|
|
2228: Logico Or : Vee, disgiunzione
|
|
2229: Intersezione : berretto
|
|
222A: Unione : tazza
|
|
222B: Integrante
|
|
222C: Doppio integrale
|
|
222D: Triplo integrale
|
|
222E: Contour Integral
|
|
222F: Integrale di superficie
|
|
2230: Volume integrale
|
|
2231: Integrale in senso orario
|
|
2232: Contour Integrale in senso orario
|
|
2233: Contour Integral in senso antiorario
|
|
2234: Perciò
|
|
2235: Perché
|
|
2236: Rapporto
|
|
2237: Proporzione
|
|
2238: Dot Minus : sottrazione satura
|
|
2239: Eccesso
|
|
223A: Proporzione geometrica
|
|
223B: homothetic
|
|
223C: Operatore Tilde : varia con (proporzionale a) : differenza tra : simile a : non : ciclo : apl tilde
|
|
223D: Tilde invertita : pigro s
|
|
223E: Inverted Lazy S : più positivo
|
|
223F: Onda sinusoidale : corrente alternata
|
|
2240: Prodotto corona
|
|
2241: Non Tilde
|
|
2242: Minus Tilde
|
|
2243: Asymptotically Equal To
|
|
2244: Non asintoticamente uguale a
|
|
2245: Approssimativamente uguale a
|
|
2246: Approssimativamente ma non realmente uguale a
|
|
2247: Né approssimativamente né realmente uguale a
|
|
2248: Quasi uguale a : asintotico a
|
|
2249: Non quasi uguale a
|
|
224A: Quasi uguale o uguale a
|
|
224B: Triple Tilde
|
|
224C: Tutto uguale a
|
|
224D: Equivalente a
|
|
224E: Geometricamente Equivalente a
|
|
224F: Differenza tra
|
|
2250: Si avvicina al limite
|
|
2251: Geometrically Equal To
|
|
2252: Approssimativamente uguale a o l'immagine di : quasi uguale
|
|
2253: Immagine di o approssimativamente uguale a
|
|
2254: Colon Equals
|
|
2255: Uguale a due punti
|
|
2256: Ring In Equal To
|
|
2257: Anello uguale a : approssimativamente uguale a
|
|
2258: Corrisponde a
|
|
2259: Le stime : corrisponde a
|
|
225A: Equiangular To
|
|
225B: Stella uguale
|
|
225C: Delta uguale a : equiangolo : uguale per definizione
|
|
225D: Uguale alla definizione
|
|
225E: Misurato da
|
|
225F: Interrogato uguale a
|
|
2260: Non uguale a
|
|
2261: Uguale a
|
|
2262: Non identico a
|
|
2263: Rigorosamente Equivalente a
|
|
2264: Minore o uguale a
|
|
2265: Maggiore o uguale a
|
|
2266: Minore di uguale a
|
|
2267: Maggiore di oltre uguale a
|
|
2268: Meno di ma non uguale a
|
|
2269: Maggiore di ma non uguale a
|
|
226A: Molto meno di
|
|
226B: Molto più grande di
|
|
226C: Fra : querelante, quantico
|
|
226D: Non equivalente a
|
|
226E: Non meno di
|
|
226F: Non maggiore di
|
|
2270: Né Minore o Uguale a
|
|
2271: Né maggiore-che né uguale a
|
|
2272: Minore o equivalente a
|
|
2273: Maggiore di o equivalente a
|
|
2274: Né Minore o Equivalente a
|
|
2275: Né maggiore-che eguale a
|
|
2276: Minore o maggiore di
|
|
2277: Maggiore di o minore di
|
|
2278: Né Minore né Maggiore di
|
|
2279: Né maggiore di quanto non inferiore di
|
|
227A: precede : rango inferiore a
|
|
227B: riesce : più alto di
|
|
227C: Precede o Uguale a
|
|
227D: Riesce o uguale a
|
|
227E: Precede o Equivalente a
|
|
227F: Riesce o Equivalente a
|
|
2280: Non precede
|
|
2281: Non riesce
|
|
2282: Sottoinsieme : incluso nel set
|
|
2283: Superset Of : include nel set
|
|
2284: Non un sottoinsieme di
|
|
2285: Non un Superset di
|
|
2286: Sottoinsieme di o uguale a
|
|
2287: Superset o uguale a
|
|
2288: Né un sottoinsieme né uguale a
|
|
2289: Né un Superset di né uguale a
|
|
228A: Sottoinsieme con Non uguale a
|
|
228B: Superset con Non uguale a
|
|
228C: Multiset
|
|
228D: Multiplicazione multiset
|
|
228E: Unione multiset : aggiunta del sacchetto di notazione z
|
|
228F: Immagine quadrata di
|
|
2290: Quadrato originale di
|
|
2291: Immagine quadrata di o uguale a
|
|
2292: Originale quadrato uguale o uguale a
|
|
2293: Cappuccio quadrato
|
|
2294: Coppa quadrata
|
|
2295: Cerchiato Plus : somma diretta : vettore che punta nella pagina
|
|
2296: Cerchia meno : differenza simmetrica
|
|
2297: Cerchia tempi : prodotto tensoriale : vettore che punta nella pagina
|
|
2298: Cerchia Divisione Cerchiata : divieto, disabilitare
|
|
2299: Operatore a punti cerchiati : prodotto diretto : vettore che indica fuori pagina
|
|
229A: Operatore ad anello cerchiato
|
|
229B: Operatore di asterisco cerchiato : Capodanno, Natale
|
|
229C: Equipped cerchiato
|
|
229D: Dash cerchiato
|
|
229E: Squared Plus
|
|
229F: Squared Minus
|
|
22A0: Tempi al quadrato
|
|
22A1: Operatore a punti quadrati
|
|
22A2: Right Tack : tornello : dimostra, implica, produce : riducibile
|
|
22A3: Tack sinistro : cancello girevole inverso : non teorema, non cede
|
|
22A4: Giù Tack : superiore
|
|
22A5: Up Tack : base, fondo
|
|
22A6: Asserzione : riduce a
|
|
22A7: Modelli
|
|
22A8: Vero : la dichiarazione è vera, valida : è una tautologia : soddisfa : risultati in
|
|
22A9: forze
|
|
22AA: Tornello verticale a tripla barra verticale
|
|
22AB: Double Vertical Bar Double Right Turnstile
|
|
22AC: Non dimostra
|
|
22AD: Non vero
|
|
22AE: Non Forza
|
|
22AF: Doppia barra verticale doppia chiusa
|
|
22B0: Precede sotto relazione
|
|
22B1: Succede sotto relazione
|
|
22B2: Sottogruppo normale di
|
|
22B3: Contiene come sottogruppo normale
|
|
22B4: Sottogruppo normale o uguale a
|
|
22B5: Contiene come sottogruppo normale o uguale a
|
|
22B6: Originale di
|
|
22B7: Immagine di
|
|
22B8: Multimap
|
|
22B9: Matrice coniugale ermitica
|
|
22BA: Intercalare
|
|
22BB: Xor
|
|
22BC: Nand
|
|
22BD: Né
|
|
22BE: Angolo retto con arco
|
|
22BF: Triangolo rettangolo
|
|
22C0: N-Ary Logical And
|
|
22C1: N-Ary Logical Or
|
|
22C2: Intersezione N-Ary : intersezione generalizzata a notazione z
|
|
22C3: N-Ary Union : unione generale notazione z
|
|
22C4: Operatore di diamanti
|
|
22C5: Operatore di punti
|
|
22C6: Star Operator
|
|
22C7: Divisione Times
|
|
22C8: Cravatta a farfalla
|
|
22C9: Prodotto semidiretto Left Factor normale
|
|
22CA: Prodotto semidiretto del fattore normale corretto
|
|
22CB: Prodotto semidiretto sinistro
|
|
22CC: Giusto prodotto semidiretto
|
|
22CD: Tilde invertita uguale
|
|
22CE: Riccio logico Or
|
|
22CF: Riccio logico E
|
|
22D0: Double Subset
|
|
22D1: Double Superset
|
|
22D2: Doppia intersezione
|
|
22D3: Doppia unione
|
|
22D4: Forcone : intersezione corretta
|
|
22D5: Uguale e parallelo a
|
|
22D6: Minore di Dot
|
|
22D7: Maggiore di rispetto a Punto
|
|
22D8: Molto molto meno di
|
|
22D9: Molto più grande di
|
|
22DA: Minore di uguale ao maggiore di
|
|
22DB: Maggiore di uguale o minore di
|
|
22DC: Uguale a o meno di
|
|
22DD: Uguale a maggiore di
|
|
22DE: Uguale a o precede
|
|
22DF: Uguale a o riesce
|
|
22E0: Non precede o uguale
|
|
22E1: Non riesce o uguale
|
|
22E2: Immagine non quadrata di o uguale a
|
|
22E3: Originale non quadrato o uguale a
|
|
22E4: Immagine quadrata di o non uguale a
|
|
22E5: Originale quadrato uguale o diverso da
|
|
22E6: Minore di ma non equivalente a
|
|
22E7: Maggiore di ma non equivalente a
|
|
22E8: Precede ma non è equivalente a
|
|
22E9: Succede, ma non è equivalente a
|
|
22EA: Sottogruppo non normale di
|
|
22EB: Non contiene come sottogruppo normale
|
|
22EC: Sottogruppo non uguale o uguale a
|
|
22ED: Non contiene come sottogruppo normale o uguale
|
|
22EE: Ellipsi verticale
|
|
22EF: Ellisse orizzontale ellisse
|
|
22F0: Ellipsis diagonale destra
|
|
22F1: Ellisse diagonale in basso a destra
|
|
22F2: Elemento con tratto orizzontale lungo
|
|
22F3: Elemento con barra verticale all'estremità del tratto orizzontale
|
|
22F4: Piccolo elemento con barra verticale all'estremità del tratto orizzontale
|
|
22F5: Elemento di Dot sopra
|
|
22F6: Elemento di Overbar
|
|
22F7: Piccolo elemento di Overbar
|
|
22F8: Elemento di con Underbar
|
|
22F9: Elemento con due tratti orizzontali
|
|
22FA: Contiene un tratto orizzontale lungo
|
|
22FB: Contiene barra verticale alla fine della corsa orizzontale
|
|
22FC: Piccoli contenitori con barra verticale all'estremità del tratto orizzontale
|
|
22FD: Contiene Overbar
|
|
22FE: Piccoli Contiene con Overbar
|
|
22FF: Appartenenza alla borsa di notazione Z. |