Epsilon Symbol (Ε ε): Meaning, Uses, and How to Type It

Epsilon is the fifth letter of the Greek alphabet, and the lowercase ε is mathematics' favorite way of saying "as small as you like." It anchors the epsilon-delta definition of a limit, names the permittivity of free space in electromagnetism, measures strain in engineering, and sets the precision limit of floating-point arithmetic. It also causes two recurring mix-ups: LaTeX has two different epsilons, and the set-membership symbol ∈ is not an epsilon at all.

This guide explains each meaning with formulas and examples, then shows how to type ε and Ε on Mac, Windows, iPhone, in HTML, and in LaTeX.

The Epsilon Symbol Explained

Epsilon has three Unicode forms:

• Ε — uppercase epsilon (U+0395), identical in appearance to a Latin E
• ε — lowercase epsilon (U+03B5), the usual curly form
• ϵ — lunate epsilon (U+03F5), a straighter variant that looks like a backwards 3 or a small c with a bar

The name means "simple e" (e psilon) and in English is pronounced "EP-sih-lon." The Greek numeral ε′ stands for 5.

Lowercase Epsilon (ε)

Uses of lowercase ε:

• Arbitrarily small positive number — in limits, continuity, and analysis
• Permittivity — ε₀ in electromagnetism, ε_r for materials
• Strain — in mechanics of materials
• Machine epsilon — in numerical computing
• Empty string — in automata theory and formal languages
• Error term — in regression models
• Emissivity — in thermal radiation
• Molar absorptivity — in the Beer–Lambert law
• Levi-Civita symbol — ε_ijk in vector and tensor calculus

Epsilon-Delta Limits

The modern definition of a limit, due to Weierstrass and Cauchy, uses ε and δ together. The statement lim_{x→a} f(x) = L means:

For every ε > 0, there exists a δ > 0 such that 0 < |x − a| < δ implies |f(x) − L| < ε.

Here ε is the tolerance on the output and δ is the tolerance on the input. To prove lim_{x→2} (3x + 1) = 7, note that |3x + 1 − 7| = 3|x − 2|, so choosing δ = ε/3 guarantees |f(x) − 7| < ε whenever |x − 2| < δ. The same ε-language defines continuity, convergence of sequences, and uniform convergence.

Epsilon Means "Arbitrarily Small"

Beyond formal limits, ε is a universal shorthand for a small positive quantity:

• An ε-neighborhood of a point is the set of points within distance ε of it
• Asymptotic bounds such as O(n^{2+ε}) mean "n² times any power you like, however small"
• ε-greedy strategies in reinforcement learning explore a random action with small probability ε
• Differential privacy uses ε as its privacy budget; smaller ε means stronger privacy
• In regression, y = β₀ + β₁x + ε, the ε is the random error term

The mathematician Paul Erdős famously called children "epsilons."

Permittivity

In electromagnetism, ε is permittivity, a measure of how a material responds to an electric field. The permittivity of free space is:

ε₀ ≈ 8.854 × 10⁻¹² F/m

It appears in Coulomb's law, F = q₁q₂ / (4πε₀r²), in the capacitance of a parallel-plate capacitor, C = ε₀ε_r A/d, and in the speed of light, c = 1/√(μ₀ε₀). The relative permittivity (dielectric constant) ε_r is 1 for vacuum, about 80 for water, and 3 to 4 for typical circuit-board materials.

Strain in Engineering

Strain is the fractional change in length of a material under load:

ε = ΔL / L₀

It is dimensionless and is often quoted in microstrain (με, 10⁻⁶). Hooke's law links strain to stress through Young's modulus: σ = Eε. A 2 m steel rod stretched by 1 mm has ε = 0.0005 = 500 με, and with E = 200 GPa the stress is 100 MPa. Mild steel begins to yield at a strain of roughly 0.002.

Machine Epsilon

In floating-point arithmetic, machine epsilon is the gap between 1 and the next representable number. For IEEE 754 double precision it is 2⁻⁵² ≈ 2.22 × 10⁻¹⁶; for single precision it is 2⁻²³ ≈ 1.19 × 10⁻⁷. It explains why 0.1 + 0.2 == 0.3 is false in most languages, and it sets the tolerance for safe comparisons:

