Лингвофорум

% греческие буквы:
\mathcode`α=\alpha
\mathcode`β=\beta
\mathcode`γ=\gamma
\mathcode`δ=\delta
\mathcode`ε=\varepsilon
\mathcode`ϵ=\epsilon
\mathcode`ζ=\zeta
\mathcode`η=\eta
\mathcode`θ=\theta
\mathcode`ϑ=\vartheta
\mathcode`ι=\iota
\mathcode`κ=\kappa
\mathcode`ϰ=\varkappa
\mathcode`λ=\lambda
\mathcode`μ=\mu
\mathcode`ν=\nu
\mathcode`ξ=\xi
\mathcode`π=\pi
\mathcode`ϖ=\varpi
\mathcode`ρ=\rho
\mathcode`ϱ=\varrho
\mathcode`σ=\sigma
\mathcode`ς=\varsigma
\mathcode`τ=\tau
\mathcode`υ=\upsilon
\mathcode`φ=\varphi
\mathcode`ϕ=\phi
\mathcode`χ=\chi
\mathcode`ψ=\psi
\mathcode`ω=\omega
\mathcode`Γ=\varGamma
\mathcode`Δ=\varDelta
\mathcode`Θ=\varTheta
\mathcode`Λ=\varLambda
\mathcode`Ξ=\varXi
\mathcode`Π=\varPi
\mathcode`Σ=\varSigma
\mathcode`Υ=\varUpsilon
\mathcode`Φ=\varPhi
\mathcode`Ψ=\varPsi
\mathcode`Ω=\varOmega

% большие операторы:
\catcode`∑=\active \def ∑{\sum\limits}
\catcode`∏=\active \def ∏{\prod\limits}
\catcode`∐=\active \def ∐{\coprod\limits}
\catcode`⋂=\active \def ⋂{\bigcap\limits}
\catcode`⋃=\active \def ⋃{\bigcup\limits}
\catcode`⋀=\active \def ⋀{\bigwedge\limits}
\catcode`⋁=\active \def ⋁{\bigvee\limits}
\catcode`∫=\active \def ∫{\int\limits}
\catcode`∬=\active \def ∬{\iint\limits}
\catcode`∭=\active \def ∭{\iiint\limits}
\catcode`∮=\active \def ∮{\oint\limits}
\catcode`∯=\active \def ∯{\oiint\limits}
\catcode`∰=\active \def ∰{\oiiint\limits}

% бинарные операции:
\catcode`−=\active \def −{-}
\mathcode`±=\pm
\mathcode`∓=\mp
\mathcode`∔=\dotplus
\mathcode`×=\times
\mathcode`∗=\ast
\mathcode`⋆=\star
\mathcode`∙=\cdot
\mathcode`∘=\circ
\mathcode`•=\bullet
\mathcode`⋇=\divideontimes
\mathcode`⋉=\ltimes
\mathcode`⋊=\rtimes
\mathcode`⋋=\leftthreetimes
\mathcode`⋌=\rightthreetimes
\mathcode`⊗=\otimes
\mathcode`⊕=\oplus
\mathcode`⊖=\ominus
\mathcode`⊘=\oslash
\mathcode`⊙=\odot
\mathcode`⊚=\circledcirc
\mathcode`⊝=\circleddash
\mathcode`⊛=\circledast
\mathcode`⊡=\boxdot
\mathcode`⊞=\boxplus
\mathcode`⊟=\boxminus
\mathcode`⊠=\boxtimes
\mathcode`∩=\cap
\mathcode`∪=\cup
\mathcode`⊌=\uplus
\mathcode`⋓=\Cup
\mathcode`⋒=\Cap
\mathcode`∖=\setminus
\mathcode`≀=\wr
\mathcode`⊔=\sqcup
\mathcode`⊓=\sqcap
\mathcode`∧=\wedge
\mathcode`∨=\vee
\mathcode`⊼=\barwedge
\mathcode`⊻=\veebar
\mathcode`⋏=\curlywedge
\mathcode`⋎=\curlyvee

