⟩ How does one specify a precise font in any other way than by downloading? In particular, how would an SVG document specify the difference between Adobe Times (in Type1 format, say), and Monotype Times (in TrueType format, say)?
You can provide a 'hint' about what type format a given font is, but I'm not sure that all implementations will do what you want and (for example) only use the Type1 font.
I think Web fonts are the way to go if you want to ensure that the correct font is used. System fonts have their place, too, but probably should be avoided if you have precise text needs.
