equal to

URNurn:iso:std:iso:80000:-2:ed-2:en:item:2-8.3

Download RDF.jsonld .ttl

https://metanorma.github.io/isq-smart/math/part-2-8/t2-8.3
urn:iso:std:iso:80000:-2:ed-2:en:item:2-8.3

ISQ Identifiers

ISO

urn:iso:std:iso:80000:-2:ed-2:en:item:2-8.3

IEC

urn:iec:std:iec:80000-2:2019:::item:2-8.3

Designations

ENequal to

FRpar définition égal à

Symbol

a ≔ b

Notation systems

AsciiMath

a ≔ b

LaTeX

a ≔ b

Definition

$a$ is by definition equal to $b$

$a$ est égal par définition à $b$

[example] ====

$p ≔ m v$ , where $p$ is momentum, $m$ is mass and $v$ is velocity.

The symbols $=_{def}$ and $≝$ are also used. ====

[example] ====

$p ≔ m v$ , où $p$ est la quantité de mouvement, $m$ est la masse et $v$ la vitesse.

Les symboles $=_{def}$ et $≝$ sont aussi utilisés. ====

A mathematical concept as defined in ISO/IEC 80000 Part 2.

isq:t2-8.3

Property	Value
rdf:type	isq:MathConcept smart:TermEntry
dcterms:identifier	2-8.3
skosxl:prefLabel	"equal to"@en
skosxl:altLabel	"a ≔ b"@en
skos:definition	stem:[a] is by definition equal to stem:[b]
skos:note	[example] ==== stem:[p ≔ mv], where stem:[p] is momentum, stem:[m] is mass and stem:[v] is velocity. The symbols…
smart:hasBindingnessType	bindingness-type:normative
dcterms:isPartOf	isq:part-2-8