symbol browser

Symbol Browser

Search and explore every math primitive component — live rendered with usage snippets.

228 components

Composition

x dx2
ExprInline composition wrapper — groups text, symbols, and components into one node

Arithmetic

ab
FracVertical fraction a/b
x2
PowSuperscript exponent x²
xn
SubSubscript x_n
x
SqrtSquare root √x with overbar
|x|
AbsAbsolute value |x|
{x+y}
BraceCurly brace grouping {x+y}
(x+y)
ParenAuto-sized parentheses
InfInfinity ∞
90°
DegDegree symbol 90°
±
PlusMinusPlus-minus ±
MinusPlusMinus-plus ∓

School

×
TimesMultiplication cross ×
÷
DivisionDivision sign ÷
%
PercentPercent sign %
PermillePer mille ‰
ProportionProportion symbol ∷
RatioRatio colon ∶

Calculus

baf dx
IntegralDefinite integral ∫ₐᵇ
f dz
ContourIntegralContour integral ∮
DoubleIntDouble integral ∬
TripleIntTriple integral ∭
nΣi=0aᵢ
SumSummation Σ with bounds
nΠi=1aᵢ
ProdProduct Π with bounds
limx→0f(x)
LimLimit lim_{x→0}
lim supn→∞aₙ
LimsupLimit superior lim sup
lim infn→∞aₙ
LiminfLimit inferior lim inf
ddy
DerivLeibniz derivative d/dy
f
PDerivPartial derivative ∂f/∂x
NablaNabla / gradient ∇
∇²
LaplacianLaplace operator ∇²
dx
DifferentialUpright d for differentials
na+b
OverbraceBrace above with label
a+bn
UnderbraceBrace below with label

Trig & Functions

sin
SinSine function
cos
CosCosine function
tan
TanTangent function
cot
CotCotangent
sec
SecSecant
csc
CscCosecant
arcsin
ArcSinInverse sine
arccos
ArcCosInverse cosine
arctan
ArcTanInverse tangent
sinh
SinhHyperbolic sine
cosh
CoshHyperbolic cosine
tanh
TanhHyperbolic tangent
log
LogLogarithm
ln
LnNatural log ln
exp
ExpExponential exp

Algebra

n!
FactorialFactorial n!
(nk)
ChooseBinomial coefficient C(n,k)
x
FloorFloor ⌊x⌋
x
CeilCeiling ⌈x⌉
amodn
ModModulo a mod n
gcd(a, b)
GCDGCD(a, b)
lcm(a, b)
LCMLCM(a, b)
Pnr
PermPermutation P(n,r)

Set Theory

InElement of ∈
NotInNot element of ∉
SubsetSubset ⊂
SubsetEqSubset or equal ⊆
ProperSubsetProper subset ⊊
UnionSet union ∪
IntersectSet intersection ∩
SetMinusSet minus ∖
EmptyEmpty set ∅
NNNatural numbers ℕ
ZZIntegers ℤ
QQRationals ℚ
RRReals ℝ
CCComplex numbers ℂ
ni=1Aᵢ
BigUnionIndexed union ⋃
ni=1Aᵢ
BigIntersectIndexed intersection ⋂
{x|x > 0}
SetOfSet-builder {x | cond}
|A|
CardinalityCardinality |A|
𝒫(A)
PowerSetPower set 𝒫(A)

Logic

AndLogical AND ∧
OrLogical OR ∨
¬
NotLogical NOT ¬
XorXOR ⊕
ImpliesImplication ⟹
IffBiconditional ⟺
ForAllUniversal quantifier ∀
ExistsExistential ∃
NotExistsDoes not exist ∄
ThereforeTherefore ∴
BecauseBecause ∵
TurnstileProves ⊢
ModelsModels / entails ⊨
TopTautology / true ⊤
BotContradiction / false ⊥
QEDEnd of proof ∎
ni=1Pᵢ
BigAndN-ary AND ⋀
ni=1Pᵢ
BigOrN-ary OR ⋁
xif x≥0−xif x<0
CasesPiecewise / cases function

Linear Algebra

v
VecVector with arrow
v
NormNorm ‖v‖
·
DotDot product ·
×
CrossCross product ×
AT
TransposeMatrix transpose Aᵀ
|A|
DetDeterminant |A|
[abcd]
Matrix2×2 matrix with brackets
span(v)
SpanOpSpan of vectors
rank(A)
RankRank of matrix
dim(V)
DimDimension of space

Probability

P(A)
ProbProbability P(A)
P(A|B)
CondProbConditional P(A|B)
𝔼[X]
ExpectedExpected value 𝔼[X]
Var(X)
VarianceVariance Var(X)
SD(X)
StdDevStandard deviation SD(X)
Cov(X, Y)
CovCovariance Cov(X,Y)
N(μ,σ)
DistDistribution X ~ N(μ,σ)

