blob: 153164eee9590b4f2fdd8188f085d97aa3c3cef7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
% $Id: 12,v 1.2 2004/09/19 21:47:11 karl Exp $
% Public domain.
vardef C.xii(expr n) =
save s,t,p,q;
q=fontsize n;
def s=infont "Times" scaled(q/fontsize"Times"/2)enddef;
def t=shifted(xpart urcorner p,0)enddef;
picture p; p="1"s shifted(0,q/3);
addto p also char164 s scaled2 t;
addto p also "2"s t;
p enddef;
|