This site is supported by donations to The OEIS Foundation.

Template:Rel

From OeisWiki
Jump to: navigation, search

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

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