I would say yes, but oldish notation just might mean a bow cut. I have never seen anything like that, but the "prime" is often one note with two lines, one up and one down.