Names: Perlas, Shanaia P.

Section: _____SBIT-1B_________
Cauilan, Jackelyn O. Professor: Mr.Edward Torrefranca_
Brazal, Alyssa C. Date: ___August 9, 2018_____
Salvador Christian D. Score: _____________________

Mathematical
How it read Meaning Usage/Expression
Symbols

The set of real

‘Ar’ numbers. What is the cardinality of
R R?

The set of integers.

’Zey’ Z= {0, 1, -1, 2, -2, 3, -3,
Z ...}

The set of all

‘Zey positive integers. Z+ = {1, 2, 3, 4...}
Z+ positive’

Indicates value on
> ‘is greater than’ left is larger than 5>3
value on right

Indicates value on
‘is less than’ left is smaller than 5<3
< value on right

‘
Indicates two values
is equal to’ or are the same. 5=5
= ‘equals’ Indicates the result 1+4=5
of expression.
 ‘is not equal to’ Indicates two values x≠y
≠ are different

∈ ‘is an element of…’ set membership A={3,9,14}, 3 ∈ A

∉ ‘is not element of’ No set membership A={3,9,14}, 1 ∉ A

{} ‘set of all’ Enclose elements in A = {3,7,9,14},

set B = {9,14,28}

|| ‘is parallel to’ lines in a plane AB | | CD

which do not meet

→ ‘ray’ line that start from

point A

‘trayangel’ triangle shape ΔABC≅ ΔBCD

Δ

‘Degree’ a unit of angle 60°

° measurement
 ‘The summation of’ sum of all values in
∑ range of series

multiply a series of
n! ‘The factorial of’ descending natural 4! = 4 * 3 * 2 *1
numbers 4! = 24

the relationship
between
⊥ ‘is perpendicular to’ two lines which AC ⊥ BC
meet at a right angle
(90 degrees)

a set or number of
‘Permutation’ things can be 5P3 = 5! / (5-3)! = 60
nPk ordered or arranged

an arrangement of
‘Combination’ objects where order 5C3 = 5!/[3!(5-3)!]=10
nCk does not matter.

carried out on a
∪ ‘Union’ finite number of sets A ∪ B = {3,7,9,14,28}

single point where

‘Intersection’ two lines meet or A ∩ B = {9,14}
∩ cross each other
 It is logical negation
‘Not’ symbol and it is used ̚ ( ̚A) ↔A

̚
for logical statements.

∠ ‘Angle’ The figure formed by ∠ABC = 30º

two lines extending
from the same point.

when 2x = 4, then x =
x ‘Ex’ Unknown value to 2
find.

R≅C
‘Is isomorphic to…’ Being of identical or
≅ similar form or
structure.

* ‘The group of units Used to refer groups (z/5z)* ≅C4

of…’ of units in ring theory.

‘The double integral ∫∫f(x,y) dx dy

∫∫ of...’
It is used for
integration.

‘To the power of… / It is used for 2 ^ 4 = 16

^ raise to…’ exponents.
 ‘If and only if’‘ A↔B
↔ Used for logical
statements

‘Omega/ohms’ R2 = 330 Ω
Ω Volume of an object
Ohms (resistance)

‘Aleph’ It represents an |ℕ| = ℵ0,

ℵ infinite cardinality.

‘Is an ideal of’ I ◅ R means that I is (2) ◅ Z

◅▻ an ideal of ring R.

R ⋈ S is the natural
join of the relations R
and S, the set of all
‘the natural join of’ combinations of R⋈S
⋈ tuples in R and S that
are equal on their
common attribute
names.

Sometimes used in 3331 is prime ∵ it has

‘Because/ Since’ proofs before no positive integer
∵ reasoning. factors other than
itself and one.

Sometimes used in All humans are

‘Therefore/Hence’ proofs before logical mortal. Socrates is a
∴ consequences. human. ∴ Socrates is
mortal.
 ‘For all/For any/For It is a universal ∀ n ∈ ℕ: n 2 ≥ n
∀ each’ quantification

‘there exists exactly It means uniqueness ∃! n ∈ ℕ: n + 5 = 2n.

∃! one’ quantification.

if f(x) := 2x, and g(x)

‘Composed with…’ It is a function := x + 3, then (f∘g)(x)
∘ composition. = 2(x + 3).

Similar to the integral,

‘Contour integral but used to denote a ∮1dz=2i
∮ of…’ single integration over
a closed curve or
loop.

Used for partial If f(x,y) := x 2 y, then

∂ ‘Partial’ derivative in calculus. ∂f/∂x = 2xy

‘Pi’ Π=3.14 415926

π Used in various
formulas involving
circles.

It means the top or

‘The top type’ universal type; every ∀ types T, T
⊤ type in the type
system of interest is a
subtype of top.
 Division or ratio,
‘Is to/Such that/It is symbol following $x : x > 4 and x < 5
: true that...’ logical quantifier or
used in defining a set.

‘Averaged with…’ Used in arithmetic 3 :: 11 = 7

:: mean.

It is a cover that used If S <: T and T <: U

‘Is covered by...’ in order theory. then S <: U
<:

It is a subtype that is {1, 8}<·{1, 3, 8}

‘Is a subtype of…’ used in type theory.
<·

Is an entailment used
‘Entails’ in model theory. A ⊧ A ∨ ¬A
⊧

‘The empty set’ Sets that do not ∅={}

∅ contain any element.

Calculate expression
‘Brackets’ inside first. [(1+2)•(1+5)]=18
[]