% Character-Encoding: Shift_JIS
% シフトJISエンコーディングです(と、ここで言わないとブラウザで文字化けするみたい)
verbatimtex
  \documentclass{article}
  \begin{document}
etex;
u=1.0in;
v=0.8in;
%% ...中略...
beginfig(3);
  pickup pencircle scaled 0.5;
  draw fullcircle scaled 2u shifted (0,1u);
  draw (-1.0u,-0.2u)--(-1.0u,2.2u) dashed evenly;
  draw ( 1.0u,-0.2u)--( 1.0u,3.1u) dashed evenly;
  draw (-1.1u, 1.0u)--( 1.1u,1.0u) dashed evenly;
  draw (    0,-0.2u)--(    0,1.1u) dashed evenly;
  draw (-0.1u,(1+0.1/sqrt(3))*u)--((0.1+sqrt(3))*u,(-0.1/sqrt(3))*u);
  draw ( (sqrt(3)/2)*u, 3.1u )--( (sqrt(3)/2)*u, -0.1u );
  fill fullcircle scaled 3bp shifted ( (sqrt(3.0)/2)*u, (10+sqrt(3.0))/4*u); % a dot at P
  fill fullcircle scaled 3bp shifted (     sqrt(3.0)*u,       0); % a dot at Q
  fill fullcircle scaled 3bp shifted ( (sqrt(3.0)/2)*u,       0); % a dot at M
  fill fullcircle scaled 3bp shifted ( (sqrt(3.0)/2)*u, (1/2)*u); % a dot at N
  pickup pencircle scaled 1.2;
  draw (-1.0u, 2.0u)--( 1.0u, 3.0u);
  draw (-1.8u,    0)--( 1.8u,    0);
  draw (-1.8u,    0)--(-2.0u,    0) dashed evenly scaled 0.8;
  draw ( 1.8u,    0)--( 2.0u,    0) dashed evenly scaled 0.8;
  label.lft  (btex A etex, (-1.0u, 2.0u) ); % A
  label.rt   (btex B etex, ( 1.0u, 3.0u) ); % B
  label.llft (btex C etex, (-1.0u, 0) ); % C
  label.lrt  (btex D etex, ( 1.0u, 0) ); % D
  label.llft (btex O etex, (0,1.0u) ); % O
  label.lft  (btex P etex, ( (sqrt(3.0)/2)*u, (10+sqrt(3.0))/4*u+5bp ) ); % P
  label.top  (btex Q etex, (     sqrt(3.0)*u,       0) ); % Q
  label.llft (btex M etex, ( (sqrt(3.0)/2)*u,       0) ); % M
  label.lft  (btex N etex, ( (sqrt(3.0)/2)*u-3bp, (1/2)*u) ); % N
  label (btex $\Gamma$ etex, (-0.8u, 1.4u)); % Gamma
endfig;
%% ...中略...
end.