https://artofproblemsolving.com/wiki/api.php?action=feedcontributions&user=Bacon9000&feedformat=atomAoPS Wiki - User contributions [en]2024-03-29T01:19:03ZUser contributionsMediaWiki 1.31.1https://artofproblemsolving.com/wiki/index.php?title=LaTeX:Symbols&diff=135900LaTeX:Symbols2020-10-27T00:29:25Z<p>Bacon9000: /* Others */ a</p>
<hr />
<div>{{Latex}}<br />
<br />
This article will provide a short list of commonly used LaTeX symbols. <br />
<br />
== Finding Other Symbols ==<br />
<br />
Here are some external resources for finding less commonly used symbols:<br />
<ul><br />
<li><br />
[http://detexify.kirelabs.org/classify.html Detexify] is an online application which allows you to draw the symbol you'd like and shows you the <math>\text{\LaTeX}</math> code for it!<br />
<br/><br/></li><br />
<br />
<li><br />
MathJax (what allows us to use <math>\text{\LaTeX}</math> on the web, (technically an AJAX library simulating it.) maintains a [http://docs.mathjax.org/en/latest/tex.html#supported-latex-commands list of supported commands].<br />
<br/><br/></li><br />
<br />
<li><br />
[http://mirrors.ctan.org/info/symbols/comprehensive/symbols-a4.pdf The Comprehensive LaTeX Symbol List].<br />
<br/><br/></li><br />
<br />
<li><br />
[https://mathvault.ca/wp-content/uploads/Comprehensive-List-of-Mathematical-Symbols.pdf Comprehensive List of Mathematical Symbols].<br />
<br/><br/></li><br />
</ul><br />
<br />
-------------------------------------------------------------------------------------------------------------<br />
<br />
==Operators==<br />
{| class="latextable"<br />
!Symbol!!Command!!Symbol!!Command!!Symbol!!Command<br />
|-<br />
|<math>\pm</math>||\pm||<math>\mp</math>||\mp||<math>\times</math>||\times<br />
|-<br />
|<math>\div</math>||\div||<math>\cdot</math>||\cdot||<math>\ast</math>||\ast<br />
|-<br />
|<math>\star</math>||\star||<math>\dagger</math>||\dagger||<math>\ddagger</math>||\ddagger<br />
|-<br />
|<math>\amalg</math>||\amalg||<math>\cap</math>||\cap||<math>\cup</math>||\cup<br />
|-<br />
|<math>\uplus</math>||\uplus||<math>\sqcap</math>||\sqcap||<math>\sqcup</math>||\sqcup<br />
|-<br />
|<math>\vee</math>||\vee||<math>\wedge</math>||\wedge||<math>\oplus</math>||\oplus<br />
|-<br />
|<math>\ominus</math>||\ominus||<math>\otimes</math>||\otimes||<math>\circ</math>||\circ<br />
|-<br />
|<math>\bullet</math>||\bullet||<math>\diamond</math>||\diamond||<math>\lhd</math>||\lhd<br />
|-<br />
|<math>\rhd</math>||\rhd||<math>\unlhd</math>||\unlhd||<math>\unrhd</math>||\unrhd<br />
|-<br />
|<math>\oslash</math>||\oslash||<math>\odot</math>||\odot||<math>\bigcirc</math>||\bigcirc<br />
|-<br />
|<math>\triangleleft</math>||\triangleleft||<math>\Diamond</math>||\Diamond||<math>\bigtriangleup</math>||\bigtriangleup<br />
|-<br />
|<math>\bigtriangledown</math>||\bigtriangledown||<math>\Box</math>||\Box||<math>\triangleright</math>||\triangleright<br />
|-<br />
|<math>\setminus</math>||\setminus||<math>\wr</math>||\wr||<math>\sqrt{x}</math>||\sqrt{x}<br />
|-<br />
|<math>x^{\circ}</math>||x^{\circ}||<math>\triangledown</math>||\triangledown||<math>\sqrt[n]{x}</math>||\sqrt[n]{x}<br />
|-<br />
|<math>a^x</math>||a^x||<math>a^{xyz}</math>||a^{xyz}||<math>a_x</math>||a_x<br />
|}<br />
<br />
==Relations==<br />
{| class="latextable"<br />
!Symbol !! Command !!Symbol !! Command!!Symbol !! Command<br />
|-<br />
| <math>\le</math>||\le||<math>\ge</math>||\ge||<math>\neq</math>||\neq<br />
|-<br />
| <math>\sim</math>||\sim||<math>\ll</math>||\ll||<math>\gg</math>||\gg<br />
|-<br />
| <math>\doteq</math>||\doteq||<math>\simeq</math>||\simeq||<math>\subset</math>||\subset<br />
|-<br />
| <math>\supset</math>||\supset||<math>\approx</math>||\approx||<math>\asymp</math>||\asymp<br />
|-<br />
| <math>\subseteq</math>||\subseteq||<math>\supseteq</math>||\supseteq||<math>\cong</math>||\cong<br />
|-<br />
| <math>\smile</math>||\smile||<math>\sqsubset</math>||\sqsubset||<math>\sqsupset</math>||\sqsupset<br />
|-<br />
| <math>\equiv</math>||\equiv||<math>\frown</math>||\frown||<math>\sqsubseteq</math>||\sqsubseteq<br />
|-<br />
| <math>\sqsupseteq</math>||\sqsupseteq||<math>\propto</math>||\propto||<math>\bowtie</math>||\bowtie<br />
|-<br />
| <math>\in</math>||\in||<math>\ni</math>||\ni||<math>\prec</math>||\prec<br />
|-<br />
| <math>\succ</math>||\succ||<math>\vdash</math>||\vdash||<math>\dashv</math>||\dashv<br />
|-<br />
| <math>\preceq</math>||\preceq||<math>\succeq</math>||\succeq||<math>\models</math>||\models<br />
|-<br />
| <math>\perp</math>||\perp||<math>\parallel</math>||\parallel||<br />
|-<br />
| <math>\mid</math>||\mid||<math>\bumpeq</math>||\bumpeq||<br />
|}<br />
Negations of many of these relations can be formed by just putting \not before the symbol, or by slipping an "n" between the \ and the word. Here are a couple examples, plus many other negations; it works for many of the many others as well.<br />
<br />
{| class="latextable"}<br />
!Symbol!!Command!!Symbol!!Command!!Symbol!!Command<br />
|-<br />
|<math>\nmid</math>||\nmid||<math>\nleq</math>||\nleq||<math>\ngeq</math>||\ngeq<br />
|-<br />
| <math>\nsim</math>||\nsim||<math>\ncong</math>||\ncong||<math>\nparallel</math>||\nparallel<br />
|-<br />
| <math>\not<</math>||\not<||<math>\not></math>||\not>||<math>\not=</math>||\not= or \neq<br />
|-<br />
| <math>\not\le</math>||\not\le||<math>\not\ge</math>||\not\ge||<math>\not\sim</math>||\not\sim<br />
|-<br />
|<math>\not \approx</math>||\not\approx||<math>\not\cong</math>||\not\cong||<math>\not\equiv</math>||\not\equiv<br />
|-<br />
| <math>\not\parallel</math>||\not\parallel||<math>\nless</math>||\nless||<math>\ngtr</math>||\ngtr<br />
|-<br />
| <math>\lneq</math>||\lneq||<math>\gneq</math>||\gneq||<math>\lnsim</math>||\lnsim<br />
|-<br />
| <math>\lneqq</math>||\lneqq||<math>\gneqq</math>||\gneqq<br />
|}<br />
<br />
To use other relations not listed here, such as =, >, and <, in LaTeX, you must use the symbols on your keyboard, they are not available in <math>\LaTeX</math>.<br />
<br />
==Greek Letters==<br />
{| class="latextable"<br />
|+ Lowercase Letters<br />
!Symbol!!Command!!Symbol!!Command!!Symbol!!Command!!Symbol!!Command<br />
|-<br />
|<math>\alpha</math>||\alpha||<math>\beta</math>||\beta||<math>\gamma</math>||\gamma||<math>\delta</math>||\delta<br />
|-<br />
| <math>\epsilon</math>||\epsilon||<math>\varepsilon</math>||\varepsilon||<math>\zeta</math>||\zeta||<math>\eta</math>||\eta<br />
|-<br />
| <math>\theta</math>||\theta||<math>\vartheta</math>||\vartheta||<math>\iota</math>||\iota||<math>\kappa</math>||\kappa<br />
|-<br />
| <math>\lambda</math>||\lambda||<math>\mu</math>||\mu||<math>\nu</math>||\nu||<math>\xi</math>||\xi<br />
|-<br />
|<math>\pi</math>||\pi||<math>\varpi</math>||\varpi||<math>\rho</math>||\rho||<math>\varrho</math>||\varrho<br />
|-<br />
| <math>\sigma</math>||\sigma||<math>\varsigma</math>||\varsigma||<math>\tau</math>||\tau||<math>\upsilon</math>||\upsilon<br />
|-<br />
| <math>\phi</math>||\phi||<math>\varphi</math>||\varphi||<math>\chi</math>||\chi||<math>\psi</math>||\psi<br />
|-<br />
| <math>\omega</math>||\omega<br />
|}<br />
<br />
<br />
{| class="latextable"<br />
|+ Capital Letters<br />
!Symbol!!Command!!Symbol!!Command!!Symbol!!Command!!Symbol!!Command<br />
|-<br />
|<math>\Gamma</math>||\Gamma||<math>\Delta</math>||\Delta||<math>\Theta</math>||\Theta||<math>\Lambda</math>||\Lambda<br />
|-<br />
| <math>\Xi</math>||\Xi||<math>\Pi</math>||\Pi||<math>\Sigma</math>||\Sigma||<math>\Upsilon</math>||\Upsilon<br />
|-<br />
| <math>\Phi</math>||\Phi||<math>\Psi</math>||\Psi||<math>\Omega</math>||\Omega<br />
|}<br />
<br />
<br />
== Arrows ==<br />
<br />
{| class="latextable"<br />
!Symbol !! Command!!Symbol !! Command<br />
|-<br />
|<math>\gets</math>||\gets||<math>\to</math>||\to<br />
|-<br />
|<math>\leftarrow</math>||\leftarrow||<math>\Leftarrow</math>||\Leftarrow<br />
|-<br />
|<math>\rightarrow</math>||\rightarrow||<math>\Rightarrow</math>||\Rightarrow<br />
|-<br />
|<math>\leftrightarrow</math>||\leftrightarrow||<math>\Leftrightarrow</math>||\Leftrightarrow<br />
|-<br />
|<math>\mapsto</math>||\mapsto||<math>\hookleftarrow</math>||\hookleftarrow<br />
|-<br />
|<math>\leftharpoonup</math>||\leftharpoonup||<math>\leftharpoondown</math>||\leftharpoondown<br />
|-<br />
|<math>\rightleftharpoons</math>||\rightleftharpoons||<math>\longleftarrow</math>||\longleftarrow<br />
|-<br />
|<math>\Longleftarrow</math>||\Longleftarrow||<math>\longrightarrow</math>||\longrightarrow<br />
|-<br />
|<math>\Longrightarrow</math>||\Longrightarrow||<math>\longleftrightarrow</math>||\longleftrightarrow<br />
|-<br />
|<math>\Longleftrightarrow</math>||\Longleftrightarrow||<math>\longmapsto</math>||\longmapsto<br />
|-<br />
|<math>\hookrightarrow</math>||\hookrightarrow||<math>\rightharpoonup</math>||\rightharpoonup<br />
|-<br />
|<math>\rightharpoondown</math>||\rightharpoondown||<math>\leadsto</math>||\leadsto<br />
|-<br />
|<math>\uparrow</math>||\uparrow||<math>\Uparrow</math>||\Uparrow<br />
|-<br />
|<math>\downarrow</math>||\downarrow||<math>\Downarrow</math>||\Downarrow<br />
|-<br />
|<math>\updownarrow</math>||\updownarrow||<math>\Updownarrow</math>||\Updownarrow<br />
|-<br />
|<math>\nearrow</math>||\nearrow||<math>\searrow</math>||\searrow<br />
|-<br />
|<math>\swarrow</math>||\swarrow||<math>\nwarrow</math>||\nwarrow<br />
|-<br />
|<math>\overrightarrow{AB}</math>||\overrightarrow{AB}||<math>\overleftarrow{AB}</math>||\overleftarrow{AB}<br />
|-<br />
|<math>\overleftrightarrow{AB}</math>||\overleftrightarrow{AB}|| ||<br />
|}<br />
(For those of you who hate typing long strings of letters, \iff and \implies can be used in place of \Longleftrightarrow and \Longrightarrow respectively.)<br />
<br />
==Dots==<br />
{| class="latextable"<br />
!Symbol!!Command!!Symbol!!Command!!<br />
|- <br />
|<math>\cdot</math>||\cdot|| |<math>\vdots</math>||\vdots|| <br />
|- <br />
|<math>\dots</math>||\dots|| |<math>\ddots</math>||\ddots||<br />
|-<br />
|<math>\cdots</math>||\cdots|| |<math>\iddots</math>||\iddots||<br />
<br />
|}<br />
<br />
==Accents==<br />
{| class="latextable"<br />
!Symbol !! Command!!Symbol !! Command!!Symbol !! Command<br />
|-<br />
|<math>\hat{x}</math>||\hat{x}||<math>\check{x}</math>||\check{x}||<math>\dot{x}</math>||\dot{x}<br />
|-<br />
|<math>\breve{x}</math>||\breve{x}||<math>\acute{x}</math>||\acute{x}||<math>\ddot{x}</math>||\ddot{x}<br />
|-<br />
|<math>\grave{x}</math>||\grave{x}||<math>\tilde{x}</math>||\tilde{x}||<math>\mathring{x}</math>||\mathring{x}<br />
|-<br />
|<math>\bar{x}</math>||\bar{x}||<math>\vec{x}</math>||\vec{x}<br />
|}<br />
When applying accents to i and j, you can use \imath and \jmath to keep the dots from interfering with the accents:<br />
{| class="latextable"<br />
!Symbol !! Command!!Symbol !! Command<br />
|-<br />
|<math>\vec{\jmath}</math>||\vec{\jmath}||<math>\tilde{\imath}</math>||\tilde{\imath}<br />
|}<br />
\tilde and \hat have wide versions that allow you to accent an expression:<br />
{| class="latextable"<br />
!Symbol !! Command!!Symbol !! Command<br />
|-<br />
|<math>\widehat{7+x}</math>||\widehat{7+x}||<math>\widetilde{abc}</math>||\widetilde{abc}<br />
|}<br />
<br />
==Others==<br />
{| class="latextable"<br />
!Symbol!!Command!!Symbol!!Command!!Symbol!!Command <br />
|-<br />
|<math>\infty</math>||\infty||<math>\triangle</math>||\triangle||<math>\angle</math>||\angle<br />
|-<br />
|<math>\aleph</math>||\aleph||<math>\hbar</math>||\hbar||<math>\imath</math>||\imath<br />
|-<br />
|<math>\jmath</math>||\jmath||<math>\ell</math>||\ell||<math>\wp</math>||\wp<br />
|-<br />
|<math>\Re</math>||\Re||<math>\Im</math>||\Im||<math>\mho</math>||\mho<br />
|-<br />
|<math>\prime</math>||\prime||<math>\emptyset</math>||\emptyset||<math>\nabla</math>||\nabla<br />
|-<br />
|<math>\surd</math>||\surd||<math>\partial</math>||\partial||<math>\top</math>||\top<br />
|-<br />
|<math>\bot</math>||\bot||<math>\vdash</math>||\vdash||<math>\dashv</math>||\dashv<br />
|-<br />
|<math>\forall</math>||\forall||<math>\exists</math>||\exists||<math>\neg</math>||\neg<br />
|-<br />
|<math>\flat</math>||\flat||<math>\natural</math>||\natural||<math>\sharp</math>||\sharp<br />
|-<br />
|<math>\backslash</math>||\backslash||<math>\Box</math>||\Box||<math>\Diamond</math>||\Diamond<br />
|-<br />
|<math>\clubsuit</math>||\clubsuit||<math>\diamondsuit</math>||\diamondsuit||<math>\heartsuit</math>||\heartsuit<br />
|-<br />
|[[Image:Spadesuit.gif]]||\spadesuit||<math>\Join</math>||\Join||<math>\blacksquare</math>||\blacksquare<br />
|-<br />
|<math>\S</math>||\S||<math>\P</math>||\P||<math>\copyright</math>||\copyright<br />
|-<br />
|<math>\pounds</math>||\pounds||<math>\overarc{ABC}</math>||\overarc{ABC}||<math>\underarc{XYZ}</math>||\underarc{XYZ}<br />
|-<br />
|<math>\bigstar</math>||\bigstar||<math>\in</math>||\in||<math>\cup</math>||\cup<br />
|-<br />
|<math>\square</math>||\square||<br />
|-<br />
|<math>\smiley</math>||\smiley||<br />
|-<br />
|<math>\mathbb{R}</math>||\mathbb{R} (represents all real numbers)||<br />
|-<br />
|<math>\checkmark</math>||\checkmark||<br />
|-<br />
|<math>\cancer</math>||\cancer||<br />
|}<br />
Note: <math>\cancer</math> does not work in the classroom.<br />
<br />
==Command Symbols==<br />
Some symbols are used in commands so they need to be treated in a special way.<br />
{| class="latextable"<br />
!Symbol!!Command!!Symbol!!Command!!Symbol!!Command!!Symbol!!Command<br />
|-<br />
|<math>\textdollar</math>||\textdollar or \\$||<math>\&</math>||\&||<math>\%</math>||\%||<math>\#</math>||\#<br />
|-<br />
|<math>\_</math>||\_||<math>\{</math>||\{||<math>\}</math>||\}||<math>\backslash</math>||\backslash<br />
|}<br />
<br />
(Warning: Using <nowiki>$</nowiki> for <math>\textdollar</math> will result in <math>\$</math>. This is a bug as far as we know. Depending on the version of <math>\LaTeX</math> this is not always a problem.)<br />
<br />
==European Language Symbols==<br />
{| class="latextable"<br />
!Symbol!!Command!!Symbol!!Command!!Symbol!!Command!!Symbol!!Command<br />
|-<br />
|<math>{\oe}</math>||{\oe}||<math>{\ae}</math>||{\ae}||<math>{\o}</math>||{\o}<br />
|-<br />
|<math>{\OE}</math>||{\OE}||<math>{\AE}</math>||{\AE}||<math>{\AA}</math>||{\AA}||<math>{\O}</math>||{\O}<br />
|-<br />
|<math>{\l}</math>||{\l}||<math>{\ss}</math>||{\ss}||<math>\text{!`}</math>||!`<br />
|-<br />
|<math>{\L}</math>||{\L}||<math>{\SS}</math>||{\SS}||<br />
|}<br />
<br />
==Bracketing Symbols==<br />
In mathematics, sometimes we need to enclose expressions in brackets, braces or parentheses. Some of these work just as you'd imagine in LaTeX; type ( and ) for parentheses, [ and ] for brackets, and | and | for absolute value. However, other symbols have special commands:<br />
{| class="latextable"<br />
!Symbol !! Command!!Symbol !! Command!!Symbol !! Command<br />
|-<br />
|<math>\{</math>||\{||<math>\}</math>||\}||<math>\|</math>||<nowiki>\|</nowiki><br />
|-<br />
| <math>\backslash</math>||\backslash||<math>\lfloor</math>||\lfloor||<math>\rfloor</math>||\rfloor<br />
|-<br />
| <math>\lceil</math>||\lceil||<math>\rceil</math>||\rceil||<math>\langle</math>||\langle<br />
|-<br />
| <math>\rangle</math>||\rangle<br />
|}<br />
You might notice that if you use any of these to typeset an expression that is vertically large, like<br />
<br />
:<tt>(\frac{a}{x} )^2</tt><br />
<br />
the parentheses don't come out the right size:<br />
<br />
:<math>(\frac{a}{x})^2</math><br />
<br />
If we put \left and \right before the relevant parentheses, we get a prettier expression:<br />
<br />
:<tt>\left(\frac{a}{x} \right)^2</tt><br />
<br />
gives<br />
<br />
:<math>\left(\frac{a}{x} \right)^2</math><br />
<br />
For systems of equations or piecewise functions, use the cases environment:<br />
<br />
<tt>f(x) = \begin{cases} x^2 & x \ge 0 \\ x & x < 0 \end{cases}</tt><br />
<br />
which gives<br />
<br />
<math>f(x) = \begin{cases} x^2 & x \ge 0 \\ x & x < 0 \end{cases}</math><br />
<br />
In addition to the <tt>\left</tt> and <tt>\right</tt> commands, when doing floor or ceiling functions with fractions, using <br />
<br />
<tt>\left\lceil\frac{x}{y}\right\rceil</tt> <br />
<br />
and <tt>\left\lfloor\frac{x}{y}\right\rfloor </tt><br />
<br />
give both <math>\left\lceil\frac{x}{y}\right\rceil\text{ and }\left\lfloor\frac{x}{y}\right\rfloor\text{, respectively.}</math><br />
<br />
<br />
And, if you type this<br />
<br />
<tt>\underbrace{a_0+a_1+a_2+\cdots+a_n}_{x}</tt><br />
<br />
Gives<br />
<br />
<math>\underbrace{a_0+a_1+a_2+\cdots+a_n}_{x}</math><br />
<br />
Or<br />
<br />
<tt>\overbrace{a_0+a_1+a_2+\cdots+a_n}^{x}</tt><br />
<br />
Gives<br />
<br />
<math>\overbrace{a_0+a_1+a_2+\cdots+a_n}^{x}</math><br />
<br />
<br />
\left and \right can also be used to resize the following symbols:<br />
{| class="latextable"<br />
!Symbol !! Command!!Symbol !! Command!!Symbol !! Command<br />
|-<br />
|<math>\uparrow</math>||\uparrow||<math>\downarrow</math>||\downarrow||<math>\updownarrow</math>||\updownarrow<br />
|-<br />
| <math>\Uparrow</math>||\Uparrow||<math>\Downarrow</math>||\Downarrow||<math>\Updownarrow</math>||\Updownarrow<br />
|}<br />
<br />
==Multi-Size Symbols==<br />
Some symbols render differently in inline math mode and in display mode. Display mode occurs when you use <nowiki>\[...\]</nowiki> or <nowiki>$$...$$</nowiki>, or environments like \begin{equation}...\end{equation}, \begin{align}...\end{align}. Read more in the [[LaTeX:Commands|commands]] section of the guide about how symbols which take arguments above and below the symbols, such as a summation symbol, behave in the two modes.<br />
<br />
In each of the following, the two images show the symbol in display mode, then in inline mode.<br />
<br />
{| class="latextable"<br />
!Symbol !! Command!!Symbol !! Command!!Symbol !! Command<br />
|-<br />
|<math>\sum \textstyle\sum</math>||\sum||<math>\int \textstyle\int</math>||\int||<math>\oint \textstyle\oint</math>||\oint<br />
|-<br />
|<math>\prod \textstyle\prod</math>||\prod||<math>\coprod \textstyle\coprod</math>||\coprod||<math>\bigcap \textstyle\bigcap</math>||\bigcap<br />
|-<br />
|<math>\bigcup \textstyle\bigcup</math>||\bigcup||<math>\bigsqcup \textstyle\bigsqcup</math>||\bigsqcup||<math>\bigvee \textstyle\bigvee</math>||\bigvee<br />
|-<br />
|<math>\bigwedge \textstyle\bigwedge</math>||\bigwedge||<math>\bigodot \textstyle\bigodot</math>||\bigodot||<math>\bigotimes \textstyle\bigotimes</math>||\bigotimes<br />
|-<br />
|<math>\bigoplus \textstyle\bigoplus</math>||\bigoplus||<math>\biguplus \textstyle\biguplus</math>||\biguplus<br />
|}<br />
<br />
==See Also==<br />
*[[LaTeX:Commands | Next: Commands]]</div>Bacon9000