Delta lik

Det markerer en definisjon: «dette defineres som det».

Tegnet trekant lik, eller delta lik, viser hvordan forfatteren navngir eller angir et uttrykk. I f(x) ≜ x² leses det «f(x) defineres som x i andre», ikke bare som en påstand om at to verdier som er fastsatt hver for seg, er like.

Unicode oppgir også «likevinklet» som en lesning av ≜. Denne spesialiserte lesningen passer bare når notasjonen rundt viser det.

Hvordan utviklet definisjonstegnene seg?

De skiller en definisjon fra vanlig likhet.

Et beslektet dobbelt likhetstegn med betydningen «lik etter definisjon» er dokumentert i 1920. Den eldre notasjonen viser en annen måte å markere definisjoner på; den daterer ikke akkurat dette tegnet.

I matematikk bruker man også former som :=, =: og =def. De har beslektede funksjoner, men forfatterens notasjon avgjør den nøyaktige bruken.

Hva er forskjellen på ≜ og :=?

Begge kan innlede en definisjon, men konvensjonene varierer.

Forfattere bruker ofte := for en definisjon eller tilordning, mens ≜ angir at relasjonen er definisjonell. Det finnes ingen universell konvensjon, så følg notasjonen i artikkelen, læreboken eller programmeringsspråket.