% отношения:
\catcode`≠=\active \def ≠{\neq}
\mathcode`≡=\equiv
\mathcode`≈=\approx
\mathcode`∼=\sim
\mathcode`≃=\simeq
\mathcode`≊=\approxeq
\catcode`≅=\active \def ≅{\cong}
\mathcode`⌣=\smile
\mathcode`⌢=\frown
\mathcode`≍=\asymp
\mathcode`≇=\ncong
\mathcode`∝=\propto

\mathcode`⩽=\leqslant \mathcode`⩾=\geqslant
\mathcode`≤=\leq \mathcode`≥=\geq
\mathcode`∈=\in \mathcode`∋=\ni
\mathcode`⊂=\subset \mathcode`⊃=\supset
\mathcode`⊆=\subseteq \mathcode`⊇=\supseteq
\mathcode`≺=\prec \mathcode`≻=\succ
\mathcode`≼=\preccurlyeq \mathcode`≽=\succcurlyeq
\mathcode`⋞=\curlyeqprec \mathcode`⋟=\curlyeqsucc
\mathcode`≾=\precsim \mathcode`≿=\succsim
\mathcode`⊀=\nprec \mathcode`⊁=\nsucc
\mathcode`⋨=\precnsim \mathcode`⋩=\succnsim
\mathcode`≮=\nless \mathcode`≯=\ngtr
\mathcode`≪=\ll \mathcode`≫=\gg
\mathcode`⋘=\lll \mathcode`⋙=\ggg
\mathcode`≰=\nleq \mathcode`≱=\ngeq
\mathcode`⪇=\lneq \mathcode`⪈=\gneq
\mathcode`≦=\leqq \mathcode`≧=\geqq
\mathcode`≨=\lneqq \mathcode`≩=\gneqq
\mathcode`⋖=\lessdot \mathcode`⋗=\gtrdot
\mathcode`⪕=\eqslantless \mathcode`⪖=\eqslantgtr

\mathcode`⊸=\multimap
\mathcode`∴=\therefore
\mathcode`∵=\because
\mathcode`≬=\between
\mathcode`⋈=\Join
\mathcode`⟂=\perp
\mathcode`∥=\parallel
\mathcode`∦=\nparallel
\mathcode`∣=\mid
\mathcode`∤=\nmid
\mathcode`⋔=\pitchfork

\mathcode`⊢=\vdash
\mathcode`⊬=\nvdash
\mathcode`⊩=\Vdash
\mathcode`⊪=\Vvdash
\mathcode`⊨=\vDash
\mathcode`⊭=\nvDash

% стрелки:
\mathcode`→=\rightarrow
\mathcode`←=\leftarrow
\mathcode`↔=\leftrightarrow
\mathcode`⇒=\Rightarrow
\mathcode`⇐=\Leftarrow
\mathcode`⇔=\Leftrightarrow

% унарные:
\mathcode`∀=\forall
\mathcode`∃=\exists
\mathcode`□=\Box
\mathcode`◊=\Diamond
\mathcode`∂=\partial
\mathcode`¬=\neg

% символы:
\mathcode`∞=\infty
\mathcode`∅=\varnothing
\catcode`...=\active \def ...{\ldots}

% конструкции:
\catcode`÷=\active \def ÷{\frac}
\catcode`√=\active \def √{\sqrt}
\catcode`¡=\active \def ¡{\not}

% пробелы
\newcommand{\−}{\quad}
\newcommand{\—}{\qquad}

% начертания
\catcode`♢\active \def ♢{\mathrm}
\catcode`♥=\active \def ♥{\mathbf}
\catcode`♡=\active \def ♡{\mathbb}
\catcode`♧=\active \def ♧{\mathcal}

% оформление
\catcode`†=\active \def †{\mathop\mathrm}
\catcode`‡=\active \def ‡{\mathbin}
\catcode`¶=\active \def ¶{\text}

% скобки:
\catcode`⦅=\active \def ⦅{\left(}
\catcode`⦆=\active \def ⦆{\right)}
\catcode`⦗=\active \def⦗{\left[}
\catcode`⦘=\active \def ⦘{\right]}
\catcode`⦉=\active \def ⦉{\left<}
\catcode`⦊=\active \def ⦊{\right>}
\catcode`⦃=\active \def ⦃{\left\lbrace}
\catcode`⦄=\active \def ⦄{\right\rbrace}
\catcode`₍=\active \def ₍{\left|}
\catcode`₎=\active \def ₎{\right|}
% \catcode`⁽=\active \def ⁽{\left\|}
% \catcode`⁾=\active \def ⁾{\right\|}
\catcode`⌊=\active \def ⌊{\left\lfloor}
\catcode`⌋=\active \def ⌋{\right\rfloor}
\catcode`⌈=\active \def ⌈{\left\lceil}
\catcode`⌉=\active \def ⌉{\right\rceil}

