Insert Corollary

KEYS {
    {Alt+t}aCorollary{Enter}
}