Ctrl+P
This extension provides dead simple support for Titan.
Backslash completion for glyphs.
\C: ⋮
\C
⋮
\m: ×
\m
×
\d: ÷
\d
÷
\u: ∪
\u
∪
\i: ∩
\i
∩
\a: ∘
\a
∘
\A: ∀
\A
∀
\r: ⊥
\r
⊥
\-: ¬
\-
¬
\s: ⟷
\s
⟷
\S: ⋄
\S
⋄
\=: ≠
\=
≠
\<: ≤
\<
≤
\>: ≥
\>
≥
\R: ⍉
\R
⍉
\o: ≍
\o
≍
\p: ⊑
\p
⊑
\f: ∊
\f
∊
\c: ≡
\c
≡
\e: ˝
\e
˝
\O: ○
\O
○
\n: →
\n
→
\g: Σ
\g
Σ
\F: ⍷
\F
⍷
