changeset 2676 | 585cd2311a98 |
parent 2674 | 4385d521a691 |
2675:e2908f8edc8d | 2676:585cd2311a98 |
---|---|
2464 ENDCHAR |
2464 ENDCHAR |
2465 STARTCHAR sqsubseteq |
2465 STARTCHAR sqsubseteq |
2466 ENCODING 221 |
2466 ENCODING 221 |
2467 SWIDTH 666 0 |
2467 SWIDTH 666 0 |
2468 DWIDTH 9 0 |
2468 DWIDTH 9 0 |
2469 BBX 6 6 1 1 |
2469 BBX 6 7 1 0 |
2470 BITMAP |
2470 BITMAP |
2471 fc |
2471 fc |
2472 80 |
|
2472 80 |
2473 80 |
2473 80 |
2474 80 |
2474 fc |
2475 fc |
2475 00 |
2476 00 |
2476 fc |
2477 fc |
2816 9080 |
2817 9080 |
2817 6100 |
2818 6100 |
2818 2200 |
2819 2200 |
2819 1c00 |
2820 1c00 |
2820 ENDCHAR |
2821 ENDCHAR |
2821 STARTCHAR natural |
2822 STARTCHAR subset |
2822 ENCODING 247 |
2823 ENCODING 247 |
2823 SWIDTH 600 0 |
2824 SWIDTH 666 0 |
2824 DWIDTH 9 0 |
2825 DWIDTH 9 0 |
2825 BBX 4 9 2 0 |
2826 BBX 6 10 1 -2 |
2826 BITMAP |
2827 BITMAP |
2827 80 |
2828 7c |
2828 90 |
2829 80 |
2829 b0 |
2830 80 |
2830 d0 |
2831 80 |
2831 90 |
2832 7c |
2832 b0 |
2833 00 |
2833 d0 |
2834 00 |
2834 90 |
2835 00 |
2835 10 |
2836 00 |
2837 00 |
|
2836 ENDCHAR |
2838 ENDCHAR |
2837 STARTCHAR infinity |
2839 STARTCHAR infinity |
2838 ENCODING 248 |
2840 ENCODING 248 |
2839 SWIDTH 666 0 |
2841 SWIDTH 666 0 |
2840 DWIDTH 9 0 |
2842 DWIDTH 9 0 |