More TEX text

  • gs = revert()
  • gs.transform(x,y)
  • (GraphicsState).rtransform(dx,dy)

label.eps

squaregraph.eps