Plan 9 from Bell Labs’s /usr/web/sources/contrib/steve/root/sys/src/cmd/tex/web2c/triptrap/mftrap.pl

Copyright © 2021 Plan 9 Foundation.
Distributed under the MIT License.
Download the Plan 9 distribution.


(CODINGSCHEME Q)
(DESIGNSIZE R 128.0)
(COMMENT DESIGNSIZE IS IN POINTS)
(COMMENT OTHER SIZES ARE MULTIPLES OF DESIGNSIZE)
(CHECKSUM O 5546464252)
(FONTDIMEN
   (SLANT R 2047.999999)
   (SPACE R 0.0)
   (STRETCH R 0.0)
   (SHRINK R 0.0)
   (XHEIGHT R 0.0)
   (QUAD R 0.0)
   (EXTRASPACE R 0.0)
   (PARAMETER D 8 R 0.0)
   (PARAMETER D 9 R 0.005208)
   (PARAMETER D 10 R 0.0)
   )
(BOUNDARYCHAR O 377)
(LIGTABLE
   (COMMENT THIS PART OF THE PROGRAM IS NEVER USED!
      )
   (LABEL BOUNDARYCHAR)
   (/LIG/>> O 377 O 0)
   (KRN O 0 R 0.0)
   (KRN O 0 R 0.0078125)
   (KRN O 0 R 0.015625)
   (KRN O 0 R 0.0234375)
   (KRN O 0 R 0.03125)
   (KRN O 0 R 0.0390625)
   (KRN O 0 R 0.046875)
   (KRN O 0 R 0.0546875)
   (KRN O 0 R 0.0625)
   (KRN O 0 R 0.0703125)
   (KRN O 0 R 0.078125)
   (KRN O 0 R 0.0859375)
   (KRN O 0 R 0.09375)
   (KRN O 0 R 0.1015625)
   (KRN O 0 R 0.109375)
   (KRN O 0 R 0.1171875)
   (KRN O 0 R 0.125)
   (KRN O 0 R 0.1328125)
   (KRN O 0 R 0.140625)
   (KRN O 0 R 0.1484375)
   (KRN O 0 R 0.15625)
   (KRN O 0 R 0.1640625)
   (KRN O 0 R 0.171875)
   (KRN O 0 R 0.1796875)
   (KRN O 0 R 0.1875)
   (KRN O 0 R 0.1953125)
   (KRN O 0 R 0.203125)
   (KRN O 0 R 0.2109375)
   (KRN O 0 R 0.21875)
   (KRN O 0 R 0.2265625)
   (KRN O 0 R 0.234375)
   (KRN O 0 R 0.2421875)
   (KRN O 0 R 0.25)
   (KRN O 0 R 0.2578125)
   (KRN O 0 R 0.265625)
   (KRN O 0 R 0.2734375)
   (KRN O 0 R 0.28125)
   (KRN O 0 R 0.2890625)
   (KRN O 0 R 0.296875)
   (KRN O 0 R 0.3046875)
   (KRN O 0 R 0.3125)
   (KRN O 0 R 0.3203125)
   (KRN O 0 R 0.328125)
   (KRN O 0 R 0.3359375)
   (KRN O 0 R 0.34375)
   (KRN O 0 R 0.3515625)
   (KRN O 0 R 0.359375)
   (KRN O 0 R 0.3671875)
   (KRN O 0 R 0.375)
   (KRN O 0 R 0.3828125)
   (KRN O 0 R 0.390625)
   (KRN O 0 R 0.3984375)
   (KRN O 0 R 0.40625)
   (KRN O 0 R 0.4140625)
   (KRN O 0 R 0.421875)
   (KRN O 0 R 0.4296875)
   (KRN O 0 R 0.4375)
   (KRN O 0 R 0.4453125)
   (KRN O 0 R 0.453125)
   (KRN O 0 R 0.4609375)
   (SKIP D 1)
   (LABEL C g)
   (LIG/ C g O 0)
   (STOP)
   (KRN O 0 R 0.400782)
   (KRN O 0 R 0.408594)
   (KRN O 0 R 0.416407)
   (KRN O 0 R 0.424219)
   (KRN O 0 R 0.432032)
   (KRN O 0 R 0.439844)
   (KRN O 0 R 0.447657)
   (KRN O 0 R 0.455469)
   (KRN O 0 R 0.463282)
   (KRN O 0 R 0.471094)
   (KRN O 0 R 0.478907)
   (KRN O 0 R 0.486719)
   (KRN O 0 R 0.494532)
   (KRN O 0 R 0.502344)
   (KRN O 0 R 0.510157)
   (KRN O 0 R 0.517969)
   (KRN O 0 R 0.525782)
   (KRN O 0 R 0.533594)
   (KRN O 0 R 0.541407)
   (KRN O 0 R 0.549219)
   (KRN O 0 R 0.557032)
   (KRN O 0 R 0.564844)
   (KRN O 0 R 0.572657)
   (KRN O 0 R 0.580469)
   (KRN O 0 R 0.588282)
   (KRN O 0 R 0.596094)
   (KRN O 0 R 0.603907)
   (KRN O 0 R 0.611719)
   (KRN O 0 R 0.619532)
   (KRN O 0 R 0.627344)
   (KRN O 0 R 0.635157)
   (KRN O 0 R 0.642969)
   (KRN O 0 R 0.650782)
   (KRN O 0 R 0.658594)
   (KRN O 0 R 0.666407)
   (KRN O 0 R 0.674219)
   (KRN O 0 R 0.682032)
   (KRN O 0 R 0.689844)
   (KRN O 0 R 0.697657)
   (KRN O 0 R 0.705469)
   (KRN O 0 R 0.713282)
   (KRN O 0 R 0.721094)
   (KRN O 0 R 0.728907)
   (KRN O 0 R 0.736719)
   (KRN O 0 R 0.744532)
   (KRN O 0 R 0.752344)
   (KRN O 0 R 0.760157)
   (KRN O 0 R 0.767969)
   (KRN O 0 R 0.775782)
   (KRN O 0 R 0.783594)
   (KRN O 0 R 0.791407)
   (KRN O 0 R 0.799219)
   (KRN O 0 R 0.807032)
   (KRN O 0 R 0.814844)
   (KRN O 0 R 0.822657)
   (KRN O 0 R 0.830469)
   (KRN O 0 R 0.838282)
   (KRN O 0 R 0.846094)
   (KRN O 0 R 0.853907)
   (KRN O 0 R 0.861719)
   (SKIP D 1)
   (LABEL C h)
   (LABEL C i)
   (/LIG C i O 0)
   (STOP)
   (KRN O 0 R 0.801562)
   (KRN O 0 R 0.809375)
   (KRN O 0 R 0.817187)
   (KRN O 0 R 0.825)
   (KRN O 0 R 0.832812)
   (KRN O 0 R 0.840625)
   (KRN O 0 R 0.848437)
   (KRN O 0 R 0.85625)
   (KRN O 0 R 0.864062)
   (KRN O 0 R 0.871875)
   (KRN O 0 R 0.879687)
   (KRN O 0 R 0.8875)
   (KRN O 0 R 0.895312)
   (KRN O 0 R 0.903125)
   (KRN O 0 R 0.910937)
   (KRN O 0 R 0.91875)
   (KRN O 0 R 0.926562)
   (KRN O 0 R 0.934375)
   (KRN O 0 R 0.942187)
   (KRN O 0 R 0.95)
   (KRN O 0 R 0.957812)
   (KRN O 0 R 0.965625)
   (KRN O 0 R 0.973437)
   (KRN O 0 R 0.98125)
   (KRN O 0 R 0.989062)
   (KRN O 0 R 0.996875)
   (KRN O 0 R 1.004687)
   (KRN O 0 R 1.0125)
   (KRN O 0 R 1.020312)
   (KRN O 0 R 1.028125)
   (KRN O 0 R 1.035937)
   (KRN O 0 R 1.04375)
   (KRN O 0 R 1.051562)
   (KRN O 0 R 1.059375)
   (KRN O 0 R 1.067187)
   (KRN O 0 R 1.075)
   (KRN O 0 R 1.082812)
   (KRN O 0 R 1.090625)
   (KRN O 0 R 1.098437)
   (KRN O 0 R 1.10625)
   (KRN O 0 R 1.114062)
   (KRN O 0 R 1.121875)
   (KRN O 0 R 1.129687)
   (KRN O 0 R 1.1375)
   (KRN O 0 R 1.145312)
   (KRN O 0 R 1.153125)
   (KRN O 0 R 1.160937)
   (KRN O 0 R 1.16875)
   (KRN O 0 R 1.176562)
   (KRN O 0 R 1.184375)
   (KRN O 0 R 1.192187)
   (KRN O 0 R 1.2)
   (KRN O 0 R 1.207812)
   (KRN O 0 R 1.215625)
   (KRN O 0 R 1.223437)
   (KRN O 0 R 1.23125)
   (KRN O 0 R 1.239062)
   (KRN O 0 R 1.246875)
   (KRN O 0 R 1.254687)
   (KRN O 0 R 1.2625)
   (SKIP D 1)
   (LABEL C j)
   (/LIG> C j O 0)
   (SKIP D 123)
   (KRN O 0 R 1.202344)
   (KRN O 0 R 1.210156)
   (KRN O 0 R 1.217969)
   (KRN O 0 R 1.225781)
   (KRN O 0 R 1.233594)
   (KRN O 0 R 1.241406)
   (KRN O 0 R 1.249219)
   (KRN O 0 R 1.257031)
   (KRN O 0 R 1.264844)
   (KRN O 0 R 1.272656)
   (KRN O 0 R 1.280469)
   (KRN O 0 R 1.288281)
   (KRN O 0 R 1.296094)
   (KRN O 0 R 1.303906)
   (KRN O 0 R 1.311719)
   (KRN O 0 R 1.319531)
   (KRN O 0 R 1.327344)
   (KRN O 0 R 1.335156)
   (KRN O 0 R 1.342969)
   (KRN O 0 R 1.350781)
   (KRN O 0 R 1.358594)
   (KRN O 0 R 1.366406)
   (KRN O 0 R 1.374219)
   (KRN O 0 R 1.382031)
   (KRN O 0 R 1.389844)
   (KRN O 0 R 1.397656)
   (KRN O 0 R 1.405469)
   (KRN O 0 R 1.413281)
   (KRN O 0 R 1.421094)
   (KRN O 0 R 1.428906)
   (KRN O 0 R 1.436719)
   (KRN O 0 R 1.444531)
   (KRN O 0 R 1.452344)
   (KRN O 0 R 1.460156)
   (KRN O 0 R 1.467969)
   (KRN O 0 R 1.475781)
   (KRN O 0 R 1.483594)
   (KRN O 0 R 1.491406)
   (KRN O 0 R 1.499219)
   (KRN O 0 R 1.507031)
   (KRN O 0 R 1.514844)
   (KRN O 0 R 1.522656)
   (KRN O 0 R 1.530469)
   (KRN O 0 R 1.538281)
   (KRN O 0 R 1.546094)
   (KRN O 0 R 1.553906)
   (KRN O 0 R 1.561719)
   (KRN O 0 R 1.569531)
   (KRN O 0 R 1.577344)
   (KRN O 0 R 1.585156)
   (KRN O 0 R 1.592969)
   (KRN O 0 R 1.600781)
   (KRN O 0 R 1.608594)
   (KRN O 0 R 1.616406)
   (KRN O 0 R 1.624219)
   (KRN O 0 R 1.632031)
   (KRN O 0 R 1.639844)
   (KRN O 0 R 1.647656)
   (KRN O 0 R 1.655469)
   (KRN O 0 R 1.663281)
   (SKIP D 1)
   (LABEL C k)
   (LIG/> C k O 0)
   (SKIP D 62)
   (KRN O 0 R 1.603125)
   (KRN O 0 R 1.610937)
   (KRN O 0 R 1.61875)
   (KRN O 0 R 1.626562)
   (KRN O 0 R 1.634375)
   (KRN O 0 R 1.642187)
   (KRN O 0 R 1.65)
   (KRN O 0 R 1.657812)
   (KRN O 0 R 1.665625)
   (KRN O 0 R 1.673437)
   (KRN O 0 R 1.68125)
   (KRN O 0 R 1.689062)
   (KRN O 0 R 1.696875)
   (KRN O 0 R 1.704687)
   (KRN O 0 R 1.7125)
   (KRN O 0 R 1.720312)
   (KRN O 0 R 1.728125)
   (KRN O 0 R 1.735937)
   (KRN O 0 R 1.74375)
   (KRN O 0 R 1.751562)
   (KRN O 0 R 1.759375)
   (KRN O 0 R 1.767187)
   (KRN O 0 R 1.775)
   (KRN O 0 R 1.782812)
   (KRN O 0 R 1.790625)
   (KRN O 0 R 1.798437)
   (KRN O 0 R 1.80625)
   (KRN O 0 R 1.814062)
   (KRN O 0 R 1.821875)
   (KRN O 0 R 1.829687)
   (KRN O 0 R 1.8375)
   (KRN O 0 R 1.845312)
   (KRN O 0 R 1.853125)
   (KRN O 0 R 1.860937)
   (KRN O 0 R 1.86875)
   (KRN O 0 R 1.876562)
   (KRN O 0 R 1.884375)
   (KRN O 0 R 1.892187)
   (KRN O 0 R 1.9)
   (KRN O 0 R 1.907812)
   (KRN O 0 R 1.915625)
   (KRN O 0 R 1.923437)
   (KRN O 0 R 1.93125)
   (KRN O 0 R 1.939062)
   (KRN O 0 R 1.946875)
   (KRN O 0 R 1.954687)
   (KRN O 0 R 1.9625)
   (KRN O 0 R 1.970312)
   (KRN O 0 R 1.978125)
   (KRN O 0 R 1.985937)
   (KRN O 0 R 1.99375)
   (KRN O 0 R 2.001562)
   (KRN O 0 R 2.009375)
   (KRN O 0 R 2.017187)
   (KRN O 0 R 2.025)
   (KRN O 0 R 2.032812)
   (KRN O 0 R 2.040625)
   (KRN O 0 R 2.048437)
   (KRN O 0 R 2.05625)
   (KRN O 0 R 2.064062)
   (STOP)
   (LABEL C l)
   (/LIG/> C l O 0)
   (SKIP D 1)
   (LABEL C m)
   (LIG O 0 O 0)
   (STOP)
   (LIG C a C b)
   (KRN C d R -15.999999)
   (LABEL C c)
   (LABEL C d)
   (/LIG/ C e C f)
   (KRN O 0 R 0.0)
   (STOP)
   (COMMENT THIS PART OF THE PROGRAM IS NEVER USED!
      )
   )
