contains the definitions of the vector characters of the printable subset of the ASCII table, i.e. those included between the ordinal valuse 32 and 126. It cn be used a s a model for user-defined character fonts
-
Fontcolor applies the col parameter to the polyhedral objects in myfont font
Pre/Post conds (col::isrgbcolor) => (iseqof:ispol)
Example fontcolor:red -
Fontheight constant value, giving the height of characters in myfont. Default is 6
Pre/Post conds => (isnum)
Example s:< 1,2>:< textwidth/fontwidth, textheight/fontheight > -
Fontspacing constant value, giving the spacing of character boxes in myfont.
Default is 2
Pre/Post conds => (isnum)
Example t:1:(fontwidth + fontspacing) -
Fontwidth constant value, giving the width of characters in myfont
Pre/Post conds => (isnum)
Example s:< 1,2>:< textwidth/fontwidth, textheight/fontheight > -
Myfont is the name of the internal data structure where the character shapes are
stored as geometric values. The drawable ascii subset is [32, 126]
Pre/Post conds => (isseqof:ispol)
Example sel:(ord: a - 31):myfont == PolComplex< 1,2>