```python
import sys, math
sys.float_info.epsilon # 2.220446049250313e-16
math.isclose(0.1 + 0.2, 0.3) # True
```

The Empty String

In automata theory and formal language theory, ε denotes the empty string, the string of length zero. An ε-transition in a nondeterministic finite automaton moves between states without consuming input, and ε is the identity for concatenation: εw = wε = w. Some textbooks use λ for the same concept.

Uppercase Epsilon (Ε)

Because uppercase epsilon is indistinguishable from the Latin E, it is not used as a mathematical symbol. Standard LaTeX has no \Epsilon command; a plain E is used instead.

Epsilon in Different Fields

Mathematics

• Limits, continuity, and ε-δ proofs
• ε-neighborhoods and open sets in topology
• The Levi-Civita symbol ε_ijk, used to write cross products and determinants
• The empty string in formal languages

Physics

• Permittivity of free space ε₀ and dielectric constants
• Emissivity ε, from 0 for a perfect reflector to 1 for a blackbody, in the Stefan–Boltzmann law P = εσAT⁴
• The well depth ε of the Lennard-Jones potential
• Orbital eccentricity, written e or ε

Engineering

• Strain and the stress-strain curve
• Dielectric constants in capacitor and PCB design
• Machine epsilon and numerical tolerances in simulation software

Chemistry and Statistics

• Molar absorptivity ε in A = εlc, the Beer–Lambert law for spectroscopy
• The error term ε in linear regression
• ε in Lennard-Jones and other interatomic potentials

How to Type Epsilon

Mac: The US layout has no Option shortcut for epsilon. Add the Greek input source in System Settings > Keyboard > Input Sources and press E, or open the Character Viewer (Control + Command + Space) and search "epsilon."

Windows: Hold Alt and type 238 on the numeric keypad for ε; this old DOS code works in nearly every application. In Word, you can also type 03B5 and press Alt + X.

iPhone and iPad: Add the Greek keyboard under Settings > General > Keyboard > Keyboards > Add New Keyboard, then tap E. Android's Gboard has the same layout.

LaTeX: This is where the two epsilons matter. In standard LaTeX math mode:

• \epsilon produces the lunate form ϵ
• \varepsilon produces the curly form ε

Many authors and journals prefer \varepsilon because it is more distinct from the set-membership symbol. Whichever you choose, use it consistently.

```latex
\forall \varepsilon > 0\ \exists \delta > 0 : |x - a| < \delta \Rightarrow |f(x) - L| < \varepsilon
F = \frac{q_1 q_2}{4\pi\varepsilon_0 r^2}
\sigma = E\varepsilon
```

Is ∈ the Same as Epsilon?

No. The symbol ∈ (U+2208) means "is an element of," as in x ∈ ℝ. Giuseppe Peano introduced it in 1889, adapting the Greek letter from the word esti ("is"), so the resemblance is historical, but today they are different characters with different meanings. In LaTeX, set membership is \in, never \epsilon; the HTML entity is ∈, and the negated form ∉ is \notin.

What Does ε Mean in Math?

Usually "a small positive number that can be made as small as you want." If you see "for every ε > 0," you are reading a limit or convergence argument. If ε is next to a subscript 0 or a dielectric, it is permittivity; if it is next to a stress σ, it is strain.

Common Epsilon Expressions

• |f(x) − L| < ε — the limit condition
• ε₀ ≈ 8.854 × 10⁻¹² F/m — permittivity of free space
• ε = ΔL/L₀ — engineering strain
• ε_mach ≈ 2.22 × 10⁻¹⁶ — double-precision machine epsilon
• y = β₀ + β₁x + ε — regression with error term
• A = εlc — Beer–Lambert law
• x ∈ A — set membership (not epsilon)

Writing with Greek Symbols

Analysis proofs, circuit papers, and materials reports all lean on epsilon, and the choice between \epsilon, \varepsilon, and \in is the kind of detail that separates clean typesetting from sloppy typesetting.

Octree is an AI-powered LaTeX editor that gets these details right automatically, so you can describe what you mean and get a correctly compiled document.

Create professional documents at https://useoctree.com