stroke
stroke n. Common name for the slant (`/', ASCII 0101111) character. See {
ASCII
} for other synonyms.
HTML Conversion by
AG2HTML.pl
V2.94618 &
witbrock@cs.cmu.edu