PC TEX (Personal TEX Inc, 1987)