+α\alpha
+β\beta
+γ\gamma
+δ\delta
+ε\varepsilon
+ζ\zeta
+η\eta
+θ\theta
+ι\iota
+κ\varkappa
+λ\lambda
+μ\mu
+ν\nu
+ξ\xi
+π\pi
+ρ\rho
+σ\sigma
+τ\tau
+υ\upsilon
+φ\varphi
+χ\chi
+ψ\psi
+ω\omega
+Γ\Gamma
+Δ\Delta
+Θ\Theta
+Λ\Lambda
+Ξ\Xi
+Π\Pi
+Σ\Sigma
+Υ\Upsilon
+Φ\Phi
+Ψ\Psi
+Ω\Omega
+±\pm
+×\times
+∂\partial
+∃\exists
+∅\varnothing
+∈\in
+∉\notin
+∋\ni
+∌\not\ni
+∏\prod
+∐\coprod
+∑\sum
+∓\mp
+∖\setminus
+∘\circ
+∙\cdot
+√\sqrt
+∞\infty
+∩\cap
+∪\cup
+∫\int
+∬\iint
+∭\iiint
+∮\oint
+≈\approx
+≠\ne
+≡\equiv
+≢\not\equiv
+≤\leqslant
+≥\geqslant
+≃\simeq
+≅\cong
+⊂\subset
+⊃\supset
+⊆\subseteq
+⊇\supseteq
+⊕\oplus
+⊖\ominus
+⊗\otimes
+⊘\oslash
+⊙\odot
+⋂\bigcap
+⋃\bigcup
+→\to
ℂ\mathbb{C}
ℍ\mathbb{H}
ℕ\mathbb{N}
ℙ\mathbb{P}
ℚ\mathbb{Q}
ℝ\mathbb{R}
ℤ\mathbb{Z}
+ℓ\ell
+∶\colon
+⟨\langle
+⟩\rangle
‹\left
›\right
+∀\forall
⇳\limits
+↦\mapsto
+∇\nabla

