emacs symbol input mode

symbol-input.el

(quail-define-package
 "symbol-input" "unicode" "unicode-sym" t
 "Easier input for unicode technical symbols"
 nil t nil nil nil nil nil nil nil nil t)

(quail-define-rules
    ("\\alpha"   ?α)
    ("\\beta"    ?β)
    ("\\gamma"   ?γ)
    ("\\delta"   ?δ)
    ("\\Delta"   ?Δ)
    ("\\epsilon" ?ε)
    ("\\zeta"    ?ζ)
    ("\\eta"     ?η)
    ("\\theta"   ?θ)
    ("\\iota"    ?ι)
    ("\\lambda"  ?λ)
    ("\\Lambda"  ?Λ)
    ("\\mu"      ?μ)
    ("\\pi"      ?π)
    ("\\Pi"      ?Π)
    ("\\sigma"   ?σ)
    ("\\Sigma"   ?Σ)
    ("\\omega"   ?ω)
    ("\\Omega"   ?Ω)
    ("\\phi"     ?φ)
    ("\\Phi"     ?Φ)
    ("\\psi"     ?ψ)
    ("\\Psi"     ?Ψ)
    ("\\aleph"   ?ℵ)

    ("\\ele"       ?∈)
    ("\\in"        ?∈)
    ("\\nele"      ?∉)
    ("\\contains"  ?∋)
    ("\\ncontains" ?∌)
    ("\\subset"    ?⊂)
    ("\\nsubset"   ?⊄)
    ("\\superset"  ?⊃)
    ("\\nsuperset" ?⊅)
    ("\\subset="   ?⊆)
    ("\\superset=" ?⊇)
    ("\\union"     ?∪)
    ("\\intersect" ?∩)
    ("\\nullset"   ?∅)

    ("\\therefore" ?∴)
    ("\\because"   ?∵)
    ("\\not"     ?¬)
    ("\\and"     ?∧)
    ("\\or"      ?∨)
    ("\\forall"  ?∀)
    ("\\exists"  ?∃)
    ("\\nexists" ?∄)
    ("\\true"    ?⊤)
    ("\\bottom"  ?⊥)

    ("\\->"      ?→)
    ("\\<-"      ?←)
    ("\\<->"     ?↔)
    ("\\=>"      ?⇒)
    ("\\<<="     ?⇐)
    ("\\<=>"     ?⇔)
    ("\\<="      ?≤)
    ("\\>="      ?≥)
    ("\\!="      ?≠)
    ("\\?="      ?≟)
    ("\\==="     ?≡)
    ("\\!==="    ?≢)
    ("\\cong"    ?≅)
    ("\\almost"  ?≈)
    ("\\tilde"   ?∼)
    ("\\+-"      ?±)
    ("\\-+"      ?∓)
    ("\\div"     ?÷)
    ("\\times"   ?×)
    ("\\dot"     ?⋅)
    ("\\norm"    ?‖)
    ("\\partial" ?∂)
    ("\\compose" ?∘)
    ("\\circ"    ?∘)
    ("\\circplus" ?⊕)
    ("\\circ+"    ?⊕)
    ("\\circminus" ?⊖)
    ("\\circ-"    ?⊖)
    ("\\circtimes" ?⊗)
    ("\\circ*"    ?⊗)
    ("\\circdiv" ?⊘)
    ("\\circ/"    ?⊘)
    ("\\circdot" ?⊙)
    ("\\circ."    ?⊙)
    ("\\circring" ?⊚)

    ("\\inf"     ?∞)
    ("\\ZZ"      ?ℤ)
    ("\\CC"      ?ℂ)
    ("\\QQ"      ?ℚ)
    ("\\RR"      ?ℝ)
    ("\\NN"      ?ℕ)
    ("\\^0"      ?⁰)
    ("\\^1"      ?¹)
    ("\\^2"      ?²)
    ("\\^3"      ?³)
    ("\\^4"      ?⁴)
    ("\\^n"      ?ⁿ)
    ("\\^+"      ?⁺)
    ("\\^-"      ?⁻)
    ("\\^="      ?⁼)
    ("\\prime"   ?´)
    ("\\_0"      ?₀)
    ("\\_1"      ?₁)
    ("\\_2"      ?₂)
    ("\\_3"      ?₃)
    ("\\_4"      ?₄)
    ("\\_+"      ?₊)
    ("\\_-"      ?₋)
    ("\\_="      ?₌)

    ("\\cl"      ?⌈)
    ("\\cr"      ?⌉)
    ("\\fl"      ?⌊)
    ("\\fr"      ?⌋)
    ("\\<"       ?〈)
    ("\\>"       ?〉)
    ("\\[["      ?⟦)
    ("\\]]"      ?⟧)

    ("\\rtack" ?⊢)
    ("\\|-"    ?⊢)
    ("\\ltack" ?⊣)
    ("\\-|"    ?⊣)
    ("\\meet"  ?⊓)
    ("\\join"  ?⊔)
    ("\\subg"  ?⊲)
    ("\\<:"    ?⊲)
    ("\\supg"  ?⊳)
    ("\\:>"    ?⊳)
    ("\\>:"    ?⊳)
    ("\\nsubg" ?⋪)
    ("\\!<:"   ?⋪)
    ("\\nsupg" ?⋫)
    ("\\!:>"   ?⋫)
    ("\\!>:"   ?⋫)
    ("\\subg=" ?⊴)
    ("\\supg=" ?⊵)
    ("\\nsubg=" ?⋬)
    ("\\nsupg=" ?⋭)
    ("\\precedes" ?≺)
    ("\\succeeds" ?≻)
    ("\\imageof"  ?⊏)
    ("\\origof"   ?⊐)
    ("\\imageof=" ?⊑)
    ("\\origof="  ?⊒)
    ("\\incr"     ?∆)
    ("\\nabla"    ?∇)

    ("\\copy"    ?©)
    ("\\reg"     ?®)
    ("\\tm"      ?™)
    ("\\bullet"  ?•)
    ("\\item"    ?◦)
    ("\\box"     ?□)
    ("\\diamond" ?◇)
    ("\\para"    ?¶)
    ("\\section" ?§)
 )