Tag Archives: copyq mathematics operators

Frequently used Unicode math operators

This is a selection of the operators i use frequently while taking notes. You can find a detailed table on wikipedia.

You can find ways to type the symbols here and a complete PDF for math operators here

Predicate logic
existential quantification U+2203 U+2204
universal quantification U+2200
logical conjunction
logical disjunction
U+2227
U+2228

material implication
implication
U+21D2
U+2192

material equivalence U+21D4
 negation  U+00AC  ¬
entails
provable from
U+22A8
U+22A2

sets

proper subset U+2282
U+2283

U+2284
U+2285

subset U+2286
U+2287

U+2288
U+2289

element of U+2208
U+220B

U+2209
U+220C

 empty set U+2205  ∅
intersection
union
U+22C2
U+22C3

cross product U+2a2f

Here are some Copy-Q tabs to use:

  1. With set operators here
  2. With logic operators here