fsymbols
Loading symbols…
››
≝

equal to by definition

Equal to by definition

The definition-equals sign ≝ means “is defined as”: in <code>A ≝ B</code>, <code>B</code> gives the definition of <code>A</code>. It marks a definition in formal math and logic; the order matters because the left side is the name being introduced. The notation varies by field, with <code>:=</code> and <code>≜</code> also used.

Text symbol
Also called
definition equals · defined as sign
Search it as
≝ · eqdef · defined as · definition sign · definitional equality
Shows up in
Anything that takes text · its shape is whatever your font draws

What ≝ means

It means “is defined as.” In A ≝ B, B gives the definition of A; the sign introduces a convention instead of reporting a result proved later.

The order carries meaning: the expression on the left is the one being named, so switching sides can change the statement.

Definition signs took several forms

A historical account reports a double-equality form for “equal by definition” in 1920; other forms include =₍Def₎, :=, ≡, and related marks.

The purpose is to give an expression a precise name or shorthand. By 1958, ALGOL-era programming used := as a definition or assignment convention, while mathematical writing continued to choose among forms.

Should I write ≝ or :=?

Follow the convention your field already uses. ≝ is legible in mathematical writing, while := is familiar in many programming and technical contexts.

If readers may not know the sign, write “defined as” the first time. The document’s house style determines which notation readers will recognize quickly.

A formal mathematical or logical sign.

Do not swap the sides: the left side receives the definition on the right.

Don't confuse it with

3

Questions people ask

1

Can I use ≝ in code?

Usually no. Programming languages define their own syntax, with `=`, `==`, or `:=` used in different contexts. Use ≝ only if the language explicitly accepts it.

How to type ≝

Windows (Word)
Alt+XType 225D, then Alt+X to get ≝.
Windows
Win+Rrun charmap for the full table, or use the emoji picker's Ω symbols tab (Win + .).
macOS
Control+Command+SpaceOpen the character viewer and search “equal to by definition”.
Linux
Ctrl+Shift+UType 225d, then Enter or Space.
HTML
&#x225D;
CSS
\225D
Codes and encoding1 code points
HTML decimal
&#8797;
HTML hex
&#x225D;
CSS content
content: "\225D";
Each escape is closed by the next backslash; a trailing space is needed before a literal hex digit.
URL encoded
%E2%89%9D
1
On screen
1
Code points
1
JS .length
3
UTF-8 bytes

A visible symbol can contain several code points. JS .length counts UTF-16 units; UTF-8 counts bytes.

Families this belongs to

1

Maths & numbers1,835 symbols