Template:Rel

The following documentation is located at Template:Rel/doc. [<Edit> Template:Rel/doc]
[⧼Purge⧽ Template:Rel]

The {{rel}} (relation) typing-aid template returns either the HTML glyph, the UTF-16 hex code, the LaTeX code or the name (description) for a given relation symbol.

Usage

{{rel|type|result}}

where type is among

• (see examples)

and result is among (case insensitive)

• htm: HTML Entity (hex) (default);
• hex: UTF-16 (hex) [hexadecimal Unicode];
• tex: LaTeX code;
• name: descriptive name.

Tests

For htm we want two "operator spacing annotations" (for the {{math}} template) on either side of the relational operator:

{{rel|eq}} yields

@opsp@@opsp@=@opsp@@opsp@

{{rel|neq}} yields

@opsp@@opsp@≠@opsp@@opsp@

{{rel|lt}} yields

@opsp@@opsp@<@opsp@@opsp@

{{rel|gt}} yields

@opsp@@opsp@>@opsp@@opsp@

The code

: {{math|''a'' '''<span style{{=}}"margin-right: 0.1em; font-size: 0.6em; vertical-align: 0.6ex;">:</span>'''{{=}} ''b'', <!--
-->''b'' {{=}}'''<span style{{=}}"margin-left: 0.2em; font-size: 0.6em; vertical-align: 0.6ex;">:</span>''' ''a''|&}}

yields

 

a := b, b =: a

Examples

Relations

