Removed duplicate entry for ∼