|
Both the original arrow right and arrowdblright show up in the Adobe PDF Reference manual as being included and supported by Adobe / ADE. Since the right arrow appeared too thin but the new arrow is missing, I will change it to use arrowdblright instead.
|