BFO 9000 Math Map ❡
| RH1x |
RH2x |
RH3x |
RH4x |
RH5x |
RH6x |
RH7x |
RH8x |
RH9x |
-- |
F15 |
F16 |
6 |
7 |
8 |
9 |
0 |
lock |
refr |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| esc |
|
1 |
2 |
3 |
4 |
5 |
F13 |
F14 |
-- |
F15 |
F16 |
6 |
7 |
8 |
9 |
0 |
lock |
refr |
|
|
¹ ¡ |
² √ |
³ ∛ |
⁴ ∜ |
|
|
|
|
|
|
|
|
|
|
° ∞ |
|
|
1 |
|
´ õ |
|
|
|
|
π Π |
|
|
---- |
|
|
|
ü Ü |
|
|
|
Uó |
|
2 |
|
|
|
ä Ä |
|
ß |
|
|
|
---- |
|
µ ¶ |
|
€ ¢ |
|
ö Ö |
|
|
|
3 |
| « |
|
|
|
|
|
|
|
|
---- |
|
|
|
ḑd U ̧ |
· Uȯ |
÷ ¿ |
|
↑ ⇑ |
» |
4 |
|
|
|
|
|
|
|
|
|
---- |
|
|
|
|
|
|
← ⇐ |
↓ ⇓ |
→ ⇒ |
5 |
|
|
|
|
|
|
|
|
|
---- |
|
|
|
|
|
|
|
|
|
6 |
Group 2
| LHx1 |
LHx2 |
LHx3 |
LHx4 |
LHx5 |
LHx6 |
LHx7 |
LHx8 |
LHx9 |
-- |
RHx1 |
RHx2 |
RHx3 |
RHx4 |
RHx5 |
RHx6 |
RHx7 |
RHx8 |
RHx9 |
|
|
|
|
|
|
|
|
|
|
|
|
⌋⌊ |
⊥⟘o̝o |
|
|
|
|
|
1 |
|
òóòõ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
∀ |
|
|
†‡⸸⹋ |
|
|
|
|
|
|
|
|
∈∉∃∄ |
|
|
≅≃ |
|
3 |
|
|
|
|
|
|
∧∨ |
|
|
|
|
|
|
|
⟨ |
⟩ |
|
|
|
4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
5 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
6 |
https://www.compart.com/en/unicode/search?q=math#characters
Logic ❡
| Symbol |
Unicode |
Meaning |
| ∧ |
U2227 |
wedge / logical AND |
| ∨ |
U2228 |
vee / logical OR |
| ¬ |
notsign / U00AC |
NOT |
| ⇒ |
U21D2 |
implication |
| ⇐ |
U21D0 |
implied by |
| ⇔ |
U21D4 |
equivalence |
| ∀ |
U2200 |
for all |
| ∃ |
U2203 |
there exists |
| ∄ |
U2204 |
there does not exist |
| ⊤ |
U22A4 |
true |
| ⊥ |
U22A5 |
false / bottom |
| ⊢ |
U22A2 |
proves |
| ⊨ |
U22A8 |
models / entails |
Sets ❡
| Symbol |
Unicode |
Meaning |
| ∈ |
elementof |
|
| ∉ |
notelementof |
|
| ∋ |
U220B |
|
| ⊂ |
U2282 |
|
| ⊃ |
U2283 |
|
| ⊆ |
U2286 |
|
| ⊇ |
U2287 |
|
| ∅ |
emptyset |
|
| ∪ |
union |
|
| ∩ |
intersection |
|
| ∖ |
U2216 |
set difference |
Algebra ❡
| Symbol |
Unicode |
| × |
U00D7 |
| ÷ |
division |
| ± |
plusminus |
| ∓ |
U2213 |
| ∙ |
U2219 |
| ∘ |
U2218 |
| √ |
radical |
| ∛ |
U221B |
| ∜ |
U221C |
| ∞ |
infinity |
| ≈ |
approximate |
| ≠ |
notequal |
| ≤ |
lessthanequal |
| ≥ |
greaterthanequal |
Calculus ❡
| Symbol |
Unicode |
| ∂ |
partialderivative |
| ∇ |
U2207 |
| ∫ |
integral |
| ∬ |
U222C |
| ∭ |
U222D |
| ∮ |
U222E |
| ∑ |
U2211 |
| ∏ |
U220F |
Category theory ❡
| Symbol |
Unicode |
| ∘ |
U2218 |
| ↦ |
U21A6 |
| ↣ |
U21A3 |
| ↪ |
U21AA |
| ↠ |
U21A0 |
| ≅ |
U2245 |
| ≃ |
U2243 |
| ≡ |
identical |
| ⊣ |
U22A3 |
| ⊢ |
U22A2 |
| ⊥ |
U22A5 |
Linear algebra ❡
| Symbol |
Unicode |
| · |
periodcentered |
| ⊗ |
U2297 |
| ⊕ |
U2295 |
| ⊙ |
U2299 |
| ⊖ |
U2296 |
| ⊘ |
U2298 |
| ⋅ |
U22C5 |
| ⟨ |
U27E8 |
| ⟩ |
U27E9 |
∀ ∃ ∄
∧ ∨ ¬
⇒ ⇔
⊤ ⊥
∈ ∉ ⊂ ⊆
∩ ∪ ∅
∂ ∇ ∫ ∑ ∏
⊗ ⊕
∘ ↦
≅ ≃ ≡
⟨ ⟩
∞
∧ ∨
∩ ∪
⊂ ⊃
⊆ ⊇
≤ ≥
← →
↑ ↓
⇒ ⇔
⊤ ⊥
∈ ∉