Insert Proposition

KEYS {
    {Alt+t}aProposition{Enter}
}