Type a Tcl command here