The Symbolic Logic keyboard for Keyman includes the complete Latin and Greek alphabets, all the most common symbols of logic and arithmetic, the symbols of set theory most commonly used in logic, and a handful of less common logical symbols. It also includes some superscripted numbers (no formatting required), for indicating the adicity of predicates.

Shift	Shift + Alt
—	Alt

 

The keyboard is easy to use. Each character key on a standard US keyboard can produce four different characters, depending on whether it is pressed alone, with Shift, with Alt, or with Shift + Alt, as shown in the diagram.

 

Relatively few fonts support all these symbols. Segoe UI Symbol does. Cambria and Cambria Math support all except the check mark (✓), but my version of MS Word, at least,  automatically substitutes the check mark from Segoe UI Symbol. Use the Keyman Font Helper to find compatible fonts installed in your system.

 

You may have trouble with some of the Shift + Alt combinations because they are Keyman hotkeys. To fix this, go to Keyman configuration and change the hotkeys to, for example, Shift + Alt + left arrow.

Keyboard Layout

Here is the complete map, with the most important logical symbols and a couple of common variants highlighted. The solid box and diamond are a nostalgic wave toward my senior thesis in philosophy, in which I was foolhardy enough to try mixing two types of necessity and possibility, in an attempt to understand the argument of Scotus’s De primo principio. I haven’t looked at it since.

≈

≺

!

≻

⊢

⊨

#

…

⊤

⊄

%

⊅

⊥

⇔

&

⇎

∗

†

(

∉

)

✓

+

±

≠

≢

backspace

∼

ⁱ

1

¹

2

²

3

³

4

⁴

5

⁵

6

↔

7

↮

8

⊻

9

∈

0

⁰

¬

−

=

≡

tab

Q

Θ

W

Ω

E

Ε

R

Ρ

T

Τ

Y

Ψ

U

Υ

I

Ι

O

Ο

P

Π

{

⊆

}

⊇

|

÷

Q

θ

w

ω

e

ε

r

ρ

t

τ

y

ψ

u

υ

i

ι

o

ο

p

Π

[

⊂

]

⊃

∴

×

 

caps lock

A

Α

S

Σ

D

Δ

F

Φ

G

Γ

H

Η

J

Ξ

K

Κ

L

Λ

∀

⋆

"

⇒

enter

a

α

s

σ

d

δ

f

φ

g

γ

h

η

j

ξ

k

κ

l

λ

∃

∵

'

→

shift

Z

Ζ

X

Χ

C

⋂

V

∧

B

Β

N

Ν

M

Μ

<

≤

>

≥

◻

◼

shift

z

ζ

x

χ

c

⋃

v

∨

b

β

n

ν

m

μ

,

〈

.

〉

◇

◆

ctrl

alt

non-breaking space [with Shift]

alt

ctrl

space