the double dash can be done (on a PC) using "alt 0151" (the short one is "alt 0150) - — ? ? ? (hey...do you all see those? I accidently tapped into other fonts, because I also have a helper program, and mixed it with the "alt key" ? ? ?)