Greek

α
Alphaα alpha
β
Betaβ beta
γ
Gammaγ gamma
δ
GDeltaδ delta
ε
Epsilonε epsilon
ζ
Zetaζ zeta
η
Etaη eta
θ
Thetaθ theta
λ
Lambdaλ lambda
μ
Muμ mu
ν
Nuν nu
ξ
Xiξ xi
π
PiSymπ pi
ρ
Rhoρ rho
σ
SigmaSymσ sigma
τ
Tauτ tau
φ
Phiφ phi
χ
Chiχ chi
ψ
Psiψ psi
ω
Omegaω omega
Γ
GammaUΓ Gamma
Δ
DeltaUΔ Delta
Θ
ThetaUΘ Theta
Λ
LambdaUΛ Lambda
Σ
SigmaUΣ Sigma
Φ
PhiUΦ Phi
Ψ
PsiUΨ Psi
Ω
OmegaUΩ Omega
φ
Varphiϕ varphi
ϑ
Varthetaϑ vartheta

Relations

=
EqEquals =
NeqNot equal ≠
LeqLess or equal ≤
GeqGreater or equal ≥
LlMuch less than ≪
GgMuch greater than ≫
ApproxApproximately ≈
EquivEquivalent ≡
SimSimilar ∼
ProptoProportional ∝
PrecPrecedes ≺
SuccSucceeds ≻
DividesDivides ∣

Definition

:=
DefEqDefined as :=
DefinedAsDefined as ≜
ApproachesApproaches ≐
CorrespondsCorresponds to ≙

Accents

x
BarOverline / mean x̄
x
HatHat accent x̂
~x
TildeTilde accent x̃
·x
DotAccentSingle dot (Newton) ẋ
··x
DDotDouble dot (Newton) ẍ
f
PrimeOfPrime notation f′
f
PrimeInline prime ′
v
VecVector arrow overhead

Arrows

ArrowRight arrow →
LeftArrowLeft arrow ←
LeftRightArrowLeft-right ↔
DoubleRightArrowDouble right ⇒
DoubleLeftRightArrowDouble both ⇔
LongRightArrowLong right ⟶
MapsToMaps to ↦
HookRightArrowHook right ↪
EquilibriumArrowEquilibrium ⇌

Brackets

u, v
AngleBracketAngle brackets ⟨u, v⟩
[0,1]
IntervalInterval [0, 1]
P
DoubleBracketIverson bracket ⟦P⟧
ψ|φ
BraKetDirac ⟨ψ|φ⟩

Geometry

ABC
AngleAngle ∠ABC
MeasuredAngleMeasured angle ∡
ABC
TriangleTriangle △ABC
RightTriangleRight triangle ⊿
AB
SegmentLine segment AB̄
AB
RayRay AB→
AB
ArcArc ⌢ over AB
ParallelParallel ∥
PerpendicularPerpendicular ⊥
DiameterDiameter symbol ⌀
GeoCongCongruent ≅
GeoSimSimilar ∼

Physics

HBarReduced Planck ℏ
ψ|
BraBra ⟨ψ|
|φ
KetKet |φ⟩

Chemistry

ReactionArrowReaction ⟶
ChemEquilibriumEquilibrium ⇌
GasMarkerGas evolves ↑
PrecipitateMarkerPrecipitate ↓
CH
SingleBondSingle bond —
CO
DoubleBondDouble bond ═
NN
TripleBondTriple bond ≡

Script

ScriptLℒ — Laplace transform
ScriptFℱ — Fourier transform
𝒪
ScriptO𝒪 — complexity notation
ScriptHℋ — Hilbert space
ScriptEllℓ — ell-p spaces
𝒜
ScriptA𝒜 — script A
ScriptEℰ — Euler / energy

Operators

DirectSumDirect sum ⊕
OTimesTensor product ⊗
ConvoConvolution ∗
ComposeComposition ∘
HadamardHadamard product ⊙
AlephAleph ℵ (cardinality)

Dots

CDotsCentered dots ⋯
VDotsVertical dots ⋮
DDotsDiagonal dots ⋱
LDotsBaseline ellipsis …

CS / Algorithms

O(n)
BigOBig-O upper bound O(n)
Θ(n)
BigThetaBig-Theta tight bound Θ(n)
Ω(n)
BigOmegaBig-Omega lower bound Ω(n)
𝑜(n)
LittleOlittle-o strict upper o(n)
ω(n)
LittleOmegalittle-omega strict lower ω(n)

Shorthands

x2
Squaredx² square shorthand
x3
Cubedx³ cube shorthand
A−1
InverseA⁻¹ inverse shorthand
x0
SubZerox₀ subscript zero