\DeclareUnicodeCharacter{03B1}{\alpha}
\DeclareUnicodeCharacter{03B2}{\beta}
\DeclareUnicodeCharacter{03B3}{\gamma}
\DeclareUnicodeCharacter{03B4}{\delta}
\DeclareUnicodeCharacter{03B5}{\varepsilon}
\DeclareUnicodeCharacter{03B6}{\zeta}
\DeclareUnicodeCharacter{03B7}{\eta}
\DeclareUnicodeCharacter{03B8}{\theta}
\DeclareUnicodeCharacter{03B9}{\iota}
\DeclareUnicodeCharacter{03BA}{\varkappa}
\DeclareUnicodeCharacter{03BB}{\lambda}
\DeclareUnicodeCharacter{03BC}{\mu}
\DeclareUnicodeCharacter{03BD}{\nu}
\DeclareUnicodeCharacter{03BE}{\xi}
\DeclareUnicodeCharacter{03C0}{\pi}
\DeclareUnicodeCharacter{03C1}{\rho}
\DeclareUnicodeCharacter{03C3}{\sigma}
\DeclareUnicodeCharacter{03C4}{\tau}
\DeclareUnicodeCharacter{03C5}{\upsilon}
\DeclareUnicodeCharacter{03C6}{\varphi}
\DeclareUnicodeCharacter{03C7}{\chi}
\DeclareUnicodeCharacter{03C8}{\psi}
\DeclareUnicodeCharacter{03C9}{\omega}
\DeclareUnicodeCharacter{0393}{\Gamma}
\DeclareUnicodeCharacter{0394}{\Delta}
\DeclareUnicodeCharacter{0398}{\Theta}
\DeclareUnicodeCharacter{039B}{\Lambda}
\DeclareUnicodeCharacter{039E}{\Xi}
\DeclareUnicodeCharacter{03A0}{\Pi}
\DeclareUnicodeCharacter{03A3}{\Sigma}
\DeclareUnicodeCharacter{03A5}{\Upsilon}
\DeclareUnicodeCharacter{03A6}{\Phi}
\DeclareUnicodeCharacter{03A8}{\Psi}
\DeclareUnicodeCharacter{03A9}{\Omega}
\DeclareUnicodeCharacter{00B1}{\pm}
\DeclareUnicodeCharacter{00D7}{\times}
\DeclareUnicodeCharacter{2202}{\partial}
\DeclareUnicodeCharacter{2203}{\exists}
\DeclareUnicodeCharacter{2205}{\varnothing}
\DeclareUnicodeCharacter{2208}{\in}
\DeclareUnicodeCharacter{2209}{\notin}
\DeclareUnicodeCharacter{220B}{\ni}
\DeclareUnicodeCharacter{220C}{\not\ni}
\DeclareUnicodeCharacter{220F}{\prod}
\DeclareUnicodeCharacter{2210}{\coprod}
\DeclareUnicodeCharacter{2211}{\sum}
\DeclareUnicodeCharacter{2213}{\mp}
\DeclareUnicodeCharacter{2216}{\setminus}
\DeclareUnicodeCharacter{2218}{\circ}
\DeclareUnicodeCharacter{2219}{\cdot}
\DeclareUnicodeCharacter{221A}{\sqrt}
\DeclareUnicodeCharacter{221E}{\infty}
\DeclareUnicodeCharacter{2229}{\cap}
\DeclareUnicodeCharacter{222A}{\cup}
\DeclareUnicodeCharacter{222B}{\int}
\DeclareUnicodeCharacter{222C}{\iint}
\DeclareUnicodeCharacter{222D}{\iiint}
\DeclareUnicodeCharacter{222E}{\oint}
\DeclareUnicodeCharacter{2248}{\approx}
\DeclareUnicodeCharacter{2260}{\ne}
\DeclareUnicodeCharacter{2261}{\equiv}
\DeclareUnicodeCharacter{2262}{\not\equiv}
\DeclareUnicodeCharacter{2264}{\leqslant}
\DeclareUnicodeCharacter{2265}{\geqslant}
\DeclareUnicodeCharacter{2243}{\simeq}
\DeclareUnicodeCharacter{2245}{\cong}
\DeclareUnicodeCharacter{2282}{\subset}
\DeclareUnicodeCharacter{2283}{\supset}
\DeclareUnicodeCharacter{2286}{\subseteq}
\DeclareUnicodeCharacter{2287}{\supseteq}
\DeclareUnicodeCharacter{2295}{\oplus}
\DeclareUnicodeCharacter{2296}{\ominus}
\DeclareUnicodeCharacter{2297}{\otimes}
\DeclareUnicodeCharacter{2298}{\oslash}
\DeclareUnicodeCharacter{2299}{\odot}
\DeclareUnicodeCharacter{22C2}{\bigcap}
\DeclareUnicodeCharacter{22C3}{\bigcup}
\DeclareUnicodeCharacter{2192}{\to}
\DeclareUnicodeCharacter{2102}{\mathbb{C}}
\DeclareUnicodeCharacter{210D}{\mathbb{H}}
\DeclareUnicodeCharacter{2115}{\mathbb{N}}
\DeclareUnicodeCharacter{2119}{\mathbb{P}}
\DeclareUnicodeCharacter{211A}{\mathbb{Q}}
\DeclareUnicodeCharacter{211D}{\mathbb{R}}
\DeclareUnicodeCharacter{2124}{\mathbb{Z}}
\DeclareUnicodeCharacter{2113}{\ell}
\DeclareUnicodeCharacter{2236}{\colon}
\DeclareUnicodeCharacter{27E8}{\langle}
\DeclareUnicodeCharacter{27E9}{\rangle}
\DeclareUnicodeCharacter{2039}{\left}
\DeclareUnicodeCharacter{203A}{\right}
\DeclareUnicodeCharacter{2200}{\forall}
\DeclareUnicodeCharacter{21F3}{\limits}
\DeclareUnicodeCharacter{21A6}{\mapsto}
\DeclareUnicodeCharacter{2207}{\nabla}