Curious what is the history of adding ط on top of letters to make retroflex sounds, as in ٹ، ڈ، ڑ? Why ط? Does it stand for something specific? In some older books I have seen four dots instead of ط also. Did it change to ط at some time?