repaired Preasentation, added symbols