[comp.windows.x] Using X for Logic and Set Theory CAI

phiggins@orion.cf.uci.edu (Paul Higgins) (04/04/89)

The following message is being sent for Dina Blok of the School of Social
Sciences here at the University of California, Irvine.  Please reply to
her directly at dina@aris.ss.uci.edu.

     We are trying to install a CAI course teaching Logic and Set
     Theory on a Sun3 using X windows.  The course is written in C and
     is currently running on a VAX running UNIX.  It presents text,
     figures and problems in turns, writing to standard output, and
     tests students' responses, reading from standard input.  The goal
     is to make the best use of X windows and its graphics with
     minimum amount of reprogramming the course.  We are looking for
     existing X applications which may be useful or illustrative for
     this task.  Alternatively, we are interested in the possibilities
     of using xterm with fonts containing special math symbols (e.g.
     arrows, implication sign) and displaying figures in xterm.