Insert Theorem

KEYS {
    {Alt+t}aTheorem{Enter}
}