formula_4 Autovector