unicoder-0.4.0: data/default.conf

\ . { } a-zA-Z~!%^&*_=+<>/?|-


l           λ
L           Λ
A           ∀
E           ∃
def         ≡
is          ≡
qq          ⌜
uq          ⌞
uqs         ⌟
p           ′
hole        □


prime       ′
ellipsis    …
ldots       …
proportion  ∝
ccw         ↺
cw          ↻

of          ∘
to          →
To          ⇒
from        ←
maps        ↦
unmaps      ↤
rharpoon    ⇀
lharpoon    ↼
up          ↑
down        ↓
Up          ⇑
Down        ⇓
hookto      ↪
hookfrom    ↩
->          →
=>          ⇒
<-          ←
|->         ↦
-/>         ↛
</-         ↚
~>          ↝
<~          ↜

Brack       
angle       ‹ ›
Angle       « »
chevron     ⟨ ⟩
shell       ❲ ❳
Shell       ⟬ ⟭
bag         ⟅ ⟆
floor       ⌊ ⌋
ceil        ⌈ ⌉
quine       ⌜ ⌝
lowquine    ⌞ ⌟
<           ⟨ ⟩

cross       ×
dot         ·
div         ÷
star        ⋆
sqrt        √
oplus       ⊕
ominus      ⊖
otimes      ⊗
odiv        ⊘

inf         ∞
nabla       ∇
del         ∂
integral    ∫

neq         ≠
geq         ≥
leq         ≤
approx      ≈
plusminus   ±
minusplus   ∓
!=          ≠
/=          ≠
>=          ≥
<=          ≤

null        ∅
elem        ∈
nelem       ∉
contains    ∋
ncontains   ∌
subset      ⊆
superset    ⊇
psubset     ⊂
psuperset   ⊃
union       ∪
intersect   ∩
Subset      ⊑
Superset    ⊒
pSubset     ⊏
pSuperset   ⊐
squnion     ⊓
sqinter     ⊔
join        ⋈
ljoin       ⋉
rjoin       ⋊

forall      ∀
exists      ∃
nexists     ∄
exists!     ∃!
not         ¬
and         ∧
or          ∨
xor         ⊻
nand        ⊼
nor         ⊽
implies     ⇒
iff         ⇔
equiv       ≡

bot         ⊥
rtack       ⊢
ltack       ⊣
rttack      ⊩
therefore   ∴
because     ∵

circle      ○
square      □
diamond     ◇
triangle    △
ltriangle   ◁
rtriangle   ▷
lozenge     ◊

nat         ℕ
int         ℤ
rational    ℚ
real        ℝ
complex     ℂ

alpha       α
beta        β
gamma       γ
delta       δ
epsilon     ε
zeta        ζ
eta         η
theta       θ
iota        ι
kappa       κ
lambda      λ
mu          μ
nu          ν
xi          ξ
pi          π
rho         ρ
sigma       σ
stigma      ϛ
tau         τ
upsilon     υ
phi         ϕ
chi         χ
psi         ψ
omega       ω
digamma     ϝ
koppa       ϟ
sampi       ϡ

Alpha       
Beta        
Gamma       Γ
Delta       Δ
Epsilon     
Zeta        
Eta         
Theta       Θ
Iota        
Kappa       
Lambda      Λ
Mu          
Nu          
Xi          Ξ
Pi          Π
Rho         
Sigma       Σ
Stigma      Ϛ
Tau         
Upsilon     
Phi         Φ
Chi         
Psi         Ψ
Omega       Ω
Digamma     
Qoppa       Ϟ
Sampi       Ϡ


mizu        水