+ difference(){
+ linextr(thick - 0.1, thick + teeth_height_total)
+ TeethPlan();
+ translate([ teeth_x_mid, 0, thick + teeth_height_total + 1])
+ linextr_y_xz(-teeth_pitch * teeth_n,
+ +teeth_pitch * teeth_n)
+ rotate(45)
+ square(sqrt(2) * (teeth_gap/2 + teeth_chamfer + 1), center=true);
+ }