The WYSIWYG interface of ExpCad