> For me, the word "implies" is too tied in my brain to an arrow symbol to > be useful to me in keeping the implications straight. Pun implied? -- Ariel J. Birnbaum