Code {{rel|...}} (see 3 rd column)	{{rel|...|hex}}, &#x{{rel|...|hex}};	HTML+CSS {{rel|...}} in {{math|...|&&}}, {{math|...|&}}	Code {{rel|...|tex}}	Result (TeX)	Rendered TeX {{rel|...|tex}} in {{math|...|$$}}, {{math|...|$}}	Code {{rel|...|name}}	Name
Definitions (notations)
{{rel|def}}	2254, ≔	:= ,    :=	{{rel|def|tex}}	:=	${\begin{array}{l}\displaystyle {:=}\end{array}}$,$\textstyle {:=}$	{{rel|def|name}}	[LHS term] is defined as [RHS]
{{rel|coleq}}	2254, ≔	:= ,    :=	{{rel|coleq|tex}}	:=	${\begin{array}{l}\displaystyle {:=}\end{array}}$,$\textstyle {:=}$	{{rel|coleq|name}}	[LHS term] is defined as [RHS]
{{rel|defines}}	2255, ≕	=: ,    =:	{{rel|defines|tex}}	=:	${\begin{array}{l}\displaystyle {=:}\end{array}}$,$\textstyle {=:}$	{{rel|defines|name}}	[LHS] defines [RHS term]
{{rel|eqcol}}	2255, ≕	=: ,    =:	{{rel|eqcol|tex}}	=:	${\begin{array}{l}\displaystyle {=:}\end{array}}$,$\textstyle {=:}$	{{rel|eqcol|name}}	[LHS] defines [RHS term]
{{rel|doteq}}	2250, ≐	≐ ,    ≐	{{rel|doteq|tex}}	\doteq	${\begin{array}{l}\displaystyle {\doteq }\end{array}}$,$\textstyle {\doteq }$	{{rel|doteq|name}}	dot equal to
Equality
{{rel|eq}}	003D, =	= ,    =	{{rel|eq|tex}}	=	${\begin{array}{l}\displaystyle {=}\end{array}}$,$\textstyle {=}$	{{rel|eq|name}}	equal to
{{rel|ne}}	2260, ≠	≠ ,    ≠	{{rel|ne|tex}}	\ne	${\begin{array}{l}\displaystyle {\neq }\end{array}}$,$\textstyle {\neq }$	{{rel|ne|name}}	not equal to
{{rel|neq}}	2260, ≠	≠ ,    ≠	{{rel|neq|tex}}	\ne	${\begin{array}{l}\displaystyle {\neq }\end{array}}$,$\textstyle {\neq }$	{{rel|neq|name}}	not equal to
Similarity (geometry)
{{rel|sim}}	223C, ∼	∼ ,    ∼	{{rel|sim|tex}}	\sim	${\begin{array}{l}\displaystyle {\sim }\end{array}}$,$\textstyle {\sim }$	{{rel|sim|name}}	similar to
{{rel|nsim}}	2241, ≁	≁ ,    ≁	{{rel|nsim|tex}}	\not\sim	${\begin{array}{l}\displaystyle {\not \sim }\end{array}}$,$\textstyle {\not \sim }$	{{rel|nsim|name}}	not similar to
{{rel|simeq}}	2243, ≃	≃ ,    ≃	{{rel|simeq|tex}}	\simeq	${\begin{array}{l}\displaystyle {\simeq }\end{array}}$,$\textstyle {\simeq }$	{{rel|simeq|name}}	similar or equal to
{{rel|nsimeq}}	2244, ≄	≄ ,    ≄	{{rel|nsimeq|tex}}	\not\simeq	${\begin{array}{l}\displaystyle {\not \simeq }\end{array}}$,$\textstyle {\not \simeq }$	{{rel|nsimeq|name}}	not similar or equal to
Equivalence (e.g. [number theoretic] congruence)
{{rel|equiv}}	2261, ≡	≡ ,    ≡	{{rel|equiv|tex}}	\equiv	${\begin{array}{l}\displaystyle {\equiv }\end{array}}$,$\textstyle {\equiv }$	{{rel|equiv|name}}	equivalent to
{{rel|nequiv}}	2262, ≢	≡/ ,    ≡/	{{rel|nequiv|tex}}	\not\equiv	${\begin{array}{l}\displaystyle {\not \equiv }\end{array}}$,$\textstyle {\not \equiv }$	{{rel|nequiv|name}}	not equivalent to
Congruence (geometry)
{{rel|cong}}	2245, ≅	≅ ,    ≅	{{rel|cong|tex}}	\cong	${\begin{array}{l}\displaystyle {\cong }\end{array}}$,$\textstyle {\cong }$	{{rel|cong|name}}	congruent to
{{rel|ncong}}	2247, ≇	≇ ,    ≇	{{rel|ncong|tex}}	\not\cong	${\begin{array}{l}\displaystyle {\not \cong }\end{array}}$,$\textstyle {\not \cong }$	{{rel|ncong|name}}	not congruent to
Comparisons (order)
{{rel|prec}}	227A, ≺	≺ ,    ≺	{{rel|prec|tex}}	\prec	${\begin{array}{l}\displaystyle {\prec }\end{array}}$,$\textstyle {\prec }$	{{rel|prec|name}}	precedes
{{rel|precsim}}	227E, ≾	≾ ,    ≾	{{rel|precsim|tex}}	\precsim	${\begin{array}{l}\displaystyle {\precsim }\end{array}}$,$\textstyle {\precsim }$	{{rel|precsim|name}}	precedes or similar to
{{rel|preceq}}	227C, ≼	≼ ,    ≼	{{rel|preceq|tex}}	\preceq	${\begin{array}{l}\displaystyle {\preceq }\end{array}}$,$\textstyle {\preceq }$	{{rel|preceq|name}}	precedes or equals
{{rel|succeq}}	227D, ≽	≽ ,    ≽	{{rel|succeq|tex}}	\succeq	${\begin{array}{l}\displaystyle {\succeq }\end{array}}$,$\textstyle {\succeq }$	{{rel|succeq|name}}	succeeds or equals
{{rel|succsim}}	227F, ≿	≿ ,    ≿	{{rel|succsim|tex}}	\succsim	${\begin{array}{l}\displaystyle {\succsim }\end{array}}$,$\textstyle {\succsim }$	{{rel|succsim|name}}	succeeds or similar to
{{rel|succ}}	227B, ≻	≻ ,    ≻	{{rel|succ|tex}}	\succ	${\begin{array}{l}\displaystyle {\succ }\end{array}}$,$\textstyle {\succ }$	{{rel|succ|name}}	succeeds
Comparisons (magnitude)
{{rel|<}}	003C, <	< ,    <	{{rel|<|tex}}	{<}	${\begin{array}{l}\displaystyle {<}\end{array}}$,$\textstyle {<}$	{{rel|<|name}}	less than
{{rel|lt}}	003C, <	< ,    <	{{rel|lt|tex}}	{<}	${\begin{array}{l}\displaystyle {<}\end{array}}$,$\textstyle {<}$	{{rel|lt|name}}	less than
{{rel|lesssim}}	2272, ≲	≲ ,    ≲	{{rel|lesssim|tex}}	\lesssim	${\begin{array}{l}\displaystyle {\lesssim }\end{array}}$,$\textstyle {\lesssim }$	{{rel|lesssim|name}}	less than or similar to
{{rel|le}}	2264, ≤	≤ ,    ≤	{{rel|le|tex}}	\le	${\begin{array}{l}\displaystyle {\leq }\end{array}}$,$\textstyle {\leq }$	{{rel|le|name}}	less than or equal to
{{rel|leq}}	2264, ≤	≤ ,    ≤	{{rel|leq|tex}}	\le	${\begin{array}{l}\displaystyle {\leq }\end{array}}$,$\textstyle {\leq }$	{{rel|leq|name}}	less than or equal to
{{rel|approx}}	2248, ≈	≈ ,    ≈	{{rel|approx|tex}}	\approx	${\begin{array}{l}\displaystyle {\approx }\end{array}}$,$\textstyle {\approx }$	{{rel|approx|name}}	approximately equal to
{{rel|napprox}}	2249, ≉	≉ ,    ≉	{{rel|napprox|tex}}	\not\approx	${\begin{array}{l}\displaystyle {\not \approx }\end{array}}$,$\textstyle {\not \approx }$	{{rel|napprox|name}}	not approximately equal to
{{rel|ge}}	2265, ≥	≥ ,    ≥	{{rel|ge|tex}}	\ge	${\begin{array}{l}\displaystyle {\geq }\end{array}}$,$\textstyle {\geq }$	{{rel|ge|name}}	greater than or equal to
{{rel|geq}}	2265, ≥	≥ ,    ≥	{{rel|geq|tex}}	\ge	${\begin{array}{l}\displaystyle {\geq }\end{array}}$,$\textstyle {\geq }$	{{rel|geq|name}}	greater than or equal to
{{rel|gtrsim}}	2273, ≳	≳ ,    ≳	{{rel|gtrsim|tex}}	\gtrsim	${\begin{array}{l}\displaystyle {\gtrsim }\end{array}}$,$\textstyle {\gtrsim }$	{{rel|gtrsim|name}}	greater than or similar to
{{rel|>}}	003E, >	> ,    >	{{rel|>|tex}}	{>}	${\begin{array}{l}\displaystyle {>}\end{array}}$,$\textstyle {>}$	{{rel|>|name}}	greater than
{{rel|gt}}	003E, >	> ,    >	{{rel|gt|tex}}	{>}	${\begin{array}{l}\displaystyle {>}\end{array}}$,$\textstyle {>}$	{{rel|gt|name}}	greater than
Asymptotic notations
{{rel|<<<}}	22D8, ⋘	⋘ ,    ⋘	{{rel|<<<|tex}}	\lll	${\begin{array}{l}\displaystyle {\lll }\end{array}}$,$\textstyle {\lll }$	{{rel|<<<|name}}	very much less than
{{rel|lll}}	22D8, ⋘	⋘ ,    ⋘	{{rel|lll|tex}}	\lll	${\begin{array}{l}\displaystyle {\lll }\end{array}}$,$\textstyle {\lll }$	{{rel|lll|name}}	very much less than
{{rel|<<}}	226A, ≪	≪ ,    ≪	{{rel|<<|tex}}	\ll	${\begin{array}{l}\displaystyle {\ll }\end{array}}$,$\textstyle {\ll }$	{{rel|<<|name}}	much less than
{{rel|ll}}	226A, ≪	≪ ,    ≪	{{rel|ll|tex}}	\ll	${\begin{array}{l}\displaystyle {\ll }\end{array}}$,$\textstyle {\ll }$	{{rel|ll|name}}	much less than
{{rel|asymp}}	224D, ≍	≍ ,    ≍	{{rel|asymp|tex}}	\asymp	${\begin{array}{l}\displaystyle {\asymp }\end{array}}$,$\textstyle {\asymp }$	{{rel|asymp|name}}	asymptotic to
{{rel|>>}}	226B, ≫	≫ ,    ≫	{{rel|>>|tex}}	\gg	${\begin{array}{l}\displaystyle {\gg }\end{array}}$,$\textstyle {\gg }$	{{rel|>>|name}}	much greater than
{{rel|gg}}	226B, ≫	≫ ,    ≫	{{rel|gg|tex}}	\gg	${\begin{array}{l}\displaystyle {\gg }\end{array}}$,$\textstyle {\gg }$	{{rel|gg|name}}	much greater than
{{rel|>>>}}	22D9, ⋙	⋙ ,    ⋙	{{rel|>>>|tex}}	\ggg	${\begin{array}{l}\displaystyle {\ggg }\end{array}}$,$\textstyle {\ggg }$	{{rel|>>>|name}}	very much greater than
{{rel|ggg}}	22D9, ⋙	⋙ ,    ⋙	{{rel|ggg|tex}}	\ggg	${\begin{array}{l}\displaystyle {\ggg }\end{array}}$,$\textstyle {\ggg }$	{{rel|ggg|name}}	very much greater than

See also

• {{Symbol}} (typing-aid template)
• {{Arrow}} or {{-)}} (arrows) (typing-aid template)
• {{Greek}} Greek letters (typing-aid template)
• {{Op}} (symbols for operations) (typing-aid template)
• {{Rel}} (symbols for relations) (typing-aid template)