(CHARACTER O 0
   (CHARWD R 2.0)
   (CHARHT R 15.999999)
   (CHARDP R 0.234375)
   (CHARIC R -7.8125)
   (NEXTLARGER O 5)
   )
(CHARACTER O 5
   (CHARWD R 0.0)
   (CHARDP R -0.113281)
   (VARCHAR
      (TOP O 5)
      (MID C c)
      (REP C d)
      )
   )
(CHARACTER O 33
   (CHARWD R 0.0)
   (CHARDP R 0.2109375)
   )
(CHARACTER O 137
   (CHARWD R 0.0)
   (CHARDP R 0.1015625)
   )
(CHARACTER O 140
   (CHARWD R 0.0)
   (CHARDP R 0.089844)
   )
(CHARACTER C a
   (CHARWD R 0.0)
   (NEXTLARGER C d)
   )
(CHARACTER C b
   (CHARWD R 0.0)
   (CHARDP R 0.1640625)
   )
(CHARACTER C c
   (CHARWD R 0.0)
   (CHARDP R -0.011719)
   (COMMENT
      (/LIG/ C e C f)
      (KRN O 0 R 0.0)
      )
   )
(CHARACTER C d
   (CHARWD R 0.0)
   (CHARDP R 0.1328125)
   (COMMENT
      (/LIG/ C e C f)
      (KRN O 0 R 0.0)
      )
   )
