pencil-write-interface-symbol