diff options
Diffstat (limited to 'Master/texmf-dist/fonts/source/public/ctib/ctibnum.mf')
-rw-r--r-- | Master/texmf-dist/fonts/source/public/ctib/ctibnum.mf | 743 |
1 files changed, 743 insertions, 0 deletions
diff --git a/Master/texmf-dist/fonts/source/public/ctib/ctibnum.mf b/Master/texmf-dist/fonts/source/public/ctib/ctibnum.mf new file mode 100644 index 00000000000..ad4130d1981 --- /dev/null +++ b/Master/texmf-dist/fonts/source/public/ctib/ctibnum.mf @@ -0,0 +1,743 @@ +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +% +% Tibetan numbers. Glyph source: Sirlin's Metafont +% +beginchar (TIB_ZERO, 5.541u#, 6.504u#, 0.000u#); + "Tibetan digit zero"; + z0\0\0s = (2.409u,6.347u); + z0\0\0c1 = (-0.491u,5.123u); + z0\0\0c2 = (0.099u,1.658u); + z0\0\0 = (3.132u,1.954u); + z0\0\1c1 = (5.978u,2.231u); + z0\0\1c2 = (5.822u,6.966u); + z0\1\0s = (2.410u,5.217u); + z0\1\0c1 = (5.904u,5.626u); + z0\1\0c2 = (4.929u,3.299u); + z0\1\0 = (3.131u,2.977u); + z0\1\1c1 = (1.074u,2.607u); + z0\1\1c2 = (0.048u,4.505u); + fill_or_unfill z0\0\0s + ..controls z0\0\0c1 and z0\0\0c2..z0\0\0 + ..controls z0\0\1c1 and z0\0\1c2..cycle; + fill_or_unfill z0\1\0s + ..controls z0\1\0c1 and z0\1\0c2..z0\1\0 + ..controls z0\1\1c1 and z0\1\1c2..cycle; + proof_labels ( + 0\0\0, + 0\0\1, + 0\1\0, + 0\1\1, +); + npic:=currentpicture; +endchar; + +beginchar (TIB_ONE, 5.782u#, 6.745u#, 1.204u#); + "Tibetan digit one"; + z1\0\0s = (1.204u,3.613u); + z1\0\0c1 = (1.970u,4.091u); + z1\0\0c2 = (2.303u,4.833u); + z1\0\0 = (2.963u,5.424u); + z1\0\1c1 = (4.450u,6.756u); + z1\0\1c2 = (5.020u,5.559u); + z1\0\1 = (4.357u,4.095u); + z1\0\2c1 = (3.428u,2.048u); + z1\0\2c2 = (1.395u,0.928u); + z1\0\2 = (0.482u,-0.964u); + z1\0\3c1 = (5.531u,0.094u); + z1\0\3c2 = (6.938u,8.021u); + z1\0\3 = (3.373u,6.483u); + z1\0\4c1 = (2.102u,5.935u); + z1\0\4c2 = (1.564u,4.871u); + fill_or_unfill z1\0\0s + ..controls z1\0\0c1 and z1\0\0c2..z1\0\0 + ..controls z1\0\1c1 and z1\0\1c2..z1\0\1 + ..controls z1\0\2c1 and z1\0\2c2..z1\0\2 + ..controls z1\0\3c1 and z1\0\3c2..z1\0\3 + ..controls z1\0\4c1 and z1\0\4c2..cycle; + proof_labels ( + 1\0\0, + 1\0\1, + 1\0\2, + 1\0\3, + 1\0\4, +); +endchar; + +beginchar (TIB_TWO, 6.022u#, 6.745u#, 1.686u#); + "Tibetan digit two"; + z2\0\0s = (0.723u,4.577u); + z2\0\0c1 = (1.270u,4.831u); + z2\0\0c2 = (1.668u,5.123u); + z2\0\0 = (2.168u,5.453u); + z2\0\1c1 = (2.908u,5.940u); + z2\0\1c2 = (4.879u,6.364u); + z2\0\1 = (3.965u,4.814u); + z2\0\2c1 = (3.140u,3.416u); + z2\0\2c2 = (1.465u,2.338u); + z2\0\2 = (0.482u,0.964u); + z2\0\3c1 = (2.441u,0.988u); + z2\0\3c2 = (4.170u,1.179u); + z2\0\3 = (3.854u,-1.445u); + z2\0\4c1 = (6.425u,-1.232u); + z2\0\4c2 = (6.133u,1.602u); + z2\0\4 = (2.409u,1.686u); + z2\0\5c1 = (3.227u,2.376u); + z2\0\5c2 = (4.530u,3.011u); + z2\0\5 = (5.122u,3.879u); + z2\0\6c1 = (7.269u,7.025u); + z2\0\6c2 = (2.308u,7.845u); + fill_or_unfill z2\0\0s + ..controls z2\0\0c1 and z2\0\0c2..z2\0\0 + ..controls z2\0\1c1 and z2\0\1c2..z2\0\1 + ..controls z2\0\2c1 and z2\0\2c2..z2\0\2 + ..controls z2\0\3c1 and z2\0\3c2..z2\0\3 + ..controls z2\0\4c1 and z2\0\4c2..z2\0\4 + ..controls z2\0\5c1 and z2\0\5c2..z2\0\5 + ..controls z2\0\6c1 and z2\0\6c2..cycle; + proof_labels ( + 2\0\0, + 2\0\1, + 2\0\2, + 2\0\3, + 2\0\4, + 2\0\5, + 2\0\6, +); +endchar; + +beginchar (TIB_THREE, 6.504u#, 6.745u#, 2.650u#); + "Tibetan digit three"; + z3\0\0s = (0.482u,4.818u); + z3\0\0c1 = (1.041u,4.948u); + z3\0\0c2 = (3.896u,5.906u); + z3\0\0 = (3.154u,4.132u); + z3\0\1 = (1.927u,2.409u); + z3\0\2c1 = (2.771u,2.755u); + z3\0\2c2 = (3.931u,3.637u); + z3\0\2 = (4.719u,2.592u); + z3\0\3c1 = (4.856u,2.310u); + z3\0\3c2 = (4.902u,2.030u); + z3\0\3 = (4.719u,1.708u); + z3\0\4c1 = (3.975u,-0.382u); + z3\0\4c2 = (1.400u,1.573u); + z3\0\4 = (0.482u,-0.964u); + z3\0\5c1 = (3.743u,-0.843u); + z3\0\5c2 = (2.844u,-1.161u); + z3\0\5 = (5.541u,-2.409u); + z3\0\6c1 = (5.291u,-1.182u); + z3\0\6c2 = (4.741u,-0.551u); + z3\0\6 = (4.095u,0.482u); + z3\0\7c1 = (6.047u,1.533u); + z3\0\7c2 = (7.087u,3.759u); + z3\0\7 = (4.336u,4.577u); + z3\0\8c1 = (4.252u,7.859u); + z3\0\8c2 = (1.526u,6.919u); + fill_or_unfill z3\0\0s + ..controls z3\0\0c1 and z3\0\0c2..z3\0\0 + --z3\0\1 + ..controls z3\0\2c1 and z3\0\2c2..z3\0\2 + ..controls z3\0\3c1 and z3\0\3c2..z3\0\3 + ..controls z3\0\4c1 and z3\0\4c2..z3\0\4 + ..controls z3\0\5c1 and z3\0\5c2..z3\0\5 + ..controls z3\0\6c1 and z3\0\6c2..z3\0\6 + ..controls z3\0\7c1 and z3\0\7c2..z3\0\7 + ..controls z3\0\8c1 and z3\0\8c2..cycle; + proof_labels ( + 3\0\0, + 3\0\1, + 3\0\2, + 3\0\3, + 3\0\4, + 3\0\5, + 3\0\6, + 3\0\7, + 3\0\8, +); +endchar; + +beginchar (TIB_FOUR, 11.804u#, 6.504u#, 0.000u#); + "Tibetan digit four"; + z4\0\0s = (11.322u,6.022u); + z4\0\0 = (10.840u,6.022u); + z4\0\1c1 = (9.802u,2.487u); + z4\0\1c2 = (4.213u,1.852u); + z4\0\1 = (1.204u,2.650u); + z4\0\2c1 = (2.667u,4.434u); + z4\0\2c2 = (7.496u,3.369u); + z4\0\2 = (9.154u,6.504u); + z4\0\3c1 = (7.840u,6.023u); + z4\0\3c2 = (6.722u,5.329u); + z4\0\3 = (5.300u,5.139u); + z4\0\4c1 = (4.402u,5.006u); + z4\0\4c2 = (3.177u,5.407u); + z4\0\4 = (2.419u,5.139u); + z4\0\5c1 = (1.786u,4.929u); + z4\0\5c2 = (1.254u,4.190u); + z4\0\5 = (0.959u,3.613u); + z4\0\6c1 = (-1.325u,-0.868u); + z4\0\6c2 = (10.683u,0.502u); + fill_or_unfill z4\0\0s + --z4\0\0 + ..controls z4\0\1c1 and z4\0\1c2..z4\0\1 + ..controls z4\0\2c1 and z4\0\2c2..z4\0\2 + ..controls z4\0\3c1 and z4\0\3c2..z4\0\3 + ..controls z4\0\4c1 and z4\0\4c2..z4\0\4 + ..controls z4\0\5c1 and z4\0\5c2..z4\0\5 + ..controls z4\0\6c1 and z4\0\6c2..cycle; + proof_labels ( + 4\0\0, + 4\0\1, + 4\0\2, + 4\0\3, + 4\0\4, + 4\0\5, + 4\0\6, +); +endchar; + +beginchar (TIB_FIVE, 9.395u#, 6.745u#, 0.241u#); + "Tibetan digit five"; + z5\0\0s = (6.263u,6.745u); + z5\0\0c1 = (5.303u,5.034u); + z5\0\0c2 = (4.652u,4.454u); + z5\0\0 = (4.336u,2.409u); + z5\0\1c1 = (2.627u,4.122u); + z5\0\1c2 = (3.453u,5.984u); + z5\0\1 = (0.482u,6.022u); + z5\0\2c1 = (0.855u,4.454u); + z5\0\2c2 = (2.677u,0.705u); + z5\0\2 = (4.095u,0.000u); + z5\0\3c1 = (4.189u,1.674u); + z5\0\3c2 = (5.068u,3.544u); + z5\0\3 = (5.782u,5.059u); + z5\0\4c1 = (7.216u,3.598u); + z5\0\4c2 = (8.822u,3.160u); + z5\0\4 = (8.913u,5.782u); + z5\0\5c1 = (8.570u,5.485u); + z5\0\5c2 = (8.587u,5.489u); + z5\0\5 = (8.431u,5.059u); + z5\0\6c1 = (7.498u,5.534u); + z5\0\6c2 = (7.376u,5.793u); + z5\0\6 = (6.986u,6.745u); + fill_or_unfill z5\0\0s + ..controls z5\0\0c1 and z5\0\0c2..z5\0\0 + ..controls z5\0\1c1 and z5\0\1c2..z5\0\1 + ..controls z5\0\2c1 and z5\0\2c2..z5\0\2 + ..controls z5\0\3c1 and z5\0\3c2..z5\0\3 + ..controls z5\0\4c1 and z5\0\4c2..z5\0\4 + ..controls z5\0\5c1 and z5\0\5c2..z5\0\5 + ..controls z5\0\6c1 and z5\0\6c2..z5\0\6 + --cycle; + proof_labels ( + 5\0\0, + 5\0\1, + 5\0\2, + 5\0\3, + 5\0\4, + 5\0\5, + 5\0\6, + 5\0\7, +); +endchar; + +beginchar (TIB_SIX, 9.636u#, 6.745u#, 1.204u#); + "Tibetan digit six"; + z6\0\0s = (0.482u,3.132u); + z6\0\0c1 = (1.954u,-0.847u); + z6\0\0c2 = (9.095u,-2.917u); + z6\0\0 = (9.146u,1.445u); + z6\0\1c1 = (9.187u,4.936u); + z6\0\1c2 = (4.163u,2.372u); + z6\0\1 = (4.519u,4.787u); + z6\0\2c1 = (4.703u,6.033u); + z6\0\2c2 = (7.830u,5.338u); + z6\0\2 = (8.672u,5.300u); + z6\0\3c1 = (7.935u,7.468u); + z6\0\3c2 = (4.163u,7.008u); + z6\0\3 = (3.739u,4.817u); + z6\0\4c1 = (3.090u,1.461u); + z6\0\4c2 = (7.771u,2.732u); + z6\0\4 = (8.440u,1.612u); + z6\0\5c1 = (9.174u,0.382u); + z6\0\5c2 = (7.208u,0.218u); + z6\0\5 = (6.504u,0.282u); + z6\0\6c1 = (2.314u,0.660u); + z6\0\6c2 = (2.663u,2.477u); + fill_or_unfill z6\0\0s + ..controls z6\0\0c1 and z6\0\0c2..z6\0\0 + ..controls z6\0\1c1 and z6\0\1c2..z6\0\1 + ..controls z6\0\2c1 and z6\0\2c2..z6\0\2 + ..controls z6\0\3c1 and z6\0\3c2..z6\0\3 + ..controls z6\0\4c1 and z6\0\4c2..z6\0\4 + ..controls z6\0\5c1 and z6\0\5c2..z6\0\5 + ..controls z6\0\6c1 and z6\0\6c2..cycle; + proof_labels ( + 6\0\0, + 6\0\1, + 6\0\2, + 6\0\3, + 6\0\4, + 6\0\5, + 6\0\6, +); +endchar; + +beginchar (TIB_SEVEN, 7.709u#, 6.745u#, 1.445u#); + "Tibetan digit seven"; + z7\0\0s = (6.281u,6.745u); + z7\0\0c1 = (6.115u,5.810u); + z7\0\0c2 = (6.410u,4.996u); + z7\0\0 = (6.281u,4.095u); + z7\0\1c1 = (6.047u,2.048u); + z7\0\1c2 = (3.916u,-0.946u); + z7\0\1 = (1.686u,-0.482u); + z7\0\2c1 = (2.400u,1.396u); + z7\0\2c2 = (4.044u,2.930u); + z7\0\2 = (3.828u,5.049u); + z7\0\3c1 = (3.619u,7.104u); + z7\0\3c2 = (1.272u,6.730u); + z7\0\3 = (0.723u,5.049u); + z7\0\4c1 = (1.223u,5.273u); + z7\0\4c2 = (2.499u,6.203u); + z7\0\4 = (2.456u,5.049u); + z7\0\5c1 = (2.401u,3.566u); + z7\0\5c2 = (-0.015u,1.531u); + z7\0\5 = (0.663u,-0.227u); + z7\0\6c1 = (1.912u,-3.464u); + z7\0\6c2 = (8.676u,1.598u); + z7\0\6 = (6.745u,6.745u); + fill_or_unfill z7\0\0s + ..controls z7\0\0c1 and z7\0\0c2..z7\0\0 + ..controls z7\0\1c1 and z7\0\1c2..z7\0\1 + ..controls z7\0\2c1 and z7\0\2c2..z7\0\2 + ..controls z7\0\3c1 and z7\0\3c2..z7\0\3 + ..controls z7\0\4c1 and z7\0\4c2..z7\0\4 + ..controls z7\0\5c1 and z7\0\5c2..z7\0\5 + ..controls z7\0\6c1 and z7\0\6c2..z7\0\6 + --cycle; + proof_labels ( + 7\0\0, + 7\0\1, + 7\0\2, + 7\0\3, + 7\0\4, + 7\0\5, + 7\0\6, + 7\0\7, +); +endchar; + +beginchar (TIB_EIGHT, 6.986u#, 6.504u#, 0.241u#); + "Tibetan digit eight"; + z8\0\0s = (2.650u,6.504u); + z8\0\0c1 = (2.140u,4.267u); + z8\0\0c2 = (0.997u,2.189u); + z8\0\0 = (0.482u,0.000u); + z8\0\1c1 = (2.427u,0.463u); + z8\0\1c2 = (4.487u,0.000u); + z8\0\1 = (6.504u,0.000u); + z8\0\2c1 = (5.284u,1.075u); + z8\0\2c2 = (3.236u,1.475u); + z8\0\2 = (1.686u,1.927u); + z8\0\3c1 = (2.325u,3.175u); + z8\0\3c2 = (3.219u,5.134u); + z8\0\3 = (3.372u,6.504u); + fill_or_unfill z8\0\0s + ..controls z8\0\0c1 and z8\0\0c2..z8\0\0 + ..controls z8\0\1c1 and z8\0\1c2..z8\0\1 + ..controls z8\0\2c1 and z8\0\2c2..z8\0\2 + ..controls z8\0\3c1 and z8\0\3c2..z8\0\3 + --cycle; + proof_labels ( + 8\0\0, + 8\0\1, + 8\0\2, + 8\0\3, + 8\0\4, +); +endchar; + +beginchar (TIB_NINE, 8.672u#, 6.745u#, 0.964u#); + "Tibetan digit nine"; + z9\0\0s = (1.445u,-0.241u); + z9\0\0c1 = (1.234u,0.696u); + z9\0\0c2 = (0.854u,1.675u); + z9\0\0 = (1.019u,2.650u); + z9\0\1c1 = (1.535u,5.694u); + z9\0\1c2 = (6.637u,5.710u); + z9\0\1 = (7.338u,4.044u); + z9\0\2c1 = (8.645u,0.945u); + z9\0\2c2 = (2.183u,4.283u); + z9\0\2 = (2.273u,0.725u); + z9\0\3c1 = (2.323u,-1.224u); + z9\0\3c2 = (7.258u,-1.711u); + z9\0\3 = (8.190u,1.445u); + z9\0\4c1 = (7.194u,0.927u); + z9\0\4c2 = (4.187u,-0.879u); + z9\0\4 = (3.399u,1.017u); + z9\0\5c1 = (2.300u,3.660u); + z9\0\5c2 = (9.290u,0.209u); + z9\0\5 = (8.115u,4.814u); + z9\0\6c1 = (7.533u,7.092u); + z9\0\6c2 = (3.540u,7.113u); + z9\0\6 = (2.021u,5.848u); + z9\0\7c1 = (0.627u,4.687u); + z9\0\7c2 = (-0.337u,0.920u); + fill_or_unfill z9\0\0s + ..controls z9\0\0c1 and z9\0\0c2..z9\0\0 + ..controls z9\0\1c1 and z9\0\1c2..z9\0\1 + ..controls z9\0\2c1 and z9\0\2c2..z9\0\2 + ..controls z9\0\3c1 and z9\0\3c2..z9\0\3 + ..controls z9\0\4c1 and z9\0\4c2..z9\0\4 + ..controls z9\0\5c1 and z9\0\5c2..z9\0\5 + ..controls z9\0\6c1 and z9\0\6c2..z9\0\6 + ..controls z9\0\7c1 and z9\0\7c2..cycle; + proof_labels ( + 9\0\0, + 9\0\1, + 9\0\2, + 9\0\3, + 9\0\4, + 9\0\5, + 9\0\6, + 9\0\7, +); +endchar; + +beginchar (TIB_VARFIVE, 7.709u#, 6.745u#, 0.000u#); + "var.five"; + z37\0\0s = (0.482u,6.745u); + z37\0\0c1 = (0.491u,5.731u); + z37\0\0c2 = (0.563u,4.293u); + z37\0\0 = (1.072u,3.397u); + z37\0\1c1 = (1.760u,2.186u); + z37\0\1c2 = (3.345u,1.940u); + z37\0\1 = (4.577u,2.378u); + z37\0\2c1 = (4.937u,2.506u); + z37\0\2c2 = (5.219u,2.695u); + z37\0\2 = (5.541u,2.891u); + z37\0\3c1 = (6.050u,1.975u); + z37\0\3c2 = (6.211u,1.752u); + z37\0\3 = (7.227u,1.445u); + z37\0\4 = (6.556u,3.372u); + z37\0\5c1 = (6.195u,4.503u); + z37\0\5c2 = (6.033u,5.562u); + z37\0\5 = (6.022u,6.745u); + z37\0\6 = (4.630u,6.745u); + z37\0\7 = (4.630u,5.541u); + z37\0\8c1 = (4.753u,5.085u); + z37\0\8c2 = (4.962u,4.315u); + z37\0\8 = (4.845u,3.880u); + z37\0\9c1 = (4.740u,3.485u); + z37\0\9c2 = (4.471u,3.213u); + z37\0\9 = (4.084u,3.082u); + z37\0\10c1 = (2.450u,2.529u); + z37\0\10c2 = (2.014u,5.707u); + z37\0\10 = (1.927u,6.745u); + fill_or_unfill z37\0\0s + ..controls z37\0\0c1 and z37\0\0c2..z37\0\0 + ..controls z37\0\1c1 and z37\0\1c2..z37\0\1 + ..controls z37\0\2c1 and z37\0\2c2..z37\0\2 + ..controls z37\0\3c1 and z37\0\3c2..z37\0\3 + --z37\0\4 + ..controls z37\0\5c1 and z37\0\5c2..z37\0\5 + --z37\0\6 + --z37\0\7 + ..controls z37\0\8c1 and z37\0\8c2..z37\0\8 + ..controls z37\0\9c1 and z37\0\9c2..z37\0\9 + ..controls z37\0\10c1 and z37\0\10c2..z37\0\10 + --cycle; + proof_labels ( + 37\0\0, + 37\0\1, + 37\0\2, + 37\0\3, + 37\0\4, + 37\0\5, + 37\0\6, + 37\0\7, + 37\0\8, + 37\0\9, + 37\0\10, + 37\0\11, +); +endchar; + +beginchar (TIB_VARSIX, 10.840u#, 6.745u#, 1.204u#); + "var.six"; + z38\0\0s = (0.482u,6.745u); + z38\0\0c1 = (0.635u,5.049u); + z38\0\0c2 = (1.587u,2.512u); + z38\0\0 = (2.740u,1.249u); + z38\0\1c1 = (4.177u,-0.324u); + z38\0\1c2 = (9.086u,-2.487u); + z38\0\1 = (10.274u,0.485u); + z38\0\2c1 = (10.360u,0.869u); + z38\0\2c2 = (10.376u,1.518u); + z38\0\2 = (10.274u,1.926u); + z38\0\3c1 = (10.283u,2.392u); + z38\0\3c2 = (10.185u,2.843u); + z38\0\3 = (9.773u,3.126u); + z38\0\4c1 = (8.996u,3.661u); + z38\0\4c2 = (6.756u,3.083u); + z38\0\4 = (5.920u,4.169u); + z38\0\5c1 = (5.781u,4.350u); + z38\0\5c2 = (5.689u,4.553u); + z38\0\5 = (5.724u,4.787u); + z38\0\6c1 = (5.907u,6.033u); + z38\0\6c2 = (9.034u,5.338u); + z38\0\6 = (9.877u,5.300u); + z38\0\7c1 = (9.801u,5.524u); + z38\0\7c2 = (9.784u,5.702u); + z38\0\7 = (9.635u,5.905u); + z38\0\8c1 = (9.403u,6.222u); + z38\0\8c2 = (9.029u,6.398u); + z38\0\8 = (8.668u,6.524u); + z38\0\9c1 = (6.925u,7.133u); + z38\0\9c2 = (4.393u,5.992u); + z38\0\9 = (5.015u,3.858u); + z38\0\10c1 = (5.223u,3.144u); + z38\0\10c2 = (5.584u,2.742u); + z38\0\10 = (6.274u,2.472u); + z38\0\11c1 = (7.075u,2.158u); + z38\0\11c2 = (7.853u,2.268u); + z38\0\11 = (8.669u,2.133u); + z38\0\12c1 = (9.311u,2.027u); + z38\0\12c2 = (10.098u,1.557u); + z38\0\12 = (9.645u,0.797u); + z38\0\13c1 = (9.283u,0.191u); + z38\0\13c2 = (8.315u,0.227u); + z38\0\13 = (7.709u,0.282u); + z38\0\14c1 = (4.613u,0.561u); + z38\0\14c2 = (3.269u,1.591u); + z38\0\14 = (1.869u,4.336u); + z38\0\15c1 = (1.456u,5.146u); + z38\0\15c2 = (1.132u,5.848u); + z38\0\15 = (0.964u,6.745u); + fill_or_unfill z38\0\0s + ..controls z38\0\0c1 and z38\0\0c2..z38\0\0 + ..controls z38\0\1c1 and z38\0\1c2..z38\0\1 + ..controls z38\0\2c1 and z38\0\2c2..z38\0\2 + ..controls z38\0\3c1 and z38\0\3c2..z38\0\3 + ..controls z38\0\4c1 and z38\0\4c2..z38\0\4 + ..controls z38\0\5c1 and z38\0\5c2..z38\0\5 + ..controls z38\0\6c1 and z38\0\6c2..z38\0\6 + ..controls z38\0\7c1 and z38\0\7c2..z38\0\7 + ..controls z38\0\8c1 and z38\0\8c2..z38\0\8 + ..controls z38\0\9c1 and z38\0\9c2..z38\0\9 + ..controls z38\0\10c1 and z38\0\10c2..z38\0\10 + ..controls z38\0\11c1 and z38\0\11c2..z38\0\11 + ..controls z38\0\12c1 and z38\0\12c2..z38\0\12 + ..controls z38\0\13c1 and z38\0\13c2..z38\0\13 + ..controls z38\0\14c1 and z38\0\14c2..z38\0\14 + ..controls z38\0\15c1 and z38\0\15c2..z38\0\15 + --cycle; + proof_labels ( + 38\0\0, + 38\0\1, + 38\0\2, + 38\0\3, + 38\0\4, + 38\0\5, + 38\0\6, + 38\0\7, + 38\0\8, + 38\0\9, + 38\0\10, + 38\0\11, + 38\0\12, + 38\0\13, + 38\0\14, + 38\0\15, + 38\0\16, +); +endchar; + +beginchar (TIB_VARSEVEN, 7.709u#, 6.745u#, 1.445u#); + "var.seven"; + z39\0\0s = (6.246u,6.745u); + z39\0\0c1 = (6.210u,6.408u); + z39\0\0c2 = (6.158u,6.128u); + z39\0\0 = (6.246u,5.782u); + z39\0\1c1 = (6.206u,5.205u); + z39\0\1c2 = (6.371u,4.683u); + z39\0\1 = (6.246u,4.095u); + z39\0\2c1 = (6.127u,2.695u); + z39\0\2c2 = (4.515u,0.421u); + z39\0\2 = (3.369u,-0.338u); + z39\0\3c1 = (3.047u,-0.552u); + z39\0\3c2 = (2.768u,-0.617u); + z39\0\3 = (2.409u,-0.723u); + z39\0\4c1 = (2.785u,-0.010u); + z39\0\4c2 = (3.377u,0.897u); + z39\0\4 = (3.515u,1.686u); + z39\0\5c1 = (3.857u,3.628u); + z39\0\5c2 = (1.631u,4.052u); + z39\0\5 = (0.723u,2.599u); + z39\0\6c1 = (0.583u,2.374u); + z39\0\6c2 = (0.557u,2.169u); + z39\0\6 = (0.482u,1.927u); + z39\0\7c1 = (0.955u,2.212u); + z39\0\7c2 = (1.711u,2.838u); + z39\0\7 = (2.222u,2.298u); + z39\0\8c1 = (3.042u,1.433u); + z39\0\8c2 = (1.669u,-0.442u); + z39\0\8 = (1.204u,-1.204u); + z39\0\9c1 = (1.861u,-1.204u); + z39\0\9c2 = (2.762u,-1.260u); + z39\0\9 = (3.372u,-1.027u); + z39\0\10c1 = (4.956u,-0.421u); + z39\0\10c2 = (6.992u,2.646u); + z39\0\10 = (7.182u,4.336u); + z39\0\11c1 = (7.289u,5.287u); + z39\0\11c2 = (7.071u,5.877u); + z39\0\11 = (6.745u,6.745u); + fill_or_unfill z39\0\0s + ..controls z39\0\0c1 and z39\0\0c2..z39\0\0 + ..controls z39\0\1c1 and z39\0\1c2..z39\0\1 + ..controls z39\0\2c1 and z39\0\2c2..z39\0\2 + ..controls z39\0\3c1 and z39\0\3c2..z39\0\3 + ..controls z39\0\4c1 and z39\0\4c2..z39\0\4 + ..controls z39\0\5c1 and z39\0\5c2..z39\0\5 + ..controls z39\0\6c1 and z39\0\6c2..z39\0\6 + ..controls z39\0\7c1 and z39\0\7c2..z39\0\7 + ..controls z39\0\8c1 and z39\0\8c2..z39\0\8 + ..controls z39\0\9c1 and z39\0\9c2..z39\0\9 + ..controls z39\0\10c1 and z39\0\10c2..z39\0\10 + ..controls z39\0\11c1 and z39\0\11c2..z39\0\11 + --cycle; + proof_labels ( + 39\0\0, + 39\0\1, + 39\0\2, + 39\0\3, + 39\0\4, + 39\0\5, + 39\0\6, + 39\0\7, + 39\0\8, + 39\0\9, + 39\0\10, + 39\0\11, + 39\0\12, +); +endchar; + +beginchar (TIB_VAREIGHT, 7.950u#, 6.022u#, 2.891u#); + "var.eight"; + z40\0\0s = (0.482u,0.000u); + z40\0\0c1 = (0.952u,0.112u); + z40\0\0c2 = (1.441u,0.274u); + z40\0\0 = (1.927u,0.280u); + z40\0\1c1 = (3.089u,0.294u); + z40\0\1c2 = (4.686u,-0.411u); + z40\0\1 = (5.491u,-1.229u); + z40\0\2c1 = (6.338u,-2.090u); + z40\0\2c2 = (6.163u,-2.426u); + z40\0\2 = (7.468u,-2.650u); + z40\0\3c1 = (6.780u,0.090u); + z40\0\3c2 = (4.731u,1.086u); + z40\0\3 = (2.168u,1.686u); + z40\0\4c1 = (2.983u,2.501u); + z40\0\4c2 = (5.070u,4.403u); + z40\0\4 = (5.540u,5.300u); + z40\0\5 = (5.782u,6.022u); + z40\0\6c1 = (5.421u,5.916u); + z40\0\6c2 = (5.144u,5.849u); + z40\0\6 = (4.818u,5.638u); + z40\0\7c1 = (4.117u,5.185u); + z40\0\7c2 = (1.080u,2.149u); + z40\0\7 = (0.728u,1.445u); + z40\0\8c1 = (0.494u,0.978u); + z40\0\8c2 = (0.499u,0.507u); + fill_or_unfill z40\0\0s + ..controls z40\0\0c1 and z40\0\0c2..z40\0\0 + ..controls z40\0\1c1 and z40\0\1c2..z40\0\1 + ..controls z40\0\2c1 and z40\0\2c2..z40\0\2 + ..controls z40\0\3c1 and z40\0\3c2..z40\0\3 + ..controls z40\0\4c1 and z40\0\4c2..z40\0\4 + --z40\0\5 + ..controls z40\0\6c1 and z40\0\6c2..z40\0\6 + ..controls z40\0\7c1 and z40\0\7c2..z40\0\7 + ..controls z40\0\8c1 and z40\0\8c2..cycle; + proof_labels ( + 40\0\0, + 40\0\1, + 40\0\2, + 40\0\3, + 40\0\4, + 40\0\5, + 40\0\6, + 40\0\7, + 40\0\8, +); +endchar; + +beginchar (TIB_VARNINE, 7.709u#, 6.745u#, 0.723u#); + "var.nine"; + z41\0\0s = (1.686u,-0.482u); + z41\0\0c1 = (1.392u,0.455u); + z41\0\0c2 = (0.883u,1.660u); + z41\0\0 = (1.067u,2.650u); + z41\0\1c1 = (1.305u,3.935u); + z41\0\1c2 = (3.146u,5.902u); + z41\0\1 = (4.566u,5.655u); + z41\0\2c1 = (5.016u,5.577u); + z41\0\2c2 = (5.225u,5.348u); + z41\0\2 = (5.541u,5.059u); + z41\0\3c1 = (3.779u,4.534u); + z41\0\3c2 = (3.529u,3.221u); + z41\0\3 = (5.541u,2.891u); + z41\0\4 = (4.577u,3.854u); + z41\0\5c1 = (5.225u,4.048u); + z41\0\5c2 = (6.171u,4.267u); + z41\0\5 = (6.668u,4.733u); + z41\0\6c1 = (6.893u,4.944u); + z41\0\6c2 = (7.076u,5.204u); + z41\0\6 = (7.076u,5.525u); + z41\0\7c1 = (7.076u,6.552u); + z41\0\7c2 = (5.323u,6.760u); + z41\0\7 = (4.577u,6.720u); + z41\0\8c1 = (3.828u,6.679u); + z41\0\8c2 = (2.596u,6.341u); + z41\0\8 = (2.020u,5.854u); + z41\0\9c1 = (1.498u,5.412u); + z41\0\9c2 = (0.744u,4.039u); + z41\0\9 = (0.582u,3.372u); + z41\0\10c1 = (0.369u,2.501u); + z41\0\10c2 = (0.412u,0.806u); + z41\0\10 = (0.965u,0.071u); + z41\0\11c1 = (1.181u,-0.218u); + z41\0\11c2 = (1.391u,-0.309u); + fill_or_unfill z41\0\0s + ..controls z41\0\0c1 and z41\0\0c2..z41\0\0 + ..controls z41\0\1c1 and z41\0\1c2..z41\0\1 + ..controls z41\0\2c1 and z41\0\2c2..z41\0\2 + ..controls z41\0\3c1 and z41\0\3c2..z41\0\3 + --z41\0\4 + ..controls z41\0\5c1 and z41\0\5c2..z41\0\5 + ..controls z41\0\6c1 and z41\0\6c2..z41\0\6 + ..controls z41\0\7c1 and z41\0\7c2..z41\0\7 + ..controls z41\0\8c1 and z41\0\8c2..z41\0\8 + ..controls z41\0\9c1 and z41\0\9c2..z41\0\9 + ..controls z41\0\10c1 and z41\0\10c2..z41\0\10 + ..controls z41\0\11c1 and z41\0\11c2..cycle; + proof_labels ( + 41\0\0, + 41\0\1, + 41\0\2, + 41\0\3, + 41\0\4, + 41\0\5, + 41\0\6, + 41\0\7, + 41\0\8, + 41\0\9, + 41\0\10, + 41\0\11, +); +endchar; + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +% The file ctibnum.mf ends here. +% |