- change df-pnf and df-mnf to use rru
- Remove ax-icn ax-addcl ax-mulcl ax-i2m1 ax-cnre in 00id by
- 0cnALT3
- 00idlem: real hypotheses version of adddir where addcl is circumvented through addrcl and resscn
- mulcom and ax-1rid in step 18 instead of mulid2i (maybe introduce remulid1i and remulid2i)
- addition and multiplication with only digits one through nine; see comment at metamath/set.mm#2947
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
SplineFontDB: 3.2 | |
FontName: Aricmes | |
FullName: Aricmes | |
FamilyName: Aricmes | |
Weight: Regular | |
Copyright: Copyright (c) 2021-2023, Steven Nguyen | |
UComments: "2021-11-21: Created with FontForge (http://fontforge.org)+AAoA-Aricmes! The second font I'm creating, preceded by Semcira.+AAoACgAA-This font will be serif, with a closed 4, and double storied gs and as! But joined w. And descended j.+AAoA-I defined groups based on unicode. So far the first block, Basic Latin, is properly groupified.+AAoACgAA-TODO: i and n have different bearings, why?+AAoACgAA-I think it would be useful to use dotless as a part for i, so I add [C1 Controls and Latin-1 Supplement] and Latin-Extended A into the groups. Note that the groups are based on unicode.+AAoACgAA-I've decided to not add extraneous groups until I finish the first block of characters+AAoACgAi-e+ACIA: Looks amazing but doesn't fit super well, probably because there's less contrast+AAoACgAA-Spacing:+AAoA-Horizontal serif goes from 31 to 44 height, stem is +AH4A 90+AAoA-Space |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# Detect operating system in Makefile. | |
# Author: He Tao | |
# Date: 2015-05-30 | |
OSFLAG := | |
ifeq ($(OS),Windows_NT) | |
OSFLAG += -D WIN32 | |
ifeq ($(PROCESSOR_ARCHITECTURE),AMD64) | |
OSFLAG += -D AMD64 | |
endif |
This file shows all syntax alternatives suggested here: sveltejs/svelte#2968
Recommended: sveltejs/svelte#4401 (comment)
{#each { length: n } as _, i}
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
2 | 3 | 5 | 7 | 11 | 13 | 17 | 19 | 23 | 29 | 31 | 37 | 41 | 43 | 47 | 53 | 59 | 61 | 67 | 71 | 73 | 79 | 83 | 89 | 97 | 101 | 103 | 107 | 109 | 113 | 127 | 131 | 137 | 139 | 149 | 151 | 157 | 163 | 167 | 173 | 179 | 181 | 191 | 193 | 197 | 199 | 211 | 223 | 227 | 229 | 233 | 239 | 241 | 251 | 257 | 263 | 269 | 271 | 277 | 281 | 283 | 293 | 307 | 311 | 313 | 317 | 331 | 337 | 347 | 349 | 353 | 359 | 367 | 373 | 379 | 383 | 389 | 397 | 401 | 409 | 419 | 421 | 431 | 433 | 439 | 443 | 449 | 457 | 461 | 463 | 467 | 479 | 487 | 491 | 499 | 503 | 509 | 521 | 523 | 541 | 547 | 557 | 563 | 569 | 571 | 577 | 587 | 593 | 599 | 601 | 607 | 613 | 617 | 619 | 631 | 641 | 643 | 647 | 653 | 659 | 661 | 673 | 677 | 683 | 691 | 701 | 709 | 719 | 727 | 733 | 739 | 743 | 751 | 757 | 761 | 769 | 773 | 787 | 797 | 809 | 811 | 821 | 823 | 827 | 829 | 839 | 853 | 857 | 859 | 863 | 877 | 881 | 883 | 887 | 907 | 911 | 919 | 929 | 937 | 941 | 947 | 953 | 967 | 971 | 977 | 983 | 991 | 997 | 1009 | 1013 | 1019 | 1021 | 1031 | 1033 | 1039 | 1049 | 1051 | 1061 | 1063 | 1069 | 1087 | 1091 | 1093 | 1097 | 1103 | 1109 | 1117 | 1123 | 1129 | 1151 | 1153 | 1163 | 1171 | 1181 | 1187 | 1193 | 1201 | 1213 | 1217 | 1223 | 1229 | 1231 | 1237 | 1249 | 1259 | 1277 | 1279 | 1283 | 1289 | 1291 | 1297 | 1301 | 1303 | 1307 | 1319 | 1321 | 1327 | 1361 | 1367 | 1373 | 1381 | 1399 | 1409 | 1423 | 1427 | 1429 | 1433 | 1439 | 1447 | 1451 | 1453 | 1459 | 1471 | 1481 | 1483 | 1487 | 1489 | 1493 | 1499 | 1511 | 1523 | 1531 | 1543 | 1549 | 1 |
---|