<Tr> <Td> ∞ </Td> <Td> ∞ (\ displaystyle \ infty) \ infty </Td> <Td> infinity infinity numbers </Td> <Td> ∞ is an element of the extended number line that is greater than all real numbers; it often occurs in limits . </Td> <Td> lim x → 0 1 x = ∞ (\ displaystyle \ lim _ (x \ to 0) (\ frac (1) (x)) = \ infty) </Td> </Tr> <Tr> <Td> ∎ ▮ ‣ </Td> <Td> ◼ (\ displaystyle \ blacksquare) \ blacksquare ◻ (\ displaystyle \ Box) \ Box ▸ (\ displaystyle \ blacktriangleright) \ blacktriangleright </Td> <Td> end of proof QED; tombstone; Halmos finality symbol everywhere </Td> <Td> Used to mark the end of a proof . (May also be written Q.E.D.) </Td> <Td> </Td> </Tr> <Table> <Tr> <Th> Symbol in HTML </Th> <Th> Symbol in TeX </Th> <Th> Name </Th> <Th> Explanation </Th> <Th> Examples </Th> </Tr> <Tr> <Th> Read as </Th> </Tr> <Tr> <Th> Category </Th> </Tr> <Tr> <Td> = </Td> <Td> = (\ displaystyle =) </Td> <Td> equality is equal to; equals everywhere </Td> <Td> x = y (\ displaystyle x = y) means x (\ displaystyle x) and y (\ displaystyle y) represent the same thing or value . </Td> <Td> 2 = 2 (\ displaystyle 2 = 2) 1 + 1 = 2 (\ displaystyle 1 + 1 = 2) 36 − 5 = 31 (\ displaystyle 36 - 5 = 31) </Td> </Tr> <Tr> <Td> ≠ </Td> <Td> ≠ (\ displaystyle \ neq) \ ne </Td> <Td> inequality is not equal to; does not equal everywhere </Td> <Td> x ≠ y (\ displaystyle x \ neq y) means that x (\ displaystyle x) and y (\ displaystyle y) do not represent the same thing or value . (The forms! =, / = or <> are generally used in programming languages where ease of typing and use of ASCII text is preferred .) </Td> <Td> 2 + 2 ≠ 5 (\ displaystyle 2 + 2 \ neq 5) 36 − 5 ≠ 30 (\ displaystyle 36 - 5 \ neq 30) </Td> </Tr> <Tr> <Td> ≈ </Td> <Td> ≈ (\ displaystyle \ approx) \ approx </Td> <Td> approximately equal is approximately equal to everywhere </Td> <Td> x ≈ y means x is approximately equal to y . This may also be written ≃, ≅, ~, ♎ (Libra Symbol), or ≒ . </Td> <Td> π ≈ 3.14159 </Td> </Tr> <Tr> <Td> isomorphism is isomorphic to group theory </Td> <Td> G ≈ H means that group G is isomorphic (structurally identical) to group H . (≅ can also be used for isomorphic, as described below .) </Td> <Td> Q / C ≈ V </Td> </Tr> <Tr> <Td> ~ </Td> <Td> ∼ (\ displaystyle \ sim) \ sim </Td> <Td> probability distribution has distribution statistics </Td> <Td> X ~ D, means the random variable X has the probability distribution D . </Td> <Td> X ~ N (0, 1), the standard normal distribution </Td> </Tr> <Tr> <Td> row equivalence is row equivalent to matrix theory </Td> <Td> A ~ B means that B can be generated by using a series of elementary row operations on A </Td> <Td> (1 2 2 4) ∼ (1 2 0 0) (\ displaystyle (\ begin (bmatrix) 1&2 \ \ 2&4 \ \ \ end (bmatrix)) \ sim (\ begin (bmatrix) 1&2 \ \ 0&0 \ \ \ end (bmatrix))) </Td> </Tr> <Tr> <Td> same order of magnitude roughly similar; poorly approximates; is on the order of approximation theory </Td> <Td> m ~ n means the quantities m and n have the same order of magnitude, or general size . (Note that ~ is used for an approximation that is poor, otherwise use ≈ .) </Td> <Td> 2 ~ 5 8 × 9 ~ 100 but π ≈ 10 </Td> </Tr> <Tr> <Td> similarity is similar to geometry </Td> <Td> △ ABC ~ △ DEF means triangle ABC is similar to (has the same shape) triangle DEF . </Td> <Td> </Td> </Tr> <Tr> <Td> asymptotically equivalent is asymptotically equivalent to asymptotic analysis </Td> <Td> f ~ g means lim n → ∞ f (n) g (n) = 1 (\ displaystyle \ lim _ (n \ to \ infty) (\ frac (f (n)) (g (n))) = 1). </Td> <Td> x ~ x + 1 </Td> </Tr> <Tr> <Td> equivalence relation are in the same equivalence class everywhere </Td> <Td> a ~ b means b ∈ (a) (\ displaystyle b \ in (a)) (and equivalently a ∈ (b) (\ displaystyle a \ in (b))). </Td> <Td> 1 ~ 5 mod 4 <P> </P> </Td> </Tr> <Tr> <Td> =:: = ≡: ⇔ ≜ ≝ ≐ </Td> <Td> =: (\ displaystyle =:): = (\ displaystyle: =) ≡ (\ displaystyle \ equiv) \ equiv: ⇔ (\ displaystyle: \ Leftrightarrow): \ Leftrightarrow ≜ (\ displaystyle \ triangleq) \ triangleq = d e f (\ displaystyle (\ overset (\ underset (\ mathrm (def)) ()) (=))) \ overset (\ underset (\ mathrm (def)) ()) (=) ≐ (\ displaystyle \ doteq) \ doteq </Td> <Td> definition is defined as; is equal by definition to everywhere </Td> <Td> x: = y, y =: x or x ≡ y means x is defined to be another name for y, under certain assumptions taken in context . (Some writers use ≡ to mean congruence). P ⇔ Q means P is defined to be logically equivalent to Q . </Td> <Td> cosh ⁡ x: = e x + e − x 2 (\ displaystyle \ cosh x: = (\ frac (e ^ (x) + e ^ (- x)) (2))) (a, b): = a ⋅ b − b ⋅ a (\ displaystyle (a, b): = a \ cdot b-b \ cdot a) </Td> </Tr> <Tr> <Td> ≅ </Td> <Td> ≅ (\ displaystyle \ cong) \ cong </Td> <Td> congruence is congruent to geometry </Td> <Td> △ ABC ≅ △ DEF means triangle ABC is congruent to (has the same measurements as) triangle DEF . </Td> <Td> </Td> </Tr> <Tr> <Td> isomorphic is isomorphic to abstract algebra </Td> <Td> G ≅ H means that group G is isomorphic (structurally identical) to group H . (≈ can also be used for isomorphic, as described above .) </Td> <Td> V ≅ C × C </Td> </Tr> <Tr> <Td> ≡ </Td> <Td> ≡ (\ displaystyle \ equiv) \ equiv </Td> <Td> congruence relation...is congruent to...modulo...modular arithmetic </Td> <Td> a ≡ b (mod n) means a − b is divisible by n </Td> <Td> 5 ≡ 2 (mod 3) </Td> </Tr> <Tr> <Td> ⇔ ↔ </Td> <Td> ⇔ (\ displaystyle \ Leftrightarrow) \ Leftrightarrow ⟺ (\ displaystyle \ iff) \ iff ↔ (\ displaystyle \ leftrightarrow) \ leftrightarrow </Td> <Td> material equivalence if and only if; iff propositional logic </Td> <Td> A ⇔ B means A is true if B is true and A is false if B is false . </Td> <Td> x + 5 = y + 2 ⇔ x + 3 = y </Td> </Tr> <Tr> <Td>: = =: </Td> <Td>: = (\ displaystyle: =) =: (\ displaystyle =:) </Td> <Td> Assignment is defined to be everywhere </Td> <Td> A: = b means A is defined to have the value b . </Td> <Td> Let a: = 3, then...f (x): = x + 3 </Td> </Tr> </Table> <Tr> <Th> Symbol in HTML </Th> <Th> Symbol in TeX </Th> <Th> Name </Th> <Th> Explanation </Th> <Th> Examples </Th> </Tr>

What is the symbol for approximately equal to