Warning: this is an htmlized version!
The original is across this link,
and the conversion rules are here.
-- This file:
-- http://angg.twu.net/LUA/composechars-u8.lua
-- http://angg.twu.net/LUA/composechars-u8.lua.html
--  (find-angg        "LUA/composechars-u8.lua")
-- Author: Eduardo Ochs <eduardoochs@gmail.com>
-- Version: 2015mar26
-- Public domain.

-- (find-efunction 'eev-compose-two-keys)
-- (find-efunction 'eev-composes-update)
-- (find-evardescr 'eev-composes-all)
-- (find-epp        eev-composes-all)

-- (find-eev "eev-glyphs.el")
-- (find-eev "eev-math-glyphs.el")
-- (find-efunction 'eev-math-glyphs-edrx)

-- uppergreek:  (find-einsert '(( 913  937)))
-- lowergreek:  (find-einsert '(( 945  969)))
-- arrows:      (find-einsert '((8592 8703)))
-- math:        (find-einsert '((8704 8899)))
--  elementof:  (find-einsert '((8712 8717)))
--  subsetof:   (find-einsert '((8834 8843)))

--  subsetof:   (find-einsert '((9400 9900)))

-- (defun c () (interactive) (insert (format "%d " (following-char))))
-- (setq last-kbd-macro (kbd "<<c>> C-a <down>"))

uppergreek = [[
915 Γ GG Gamma
916 Δ DD Delta
920 Θ TH Theta
923 Λ LL Lambda
926 Ξ XI Xi
928 Π PI Pi
931 Σ SI Sigma
934 Φ PH Phi
936 Ψ PS Psi
937 Ω OM Omega
]]

lowergreek = [[
945 α aa alpha
946 β bb beta
947 γ gg gamma
948 ∧ dd delta
949 ε ee epsilon
950 ⊃ zz zeta
951 η et eta
952 θ th theta
953 ι ii iota
954 º kk kappa
955 » ll lambda
956 μ mu mu
957 ν nu nu
958 ξ xi xi
959 ο __ omicron
960 Ï pi pi
961 Ï rh rho
963 Ï si sigma
964 Ï tt tau
965 Ï uu upsilon
966 Ï ph phi
967 Ï ch chi
968 Ï ps psi
969 Ï om omega
]]

-- (find-efunction 'eev-math-glyphs-edrx)
-- (eev-math-glyphs-edrx)
math = [[
8704 â fa forall
8706 â pa partial
8707 â ex exists
8708 â nx notexists
8709 â em emptyset
8710 â In increment
8711 â na nabla
8718 â qe qed
8721 â BS bigsum
8734 â 88 infty
8741 â || norm
8743 â la land
8744 â lo lor
8745 â ca cap
8746 ⪠cu cup
8747 â« In Int
8776 â ae almosteq
8799 â ?= question=
8800 â != not=
8801 â == identical
8802 â __ notidentical
8804 â le le
8805 â ge ge
8851 â qa sqcap
8852 â qu sqcup
8868 â tp top
8869 â bt bot
8888 â -o lolli
8896 â BA bigland
8897 â BO biglor
8898 â BI bigcap
8899 â BU bigcup
]]


--[[
* (eepitch-lua51)
* (eepitch-kill)
* (eepitch-lua51)
dofile "composechars-u8.lua"

--]]




-- Local Variables:
-- coding: utf-8-unix
-- End: