fact: Definition postscript_header := ("" :: "START" :: "%!PS" :: "/Times-Roman findfont" :: "12 scalefont" :: "setfont" :: nil)%string.
imports: mathcomp(all_ssreflect) ZArith QArith List String OrderedType OrderedTypeEx FMapAVL