(CHARACTER C e
   (CHARWD R 0.0)
   (CHARDP R 0.089844)
   )
(CHARACTER C f
   (CHARWD R 0.0)
   (CHARDP R 0.0234375)
   )
(CHARACTER C g
   (CHARWD R 0.0)
   (CHARDP R -0.011719)
   (CHARIC R -7.8125)
   (COMMENT
      (LIG/ C g O 0)
      )
   )
(CHARACTER C h
   (CHARWD R 0.0)
   (CHARDP R 0.1953125)
   (CHARIC R -7.8125)
   (COMMENT
      (/LIG C i O 0)
      )
   )
(CHARACTER C i
   (CHARWD R 0.0)
   (CHARDP R 0.2421875)
   (CHARIC R -7.8125)
   (COMMENT
      (/LIG C i O 0)
      )
   )
(CHARACTER C j
   (CHARWD R 0.0)
   (CHARDP R 0.1484375)
   (CHARIC R -7.8125)
   (COMMENT
      (/LIG> C j O 0)
      (LIG C a C b)
      (KRN C d R -15.999999)
      (/LIG/ C e C f)
      (KRN O 0 R 0.0)
      )
   )
(CHARACTER C k
   (CHARWD R 0.0)
   (CHARDP R 0.0546875)
   (CHARIC R -7.8125)
   (COMMENT
      (LIG/> C k O 0)
      (LIG C a C b)
      (KRN C d R -15.999999)
      (/LIG/ C e C f)
      (KRN O 0 R 0.0)
      )
   )
(CHARACTER C l
   (CHARWD R 2.0)
   (CHARDP R 0.1796875)
   (CHARIC R -7.8125)
   (COMMENT
      (/LIG/> C l O 0)
      (LIG C a C b)
      (KRN C d R -15.999999)
      (/LIG/ C e C f)
      (KRN O 0 R 0.0)
      )
   )
(CHARACTER C m
   (CHARWD R 2.0)
   (CHARHT R 15.999999)
   (CHARDP R 0.234375)
   (CHARIC R -7.8125)
   (COMMENT
      (LIG O 0 O 0)
      )
   )
(CHARACTER O 354
   (CHARWD R 0.0)
   (CHARDP R -15.999999)
   )

Bell Labs OSI certified Powered by Plan 9

(Return to Plan 9 Home Page)

Copyright © 2021 Plan 9 Foundation. All Rights Reserved.
Comments to webmaster@9p.io.