BFO 9000 Math Map ❡
| FK15 |
FK16 |
ESC |
AE01 |
AE02 |
AE03 |
AE04 |
AE05 |
FK13 |
-- |
FK14 |
AE06 |
AE07 |
AE08 |
AE09 |
AE10 |
PRSC |
SCLK |
PAUS |
| FK17 |
FK18 |
TAB |
AD01 |
AD02 |
AC04 |
AD10 |
AB05 |
TLDE |
|
AC11 |
AC07 |
AC09 |
AD07 |
AD06 |
AC10 |
BKSP |
FK24 |
|
| FK19 |
FK20 |
LFSH |
AC01 |
AD04 |
AC02 |
AD05 |
AC05 |
AE11 |
|
AE12 |
AB07 |
AB06 |
AD03 |
AD08 |
AD09 |
RTRN |
INS |
PGUP |
| VOL+ |
I233 |
DELE |
AB01 |
AB02 |
AB03 |
AC03 |
AB04 |
AD11 |
|
AD12 |
AC08 |
AC06 |
AB08 |
AB09 |
AB10 |
BKSL |
UP |
PGDN |
| VOL- |
I232 |
FK21 |
FK01 |
FK02 |
FK03 |
FK04 |
FK05 |
FK06 |
|
FK07 |
FK08 |
FK09 |
FK10 |
FK11 |
FK12 |
LEFT |
DOWN |
RGHT |
| I172 |
FK22 |
LFSH |
LCTL |
FK23 |
LWIN |
LALT |
SPCE |
SPCE |
|
SPCE |
SPCE |
RALT |
RWIN |
MENU |
RTSH |
RCTL |
HOME |
END |
| fn1 |
fn2 |
esc |
1 |
2 |
3 |
4 |
5 |
( |
-- |
) |
6 |
7 |
8 |
9 |
0 |
prsc |
lock |
refr |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| fn1 |
fn2 |
esc |
1 |
2 |
3 |
4 |
5 |
( |
-- |
) |
6 |
7 |
8 |
9 |
° ∞ |
prsc |
lock |
refr |
|
|
|
|
|
|
π Π |
|
|
---- |
|
|
|
-ü Ü- |
∈ ∉ |
|
|
|
|
|
|
|
-ä Ä- |
|
-ß - |
⊤ ⊥ |
|
|
---- |
|
µ ¶ |
¬ ¡ |
€ ¢ |
≅ ≃ |
-ö Ö- |
|
|
|
|
|
|
|
× ⨯ |
∘ ↦ |
⊢ ⊣ |
∨ ∧ |
|
---- |
|
|
∪ ∩ |
ḑ « |
· » |
÷ ¿ |
⇔ |
↑ ⇑ |
|
|
|
|
|
|
|
|
|
|
---- |
|
|
|
|
|
|
← ⇐ |
↓ ⇓ |
→ ⇒ |
|
|
|
|
|
|
|
|
|
---- |
|
|
|
|
|
|
|
|
|
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 |
Some favorites ❡
∀ ∃ ∄
∧ ∨ ¬
⇒ ⇔
⊤ ⊥
∈ ∉ ⊂ ⊆
∩ ∪ ∅
∂ ∇ ∫ ∑ ∏
⊗ ⊕
∘ ↦
≅ ≃ ≡
⟨ ⟩
∞
One nice XKB convention is to group related operators on the same key:
∧ ∨
∩ ∪
⊂ ⊃
⊆ ⊇
≤ ≥
← →
↑ ↓
⇒ ⇔
⊤ ⊥
∈ ∉
That makes it much easier to remember the layout because each key represents a conceptual pair rather than unrelated symbols.