Hayır, kaldırılmadı. Türk Dil Kurumunun kurulduğu 1932 yılından bugüne kadar yayımladığı bütün yazım kılavuzlarında bu işaret vardır. Hiçbir zaman kaldırılmamıştır. Bu işaretin asıl adı düzeltme işareti olmakla beraber bu işarete (sizin de söylediğiniz gibi)...