#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.
^1::
    Send, $\forall$
Return
^2::
    Send, $\exists$
Return
^3::
    Send, $\wedge$
Return
^4::
    Send, $\lor$
Return
^5::
    Send, $\rightarrow$
Return
^6::
    Send, $\leftrightarrow$
Return
^8::
    Send, $\neg$
Return