Cosa significa ≝
Significa “è definito come”. In A ≝ B, la parte destra B fornisce la definizione, il valore o la formula per A. A differenza di un normale segno di uguale, non afferma una deduzione dimostrata da un teorema, ma introduce una convenzione formale.
La direzione della scrittura è vincolante: l'espressione a sinistra è il termine nuovo che viene introdotto, mentre quella a destra è la spiegazione nota. Invertire i lati inverte quale termine riceve la definizione.
Perché esistono diversi simboli per le definizioni?
I matematici hanno a lungo cercato notazioni per distinguere le definizioni dalle comuni equazioni. Già nel 1894, la logica formale usava notazioni come =Def, da cui è nato il segno compatto ≝ con la scritta «def» sopra l'uguale.
Ambiti diversi hanno sviluppato consuetudini proprie. Con l'adozione di := in ALGOL nel 1958 come operatore di assegnazione, i due punti con uguale sono diventati familiari nell'informatica e nella chimica-fisica (ad esempio nei testi IUPAC per «uguale per definizione a»). Lo standard ISO 80000-2 indica ≔ e accetta ≝ come alternativa.
Notazione formale per matematica e logica.
Non invertire i lati: l'elemento a sinistra è definito da quello a destra.
Fa parte della raccolta
Non confonderlo con
4
: I due punti con uguale costituiscono la forma più comune in matematica applicata e informatica (anche codificato come ≔).
Caratteri correlati
1
Da sapere
- Il glifo pone letteralmente la contrazione «def» al di sopra delle due barre dell'uguale.
Domande frequenti
2Posso usare ≝ nel codice di programmazione?
Di norma no. I linguaggi usano una sintassi specifica, impiegando solitamente = per l'assegnazione o := nei linguaggi in cui le dichiarazioni hanno operatori distinti.
Il simbolo ≝ coincide del tutto con :?
Nel testo matematico entrambi significano «è definito come». Tuttavia := funge anche da assegnazione nel codice ed è molto più rapido da digitare su tastiera.
Altro di simile
11
Come digitare o trovare ≝
- Chiamato anche
- uguaglianza per definizione · definito come · eqdef
- Cercalo come
- ≝ · segno di definizione · uguaglianza definizionale · simbolo matematico definizione
- Compare in
- Qualsiasi campo di testo · la forma dipende dal carattere
≝\225D\stackrel{\mathrm{def}}{=} in modalità matematica, oppure \eqdef con il pacchetto unicode-math.225D e premi AltX in programmi come Word.225D selezionando la tastiera Hex Unicode.Codici e codificaPunti di codice: 1
Un simbolo visibile può contenere più punti di codice. JS .length conta le unità UTF-16; UTF-8 conta i byte.