Section 2-819 entries
2-8.2
inequality
https://metanorma.github.io/isq-smart/math/part-2-8/t2-8.2 urn:iso:std:iso:80000:-2:ed-2:en:item:2-8.2
ISQ Identifiers
ISO
urn:iso:std:iso:80000:-2:ed-2:en:item:2-8.2IEC
urn:iec:std:iec:80000-2:2019:::item:2-8.2Designations
ENinequality
FRdifférent de
Symbol
Notation systems
AsciiMath
a != bLaTeX
a \ne bDefinition
EN
is not equal to
FR
est différent de
Notes
EN
The negating stroke may also be vertical.
FR
La barre de négation peut aussi être verticale.
Ontology
Class Hierarchy
A mathematical concept as defined in ISO/IEC 80000 Part 2.
Instance IRI
isq:t2-8.2Properties
| Property | Value |
|---|---|
| rdf:type | |
| dcterms:identifier | 2-8.2 |
| skosxl:prefLabel | "inequality"@en |
| skosxl:altLabel | "a != b"@en |
| skos:definition | stem:[a] is not equal to stem:[b] |
| skos:note | The negating stroke may also be vertical. |
| smart:hasBindingnessType | |
| dcterms:isPartOf |