Relational Algebra special characters

Unary operators

selection: σ_{cname<cname2 ∧ enr>10000}

projection: Π_cnameE

Aggregate function: Ｇ

Binary operators

union: E₁ ∪ E₂
intersection: E₁ ∩ E₂
difference: E₁ − E₂
Cartesian product: E₁ × E₂
division: E₁ ÷ E₂

rename: ρ _isStudent or ρ _{S2(isStudent)}

Natural join: ⋈
Theta join: ⋈_condition

Left semijoin: ⋉
Right semijoin: ⋊
left outer join: ⟕
right outer join: ⟖
full outer join: ⟗
antijoin: ▷

Logic symbols

Logical AND: ∧
Logical OR: ∨
Logical NOT: ¬

Other

null: ω