hotkeys.ahk

; save as hotkeys.ahk in Autostart folder
; www.autohotkey.com needed
; Syntax:
; The semicolons mark a comment
; anything between :: and :: is what you type
; anything after that is what it will be replaced with once you finish that word (press space)




#NoEnv  ; Recommended for performance and compatibility with future AutoHotkey releases.
; #Warn  ; Enable warnings to assist with detecting common errors.
SendMode Input  ; Recommended for new scripts due to its superior speed and reliability.
SetWorkingDir %A_ScriptDir%  ; Ensures a consistent starting directory.

::hotx::×
::hotmal::×
::hotmultiplication::×
::hotnotexists::∄
::hotnotelem::∉
::hotnotelement::∉
::hotimplies::→
::hotimplies2::⇒
::hotequivalence::↔
::hotequivalence2::⇔
::hotequivalence3::≡
::hotnot::¬
::hotand::∧
::hotor::∨
::hotor2::ǀǀ
::hottautology::T
::hotcontradiction::⊥
::hotforall::∀
::hotintegral::∫
::hotintegraltop::⌠
::hotintegralbot::⌡
::hotinfinity::∞
::hotmy::µ
::hotsum::Σ
::hotpi::π
::hotsquared::²
::hotcubed::³
::hotsqrt::√
::hothochn::ⁿ
::hotidentical::≡
::hotapproxequal::≈
::hotmoreorequal::≥
::hotplusminus::±
::hotsmiley::☺
::hotsmiley2::☻
::hotright::→
::hotleft::←
::hotup::↑
::hotdown::↓
::hotalpha::α
::hotbeta::β
::hotgamma::γ
::hotdelta::δ
::hotepsilon::ε
::hotzeta::ζ
::hoteta::η
::hottheta::θ
::hotiota::ι
::hotkappa::κ
::hotlambda::λ
::hotmu::μ
::hotnu::ν
::hotxi::ξ
::hotomicron::ο
::hotrho::ρ
::hotsigma::σ
::hottau::τ
::hotupsilon::υ
::hotphi::φ
::hotchi::χ
::hotpsi::ψ
::hotomega::ω
::hotsenkrecht::⊥
::hotangle::∠
::hotrighttriangle::⊿
::hotqed::∎
::qed::□
::hotvoid::Ø
::hotneq::≠
::hotne::≠
;dasselbe:
::reverseelement::∋
::reverseelem::∋

::hotelem::∈
::sp::⟨x,y⟩
::spauf::⟨
::spzu::⟩

;dasselbe:
::-/>::↛
::hotnotright::↛

;dasselbe:
::</-::↚
::hotnotleft::↚

::hotteilmenge::⊂
::hotreverseteilmenge::⊃
::hot=teilmenge::⊆
::hot=reverseteilmenge::⊇
::hotxmultiply::×
::hotmultiplydot::⋅
::hotvereinigt::∪
::hotgeschnitten::∩