font_identifier "CIRCLE"; font_size design_size * pt#;
font_coding_scheme:="LATEX CIRCLE";
mode_setup;

nominal_thickness = 1;		% use normal-width lines
input c-circle;

input circle;