Symbolic red Vectors