I found nothing special about these at all other than that they are double tipped.  Even if I am careful, they bleed through. However, the Bibles I am using have very thin paper, even for Bibles.  The best solution I have found is a red art pencil.  It's underlined instead of highlighted, but it gets the job done consistently.