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
Advertisements