ha:asciicircum {
    width=50.0mil; delta=12.0mil;
    li:objects {
     li:simplepoly.0 {
       16.94mil; 28.58mil
       16.79mil; 28.46mil
       16.39mil; 28.06mil
       15.75mil; 27.39mil
       14.84mil; 26.48mil
       13.68mil; 25.3mil
       12.22mil; 23.77mil
       7.42mil; 28.43mil
       6.99mil; 28.82mil
       6.6mil; 29.13mil
       6.23mil; 29.37mil
       5.9mil; 29.55mil
       5.56mil; 29.64mil
       5.26mil; 29.68mil
       4.56mil; 29.64mil
       4.01mil; 29.46mil
       3.58mil; 29.19mil
       3.28mil; 28.82mil
       3.1mil; 28.34mil
       3.04mil; 27.7mil
       3.04mil; 27.39mil
       3.13mil; 27.09mil
       3.28mil; 26.76mil
       3.46mil; 26.42mil
       3.74mil; 26.06mil
       4.07mil; 25.69mil
       10.09mil; 19.49mil
       10.43mil; 19.15mil
       10.79mil; 18.88mil
       11.16mil; 18.66mil
       11.49mil; 18.51mil
       11.86mil; 18.42mil
       12.22mil; 18.36mil
       12.5mil; 18.42mil
       12.8mil; 18.51mil
       13.14mil; 18.66mil
       13.47mil; 18.88mil
       13.8mil; 19.15mil
       14.2mil; 19.49mil
       20.13mil; 25.45mil
       20.44mil; 25.81mil
       20.71mil; 26.18mil
       20.92mil; 26.54mil
       21.07mil; 26.91mil
       21.17mil; 27.27mil
       21.23mil; 27.64mil
       21.14mil; 28.28mil
       20.95mil; 28.79mil
       20.65mil; 29.19mil
       20.19mil; 29.46mil
       19.61mil; 29.64mil
       18.91mil; 29.68mil
       18.58mil; 29.68mil
       18.28mil; 29.58mil
       17.94mil; 29.43mil
       17.61mil; 29.22mil
       17.27mil; 28.95mil
     }
    height = 63.33mil
   }