├── .gitignore ├── LICENSE ├── README.md ├── TODO.md ├── index.html ├── jsconfig.json ├── package.json ├── postcss.config.js ├── public ├── favicon.png ├── icons │ ├── github-mark-white.svg │ ├── notebook-icon.svg │ └── settings-icon.svg ├── manifest.json └── sitemap.xml ├── screenshot.png ├── src ├── App.svelte ├── assets │ ├── main.css │ └── swap-icon.svg ├── components │ ├── CopiedToast.svelte │ ├── SettingsDialog.svelte │ └── ToggleSwitch.svelte ├── converter.js ├── default-settings.js ├── main.js ├── random.js ├── sw.js └── template │ ├── cheat-sheet.toml │ ├── cheat-sheet.tp.html │ └── impl-in-typst.md ├── svelte.config.js ├── tailwind.config.js ├── test └── converter.test.js ├── tools ├── make-cheat-sheet-html.js ├── make-impl-in-typst-html.js └── make_icon.py ├── vite.config.js └── yarn.lock /.gitignore: -------------------------------------------------------------------------------- 1 | .vscode/ 2 | .idea/ 3 | 4 | node_modules/ 5 | dist/ 6 | public/cheat-sheet.html 7 | public/impl-in-typst.html 8 | public/sw.js 9 | .vite-ssg-temp/ 10 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- 1 | GNU GENERAL PUBLIC LICENSE 2 | Version 3, 29 June 2007 3 | 4 | Copyright (C) 2007 Free Software Foundation, Inc. 5 | Everyone is permitted to copy and distribute verbatim copies 6 | of this license document, but changing it is not allowed. 7 | 8 | Preamble 9 | 10 | The GNU General Public License is a free, copyleft license for 11 | software and other kinds of works. 12 | 13 | The licenses for most software and other practical works are designed 14 | to take away your freedom to share and change the works. By contrast, 15 | the GNU General Public License is intended to guarantee your freedom to 16 | share and change all versions of a program--to make sure it remains free 17 | software for all its users. We, the Free Software Foundation, use the 18 | GNU General Public License for most of our software; it applies also to 19 | any other work released this way by its authors. You can apply it to 20 | your programs, too. 21 | 22 | When we speak of free software, we are referring to freedom, not 23 | price. Our General Public Licenses are designed to make sure that you 24 | have the freedom to distribute copies of free software (and charge for 25 | them if you wish), that you receive source code or can get it if you 26 | want it, that you can change the software or use pieces of it in new 27 | free programs, and that you know you can do these things. 28 | 29 | To protect your rights, we need to prevent others from denying you 30 | these rights or asking you to surrender the rights. Therefore, you have 31 | certain responsibilities if you distribute copies of the software, or if 32 | you modify it: responsibilities to respect the freedom of others. 33 | 34 | For example, if you distribute copies of such a program, whether 35 | gratis or for a fee, you must pass on to the recipients the same 36 | freedoms that you received. You must make sure that they, too, receive 37 | or can get the source code. And you must show them these terms so they 38 | know their rights. 39 | 40 | Developers that use the GNU GPL protect your rights with two steps: 41 | (1) assert copyright on the software, and (2) offer you this License 42 | giving you legal permission to copy, distribute and/or modify it. 43 | 44 | For the developers' and authors' protection, the GPL clearly explains 45 | that there is no warranty for this free software. For both users' and 46 | authors' sake, the GPL requires that modified versions be marked as 47 | changed, so that their problems will not be attributed erroneously to 48 | authors of previous versions. 49 | 50 | Some devices are designed to deny users access to install or run 51 | modified versions of the software inside them, although the manufacturer 52 | can do so. This is fundamentally incompatible with the aim of 53 | protecting users' freedom to change the software. The systematic 54 | pattern of such abuse occurs in the area of products for individuals to 55 | use, which is precisely where it is most unacceptable. Therefore, we 56 | have designed this version of the GPL to prohibit the practice for those 57 | products. If such problems arise substantially in other domains, we 58 | stand ready to extend this provision to those domains in future versions 59 | of the GPL, as needed to protect the freedom of users. 60 | 61 | Finally, every program is threatened constantly by software patents. 62 | States should not allow patents to restrict development and use of 63 | software on general-purpose computers, but in those that do, we wish to 64 | avoid the special danger that patents applied to a free program could 65 | make it effectively proprietary. To prevent this, the GPL assures that 66 | patents cannot be used to render the program non-free. 67 | 68 | The precise terms and conditions for copying, distribution and 69 | modification follow. 70 | 71 | TERMS AND CONDITIONS 72 | 73 | 0. Definitions. 74 | 75 | "This License" refers to version 3 of the GNU General Public License. 76 | 77 | "Copyright" also means copyright-like laws that apply to other kinds of 78 | works, such as semiconductor masks. 79 | 80 | "The Program" refers to any copyrightable work licensed under this 81 | License. Each licensee is addressed as "you". "Licensees" and 82 | "recipients" may be individuals or organizations. 83 | 84 | To "modify" a work means to copy from or adapt all or part of the work 85 | in a fashion requiring copyright permission, other than the making of an 86 | exact copy. The resulting work is called a "modified version" of the 87 | earlier work or a work "based on" the earlier work. 88 | 89 | A "covered work" means either the unmodified Program or a work based 90 | on the Program. 91 | 92 | To "propagate" a work means to do anything with it that, without 93 | permission, would make you directly or secondarily liable for 94 | infringement under applicable copyright law, except executing it on a 95 | computer or modifying a private copy. Propagation includes copying, 96 | distribution (with or without modification), making available to the 97 | public, and in some countries other activities as well. 98 | 99 | To "convey" a work means any kind of propagation that enables other 100 | parties to make or receive copies. Mere interaction with a user through 101 | a computer network, with no transfer of a copy, is not conveying. 102 | 103 | An interactive user interface displays "Appropriate Legal Notices" 104 | to the extent that it includes a convenient and prominently visible 105 | feature that (1) displays an appropriate copyright notice, and (2) 106 | tells the user that there is no warranty for the work (except to the 107 | extent that warranties are provided), that licensees may convey the 108 | work under this License, and how to view a copy of this License. If 109 | the interface presents a list of user commands or options, such as a 110 | menu, a prominent item in the list meets this criterion. 111 | 112 | 1. Source Code. 113 | 114 | The "source code" for a work means the preferred form of the work 115 | for making modifications to it. "Object code" means any non-source 116 | form of a work. 117 | 118 | A "Standard Interface" means an interface that either is an official 119 | standard defined by a recognized standards body, or, in the case of 120 | interfaces specified for a particular programming language, one that 121 | is widely used among developers working in that language. 122 | 123 | The "System Libraries" of an executable work include anything, other 124 | than the work as a whole, that (a) is included in the normal form of 125 | packaging a Major Component, but which is not part of that Major 126 | Component, and (b) serves only to enable use of the work with that 127 | Major Component, or to implement a Standard Interface for which an 128 | implementation is available to the public in source code form. A 129 | "Major Component", in this context, means a major essential component 130 | (kernel, window system, and so on) of the specific operating system 131 | (if any) on which the executable work runs, or a compiler used to 132 | produce the work, or an object code interpreter used to run it. 133 | 134 | The "Corresponding Source" for a work in object code form means all 135 | the source code needed to generate, install, and (for an executable 136 | work) run the object code and to modify the work, including scripts to 137 | control those activities. However, it does not include the work's 138 | System Libraries, or general-purpose tools or generally available free 139 | programs which are used unmodified in performing those activities but 140 | which are not part of the work. For example, Corresponding Source 141 | includes interface definition files associated with source files for 142 | the work, and the source code for shared libraries and dynamically 143 | linked subprograms that the work is specifically designed to require, 144 | such as by intimate data communication or control flow between those 145 | subprograms and other parts of the work. 146 | 147 | The Corresponding Source need not include anything that users 148 | can regenerate automatically from other parts of the Corresponding 149 | Source. 150 | 151 | The Corresponding Source for a work in source code form is that 152 | same work. 153 | 154 | 2. Basic Permissions. 155 | 156 | All rights granted under this License are granted for the term of 157 | copyright on the Program, and are irrevocable provided the stated 158 | conditions are met. This License explicitly affirms your unlimited 159 | permission to run the unmodified Program. The output from running a 160 | covered work is covered by this License only if the output, given its 161 | content, constitutes a covered work. This License acknowledges your 162 | rights of fair use or other equivalent, as provided by copyright law. 163 | 164 | You may make, run and propagate covered works that you do not 165 | convey, without conditions so long as your license otherwise remains 166 | in force. You may convey covered works to others for the sole purpose 167 | of having them make modifications exclusively for you, or provide you 168 | with facilities for running those works, provided that you comply with 169 | the terms of this License in conveying all material for which you do 170 | not control copyright. Those thus making or running the covered works 171 | for you must do so exclusively on your behalf, under your direction 172 | and control, on terms that prohibit them from making any copies of 173 | your copyrighted material outside their relationship with you. 174 | 175 | Conveying under any other circumstances is permitted solely under 176 | the conditions stated below. Sublicensing is not allowed; section 10 177 | makes it unnecessary. 178 | 179 | 3. Protecting Users' Legal Rights From Anti-Circumvention Law. 180 | 181 | No covered work shall be deemed part of an effective technological 182 | measure under any applicable law fulfilling obligations under article 183 | 11 of the WIPO copyright treaty adopted on 20 December 1996, or 184 | similar laws prohibiting or restricting circumvention of such 185 | measures. 186 | 187 | When you convey a covered work, you waive any legal power to forbid 188 | circumvention of technological measures to the extent such circumvention 189 | is effected by exercising rights under this License with respect to 190 | the covered work, and you disclaim any intention to limit operation or 191 | modification of the work as a means of enforcing, against the work's 192 | users, your or third parties' legal rights to forbid circumvention of 193 | technological measures. 194 | 195 | 4. Conveying Verbatim Copies. 196 | 197 | You may convey verbatim copies of the Program's source code as you 198 | receive it, in any medium, provided that you conspicuously and 199 | appropriately publish on each copy an appropriate copyright notice; 200 | keep intact all notices stating that this License and any 201 | non-permissive terms added in accord with section 7 apply to the code; 202 | keep intact all notices of the absence of any warranty; and give all 203 | recipients a copy of this License along with the Program. 204 | 205 | You may charge any price or no price for each copy that you convey, 206 | and you may offer support or warranty protection for a fee. 207 | 208 | 5. Conveying Modified Source Versions. 209 | 210 | You may convey a work based on the Program, or the modifications to 211 | produce it from the Program, in the form of source code under the 212 | terms of section 4, provided that you also meet all of these conditions: 213 | 214 | a) The work must carry prominent notices stating that you modified 215 | it, and giving a relevant date. 216 | 217 | b) The work must carry prominent notices stating that it is 218 | released under this License and any conditions added under section 219 | 7. This requirement modifies the requirement in section 4 to 220 | "keep intact all notices". 221 | 222 | c) You must license the entire work, as a whole, under this 223 | License to anyone who comes into possession of a copy. This 224 | License will therefore apply, along with any applicable section 7 225 | additional terms, to the whole of the work, and all its parts, 226 | regardless of how they are packaged. This License gives no 227 | permission to license the work in any other way, but it does not 228 | invalidate such permission if you have separately received it. 229 | 230 | d) If the work has interactive user interfaces, each must display 231 | Appropriate Legal Notices; however, if the Program has interactive 232 | interfaces that do not display Appropriate Legal Notices, your 233 | work need not make them do so. 234 | 235 | A compilation of a covered work with other separate and independent 236 | works, which are not by their nature extensions of the covered work, 237 | and which are not combined with it such as to form a larger program, 238 | in or on a volume of a storage or distribution medium, is called an 239 | "aggregate" if the compilation and its resulting copyright are not 240 | used to limit the access or legal rights of the compilation's users 241 | beyond what the individual works permit. Inclusion of a covered work 242 | in an aggregate does not cause this License to apply to the other 243 | parts of the aggregate. 244 | 245 | 6. Conveying Non-Source Forms. 246 | 247 | You may convey a covered work in object code form under the terms 248 | of sections 4 and 5, provided that you also convey the 249 | machine-readable Corresponding Source under the terms of this License, 250 | in one of these ways: 251 | 252 | a) Convey the object code in, or embodied in, a physical product 253 | (including a physical distribution medium), accompanied by the 254 | Corresponding Source fixed on a durable physical medium 255 | customarily used for software interchange. 256 | 257 | b) Convey the object code in, or embodied in, a physical product 258 | (including a physical distribution medium), accompanied by a 259 | written offer, valid for at least three years and valid for as 260 | long as you offer spare parts or customer support for that product 261 | model, to give anyone who possesses the object code either (1) a 262 | copy of the Corresponding Source for all the software in the 263 | product that is covered by this License, on a durable physical 264 | medium customarily used for software interchange, for a price no 265 | more than your reasonable cost of physically performing this 266 | conveying of source, or (2) access to copy the 267 | Corresponding Source from a network server at no charge. 268 | 269 | c) Convey individual copies of the object code with a copy of the 270 | written offer to provide the Corresponding Source. This 271 | alternative is allowed only occasionally and noncommercially, and 272 | only if you received the object code with such an offer, in accord 273 | with subsection 6b. 274 | 275 | d) Convey the object code by offering access from a designated 276 | place (gratis or for a charge), and offer equivalent access to the 277 | Corresponding Source in the same way through the same place at no 278 | further charge. You need not require recipients to copy the 279 | Corresponding Source along with the object code. If the place to 280 | copy the object code is a network server, the Corresponding Source 281 | may be on a different server (operated by you or a third party) 282 | that supports equivalent copying facilities, provided you maintain 283 | clear directions next to the object code saying where to find the 284 | Corresponding Source. Regardless of what server hosts the 285 | Corresponding Source, you remain obligated to ensure that it is 286 | available for as long as needed to satisfy these requirements. 287 | 288 | e) Convey the object code using peer-to-peer transmission, provided 289 | you inform other peers where the object code and Corresponding 290 | Source of the work are being offered to the general public at no 291 | charge under subsection 6d. 292 | 293 | A separable portion of the object code, whose source code is excluded 294 | from the Corresponding Source as a System Library, need not be 295 | included in conveying the object code work. 296 | 297 | A "User Product" is either (1) a "consumer product", which means any 298 | tangible personal property which is normally used for personal, family, 299 | or household purposes, or (2) anything designed or sold for incorporation 300 | into a dwelling. In determining whether a product is a consumer product, 301 | doubtful cases shall be resolved in favor of coverage. For a particular 302 | product received by a particular user, "normally used" refers to a 303 | typical or common use of that class of product, regardless of the status 304 | of the particular user or of the way in which the particular user 305 | actually uses, or expects or is expected to use, the product. A product 306 | is a consumer product regardless of whether the product has substantial 307 | commercial, industrial or non-consumer uses, unless such uses represent 308 | the only significant mode of use of the product. 309 | 310 | "Installation Information" for a User Product means any methods, 311 | procedures, authorization keys, or other information required to install 312 | and execute modified versions of a covered work in that User Product from 313 | a modified version of its Corresponding Source. The information must 314 | suffice to ensure that the continued functioning of the modified object 315 | code is in no case prevented or interfered with solely because 316 | modification has been made. 317 | 318 | If you convey an object code work under this section in, or with, or 319 | specifically for use in, a User Product, and the conveying occurs as 320 | part of a transaction in which the right of possession and use of the 321 | User Product is transferred to the recipient in perpetuity or for a 322 | fixed term (regardless of how the transaction is characterized), the 323 | Corresponding Source conveyed under this section must be accompanied 324 | by the Installation Information. But this requirement does not apply 325 | if neither you nor any third party retains the ability to install 326 | modified object code on the User Product (for example, the work has 327 | been installed in ROM). 328 | 329 | The requirement to provide Installation Information does not include a 330 | requirement to continue to provide support service, warranty, or updates 331 | for a work that has been modified or installed by the recipient, or for 332 | the User Product in which it has been modified or installed. Access to a 333 | network may be denied when the modification itself materially and 334 | adversely affects the operation of the network or violates the rules and 335 | protocols for communication across the network. 336 | 337 | Corresponding Source conveyed, and Installation Information provided, 338 | in accord with this section must be in a format that is publicly 339 | documented (and with an implementation available to the public in 340 | source code form), and must require no special password or key for 341 | unpacking, reading or copying. 342 | 343 | 7. Additional Terms. 344 | 345 | "Additional permissions" are terms that supplement the terms of this 346 | License by making exceptions from one or more of its conditions. 347 | Additional permissions that are applicable to the entire Program shall 348 | be treated as though they were included in this License, to the extent 349 | that they are valid under applicable law. If additional permissions 350 | apply only to part of the Program, that part may be used separately 351 | under those permissions, but the entire Program remains governed by 352 | this License without regard to the additional permissions. 353 | 354 | When you convey a copy of a covered work, you may at your option 355 | remove any additional permissions from that copy, or from any part of 356 | it. (Additional permissions may be written to require their own 357 | removal in certain cases when you modify the work.) You may place 358 | additional permissions on material, added by you to a covered work, 359 | for which you have or can give appropriate copyright permission. 360 | 361 | Notwithstanding any other provision of this License, for material you 362 | add to a covered work, you may (if authorized by the copyright holders of 363 | that material) supplement the terms of this License with terms: 364 | 365 | a) Disclaiming warranty or limiting liability differently from the 366 | terms of sections 15 and 16 of this License; or 367 | 368 | b) Requiring preservation of specified reasonable legal notices or 369 | author attributions in that material or in the Appropriate Legal 370 | Notices displayed by works containing it; or 371 | 372 | c) Prohibiting misrepresentation of the origin of that material, or 373 | requiring that modified versions of such material be marked in 374 | reasonable ways as different from the original version; or 375 | 376 | d) Limiting the use for publicity purposes of names of licensors or 377 | authors of the material; or 378 | 379 | e) Declining to grant rights under trademark law for use of some 380 | trade names, trademarks, or service marks; or 381 | 382 | f) Requiring indemnification of licensors and authors of that 383 | material by anyone who conveys the material (or modified versions of 384 | it) with contractual assumptions of liability to the recipient, for 385 | any liability that these contractual assumptions directly impose on 386 | those licensors and authors. 387 | 388 | All other non-permissive additional terms are considered "further 389 | restrictions" within the meaning of section 10. If the Program as you 390 | received it, or any part of it, contains a notice stating that it is 391 | governed by this License along with a term that is a further 392 | restriction, you may remove that term. If a license document contains 393 | a further restriction but permits relicensing or conveying under this 394 | License, you may add to a covered work material governed by the terms 395 | of that license document, provided that the further restriction does 396 | not survive such relicensing or conveying. 397 | 398 | If you add terms to a covered work in accord with this section, you 399 | must place, in the relevant source files, a statement of the 400 | additional terms that apply to those files, or a notice indicating 401 | where to find the applicable terms. 402 | 403 | Additional terms, permissive or non-permissive, may be stated in the 404 | form of a separately written license, or stated as exceptions; 405 | the above requirements apply either way. 406 | 407 | 8. Termination. 408 | 409 | You may not propagate or modify a covered work except as expressly 410 | provided under this License. Any attempt otherwise to propagate or 411 | modify it is void, and will automatically terminate your rights under 412 | this License (including any patent licenses granted under the third 413 | paragraph of section 11). 414 | 415 | However, if you cease all violation of this License, then your 416 | license from a particular copyright holder is reinstated (a) 417 | provisionally, unless and until the copyright holder explicitly and 418 | finally terminates your license, and (b) permanently, if the copyright 419 | holder fails to notify you of the violation by some reasonable means 420 | prior to 60 days after the cessation. 421 | 422 | Moreover, your license from a particular copyright holder is 423 | reinstated permanently if the copyright holder notifies you of the 424 | violation by some reasonable means, this is the first time you have 425 | received notice of violation of this License (for any work) from that 426 | copyright holder, and you cure the violation prior to 30 days after 427 | your receipt of the notice. 428 | 429 | Termination of your rights under this section does not terminate the 430 | licenses of parties who have received copies or rights from you under 431 | this License. If your rights have been terminated and not permanently 432 | reinstated, you do not qualify to receive new licenses for the same 433 | material under section 10. 434 | 435 | 9. Acceptance Not Required for Having Copies. 436 | 437 | You are not required to accept this License in order to receive or 438 | run a copy of the Program. Ancillary propagation of a covered work 439 | occurring solely as a consequence of using peer-to-peer transmission 440 | to receive a copy likewise does not require acceptance. However, 441 | nothing other than this License grants you permission to propagate or 442 | modify any covered work. These actions infringe copyright if you do 443 | not accept this License. Therefore, by modifying or propagating a 444 | covered work, you indicate your acceptance of this License to do so. 445 | 446 | 10. Automatic Licensing of Downstream Recipients. 447 | 448 | Each time you convey a covered work, the recipient automatically 449 | receives a license from the original licensors, to run, modify and 450 | propagate that work, subject to this License. You are not responsible 451 | for enforcing compliance by third parties with this License. 452 | 453 | An "entity transaction" is a transaction transferring control of an 454 | organization, or substantially all assets of one, or subdividing an 455 | organization, or merging organizations. If propagation of a covered 456 | work results from an entity transaction, each party to that 457 | transaction who receives a copy of the work also receives whatever 458 | licenses to the work the party's predecessor in interest had or could 459 | give under the previous paragraph, plus a right to possession of the 460 | Corresponding Source of the work from the predecessor in interest, if 461 | the predecessor has it or can get it with reasonable efforts. 462 | 463 | You may not impose any further restrictions on the exercise of the 464 | rights granted or affirmed under this License. For example, you may 465 | not impose a license fee, royalty, or other charge for exercise of 466 | rights granted under this License, and you may not initiate litigation 467 | (including a cross-claim or counterclaim in a lawsuit) alleging that 468 | any patent claim is infringed by making, using, selling, offering for 469 | sale, or importing the Program or any portion of it. 470 | 471 | 11. Patents. 472 | 473 | A "contributor" is a copyright holder who authorizes use under this 474 | License of the Program or a work on which the Program is based. The 475 | work thus licensed is called the contributor's "contributor version". 476 | 477 | A contributor's "essential patent claims" are all patent claims 478 | owned or controlled by the contributor, whether already acquired or 479 | hereafter acquired, that would be infringed by some manner, permitted 480 | by this License, of making, using, or selling its contributor version, 481 | but do not include claims that would be infringed only as a 482 | consequence of further modification of the contributor version. For 483 | purposes of this definition, "control" includes the right to grant 484 | patent sublicenses in a manner consistent with the requirements of 485 | this License. 486 | 487 | Each contributor grants you a non-exclusive, worldwide, royalty-free 488 | patent license under the contributor's essential patent claims, to 489 | make, use, sell, offer for sale, import and otherwise run, modify and 490 | propagate the contents of its contributor version. 491 | 492 | In the following three paragraphs, a "patent license" is any express 493 | agreement or commitment, however denominated, not to enforce a patent 494 | (such as an express permission to practice a patent or covenant not to 495 | sue for patent infringement). To "grant" such a patent license to a 496 | party means to make such an agreement or commitment not to enforce a 497 | patent against the party. 498 | 499 | If you convey a covered work, knowingly relying on a patent license, 500 | and the Corresponding Source of the work is not available for anyone 501 | to copy, free of charge and under the terms of this License, through a 502 | publicly available network server or other readily accessible means, 503 | then you must either (1) cause the Corresponding Source to be so 504 | available, or (2) arrange to deprive yourself of the benefit of the 505 | patent license for this particular work, or (3) arrange, in a manner 506 | consistent with the requirements of this License, to extend the patent 507 | license to downstream recipients. "Knowingly relying" means you have 508 | actual knowledge that, but for the patent license, your conveying the 509 | covered work in a country, or your recipient's use of the covered work 510 | in a country, would infringe one or more identifiable patents in that 511 | country that you have reason to believe are valid. 512 | 513 | If, pursuant to or in connection with a single transaction or 514 | arrangement, you convey, or propagate by procuring conveyance of, a 515 | covered work, and grant a patent license to some of the parties 516 | receiving the covered work authorizing them to use, propagate, modify 517 | or convey a specific copy of the covered work, then the patent license 518 | you grant is automatically extended to all recipients of the covered 519 | work and works based on it. 520 | 521 | A patent license is "discriminatory" if it does not include within 522 | the scope of its coverage, prohibits the exercise of, or is 523 | conditioned on the non-exercise of one or more of the rights that are 524 | specifically granted under this License. You may not convey a covered 525 | work if you are a party to an arrangement with a third party that is 526 | in the business of distributing software, under which you make payment 527 | to the third party based on the extent of your activity of conveying 528 | the work, and under which the third party grants, to any of the 529 | parties who would receive the covered work from you, a discriminatory 530 | patent license (a) in connection with copies of the covered work 531 | conveyed by you (or copies made from those copies), or (b) primarily 532 | for and in connection with specific products or compilations that 533 | contain the covered work, unless you entered into that arrangement, 534 | or that patent license was granted, prior to 28 March 2007. 535 | 536 | Nothing in this License shall be construed as excluding or limiting 537 | any implied license or other defenses to infringement that may 538 | otherwise be available to you under applicable patent law. 539 | 540 | 12. No Surrender of Others' Freedom. 541 | 542 | If conditions are imposed on you (whether by court order, agreement or 543 | otherwise) that contradict the conditions of this License, they do not 544 | excuse you from the conditions of this License. If you cannot convey a 545 | covered work so as to satisfy simultaneously your obligations under this 546 | License and any other pertinent obligations, then as a consequence you may 547 | not convey it at all. For example, if you agree to terms that obligate you 548 | to collect a royalty for further conveying from those to whom you convey 549 | the Program, the only way you could satisfy both those terms and this 550 | License would be to refrain entirely from conveying the Program. 551 | 552 | 13. Use with the GNU Affero General Public License. 553 | 554 | Notwithstanding any other provision of this License, you have 555 | permission to link or combine any covered work with a work licensed 556 | under version 3 of the GNU Affero General Public License into a single 557 | combined work, and to convey the resulting work. The terms of this 558 | License will continue to apply to the part which is the covered work, 559 | but the special requirements of the GNU Affero General Public License, 560 | section 13, concerning interaction through a network will apply to the 561 | combination as such. 562 | 563 | 14. Revised Versions of this License. 564 | 565 | The Free Software Foundation may publish revised and/or new versions of 566 | the GNU General Public License from time to time. Such new versions will 567 | be similar in spirit to the present version, but may differ in detail to 568 | address new problems or concerns. 569 | 570 | Each version is given a distinguishing version number. If the 571 | Program specifies that a certain numbered version of the GNU General 572 | Public License "or any later version" applies to it, you have the 573 | option of following the terms and conditions either of that numbered 574 | version or of any later version published by the Free Software 575 | Foundation. If the Program does not specify a version number of the 576 | GNU General Public License, you may choose any version ever published 577 | by the Free Software Foundation. 578 | 579 | If the Program specifies that a proxy can decide which future 580 | versions of the GNU General Public License can be used, that proxy's 581 | public statement of acceptance of a version permanently authorizes you 582 | to choose that version for the Program. 583 | 584 | Later license versions may give you additional or different 585 | permissions. However, no additional obligations are imposed on any 586 | author or copyright holder as a result of your choosing to follow a 587 | later version. 588 | 589 | 15. Disclaimer of Warranty. 590 | 591 | THERE IS NO WARRANTY FOR THE PROGRAM, TO THE EXTENT PERMITTED BY 592 | APPLICABLE LAW. EXCEPT WHEN OTHERWISE STATED IN WRITING THE COPYRIGHT 593 | HOLDERS AND/OR OTHER PARTIES PROVIDE THE PROGRAM "AS IS" WITHOUT WARRANTY 594 | OF ANY KIND, EITHER EXPRESSED OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, 595 | THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR 596 | PURPOSE. THE ENTIRE RISK AS TO THE QUALITY AND PERFORMANCE OF THE PROGRAM 597 | IS WITH YOU. SHOULD THE PROGRAM PROVE DEFECTIVE, YOU ASSUME THE COST OF 598 | ALL NECESSARY SERVICING, REPAIR OR CORRECTION. 599 | 600 | 16. Limitation of Liability. 601 | 602 | IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED TO IN WRITING 603 | WILL ANY COPYRIGHT HOLDER, OR ANY OTHER PARTY WHO MODIFIES AND/OR CONVEYS 604 | THE PROGRAM AS PERMITTED ABOVE, BE LIABLE TO YOU FOR DAMAGES, INCLUDING ANY 605 | GENERAL, SPECIAL, INCIDENTAL OR CONSEQUENTIAL DAMAGES ARISING OUT OF THE 606 | USE OR INABILITY TO USE THE PROGRAM (INCLUDING BUT NOT LIMITED TO LOSS OF 607 | DATA OR DATA BEING RENDERED INACCURATE OR LOSSES SUSTAINED BY YOU OR THIRD 608 | PARTIES OR A FAILURE OF THE PROGRAM TO OPERATE WITH ANY OTHER PROGRAMS), 609 | EVEN IF SUCH HOLDER OR OTHER PARTY HAS BEEN ADVISED OF THE POSSIBILITY OF 610 | SUCH DAMAGES. 611 | 612 | 17. Interpretation of Sections 15 and 16. 613 | 614 | If the disclaimer of warranty and limitation of liability provided 615 | above cannot be given local legal effect according to their terms, 616 | reviewing courts shall apply local law that most closely approximates 617 | an absolute waiver of all civil liability in connection with the 618 | Program, unless a warranty or assumption of liability accompanies a 619 | copy of the Program in return for a fee. 620 | 621 | END OF TERMS AND CONDITIONS 622 | 623 | How to Apply These Terms to Your New Programs 624 | 625 | If you develop a new program, and you want it to be of the greatest 626 | possible use to the public, the best way to achieve this is to make it 627 | free software which everyone can redistribute and change under these terms. 628 | 629 | To do so, attach the following notices to the program. It is safest 630 | to attach them to the start of each source file to most effectively 631 | state the exclusion of warranty; and each file should have at least 632 | the "copyright" line and a pointer to where the full notice is found. 633 | 634 | 635 | Copyright (C) 636 | 637 | This program is free software: you can redistribute it and/or modify 638 | it under the terms of the GNU General Public License as published by 639 | the Free Software Foundation, either version 3 of the License, or 640 | (at your option) any later version. 641 | 642 | This program is distributed in the hope that it will be useful, 643 | but WITHOUT ANY WARRANTY; without even the implied warranty of 644 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 645 | GNU General Public License for more details. 646 | 647 | You should have received a copy of the GNU General Public License 648 | along with this program. If not, see . 649 | 650 | Also add information on how to contact you by electronic and paper mail. 651 | 652 | If the program does terminal interaction, make it output a short 653 | notice like this when it starts in an interactive mode: 654 | 655 | Copyright (C) 656 | This program comes with ABSOLUTELY NO WARRANTY; for details type `show w'. 657 | This is free software, and you are welcome to redistribute it 658 | under certain conditions; type `show c' for details. 659 | 660 | The hypothetical commands `show w' and `show c' should show the appropriate 661 | parts of the General Public License. Of course, your program's commands 662 | might be different; for a GUI interface, you would use an "about box". 663 | 664 | You should also get your employer (if you work as a programmer) or school, 665 | if any, to sign a "copyright disclaimer" for the program, if necessary. 666 | For more information on this, and how to apply and follow the GNU GPL, see 667 | . 668 | 669 | The GNU General Public License does not permit incorporating your program 670 | into proprietary programs. If your program is a subroutine library, you 671 | may consider it more useful to permit linking proprietary applications with 672 | the library. If this is what you want to do, use the GNU Lesser General 673 | Public License instead of this License. But first, please read 674 | . 675 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- 1 | # tex2typst-webapp 2 | 3 | Translate between LaTeX / TeX math markup and Typst in your browser. 4 | 5 | Demo screenshot: 6 | 7 | ![Screenshot](./screenshot.png) 8 | 9 | This project is a Web UI wrapper. The core algorithm is implemented in [qwinsi/tex2typst](https://github.com/qwinsi/tex2typst). 10 | 11 | ## Trying Online 12 | 13 | A static web App is hosted on the [Github Pages](https://qwinsi.github.io/tex2typst-webapp/). 14 | 15 | ## Development 16 | 17 | ### Installing Dependencies and Running 18 | 19 | ```sh 20 | yarn install # or npm install 21 | npm run make:sw 22 | npm run make:html 23 | npm run dev 24 | ``` 25 | 26 | ### Building 27 | 28 | ```sh 29 | npm run build 30 | ``` 31 | 32 | ## Open-source License 33 | 34 | GPL v3. See [LICENSE](./LICENSE) for details. 35 | -------------------------------------------------------------------------------- /TODO.md: -------------------------------------------------------------------------------- 1 | - auto-detect source language type 2 | -------------------------------------------------------------------------------- /index.html: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | tex2typst Web App - Conversion between LaTeX math code and Typst 10 | 11 | 12 | 17 |
18 | 19 | 28 | 29 | 30 | -------------------------------------------------------------------------------- /jsconfig.json: -------------------------------------------------------------------------------- 1 | { 2 | "compilerOptions": { 3 | "paths": { 4 | "@/*": ["./src/*"] 5 | } 6 | }, 7 | "exclude": ["node_modules", "dist"] 8 | } 9 | -------------------------------------------------------------------------------- /package.json: -------------------------------------------------------------------------------- 1 | { 2 | "name": "tex2typst-webapp", 3 | "version": "0.2.38", 4 | "type": "module", 5 | "scripts": { 6 | "dev": "vite dev", 7 | "make:sw": "esbuild src/sw.js --bundle --outdir=public --minify-whitespace", 8 | "make:html": "node tools/make-cheat-sheet-html.js && node tools/make-impl-in-typst-html.js", 9 | "build": "npm run make:sw && npm run make:html && vite build", 10 | "preview": "vite preview", 11 | "lint": "eslint . --ext .vue,.js,.jsx,.cjs,.mjs --fix --ignore-path .gitignore", 12 | "predeploy": "npm run build", 13 | "deploy": "gh-pages -d dist", 14 | "test": "npx mocha" 15 | }, 16 | "dependencies": { 17 | "@qwinsi/utilities-js": "^0.1.6", 18 | "butteruptoasts": "^2.0.1", 19 | "katex": "^0.16.11", 20 | "svelte": "^4.2.10", 21 | "tex2typst": "^0.3.6" 22 | }, 23 | "devDependencies": { 24 | "@svelte-put/preprocess-inline-svg": "^2.1.4", 25 | "@sveltejs/vite-plugin-svelte": "3.1.1", 26 | "autoprefixer": "^10.4.19", 27 | "cross-env": "^7.0.3", 28 | "esbuild": "^0.25.2", 29 | "eslint": "^8.57.0", 30 | "express": "^4.19.2", 31 | "gh-pages": "^6.1.1", 32 | "mocha": "^10.6.0", 33 | "postcss": "^8.4.39", 34 | "squirrelly": "^9.1.0", 35 | "tailwindcss": "^3.4.4", 36 | "toml": "^3.0.0", 37 | "vite": "^5.3.1", 38 | "@qwinsi/mdc": "^0.0.7" 39 | } 40 | } 41 | -------------------------------------------------------------------------------- /postcss.config.js: -------------------------------------------------------------------------------- 1 | export default { 2 | plugins: { 3 | tailwindcss: {}, 4 | autoprefixer: {}, 5 | }, 6 | } 7 | -------------------------------------------------------------------------------- /public/favicon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qwinsi/tex2typst-webapp/58fc8a848503715da6c7b7c2f9bd5c775d2efd6c/public/favicon.png -------------------------------------------------------------------------------- /public/icons/github-mark-white.svg: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /public/icons/notebook-icon.svg: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 10 | 12 | 14 | 16 | 17 | 18 | -------------------------------------------------------------------------------- /public/icons/settings-icon.svg: -------------------------------------------------------------------------------- 1 | 2 | 3 | 6 | 7 | 8 | -------------------------------------------------------------------------------- /public/manifest.json: -------------------------------------------------------------------------------- 1 | { 2 | "name": "tex2typst Web App", 3 | "short_name": "tex2typst", 4 | "theme_color": "#0D70B0", 5 | "background_color": "#eeeeee", 6 | "display": "standalone", 7 | "scope": "/tex2typst-webapp/", 8 | "start_url": "/tex2typst-webapp/index.html", 9 | "description": "A Web App for conversion between LaTeX math code and Typst", 10 | "orientation": "any", 11 | "icons": [ 12 | { 13 | "src": "/tex2typst-webapp/favicon.png", 14 | "sizes": "160x160" 15 | } 16 | ] 17 | } -------------------------------------------------------------------------------- /public/sitemap.xml: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | https://qwinsi.github.io/tex2typst-webapp/ 6 | 2024-08-19 7 | monthly 8 | 1.0 9 | 10 | 11 | 12 | https://qwinsi.github.io/tex2typst-webapp/cheat-sheet.html 13 | 2024-08-20 14 | weekly 15 | 0.8 16 | 17 | 18 | 19 | https://qwinsi.github.io/tex2typst-webapp/impl-in-typst.html 20 | 2024-08-17 21 | monthly 22 | 0.8 23 | 24 | 25 | 26 | -------------------------------------------------------------------------------- /screenshot.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qwinsi/tex2typst-webapp/58fc8a848503715da6c7b7c2f9bd5c775d2efd6c/screenshot.png -------------------------------------------------------------------------------- /src/App.svelte: -------------------------------------------------------------------------------- 1 | 190 | 191 |
192 | 211 |
212 | Convert LaTeX math formula code to Typst and vice versa. All running in your browser. 213 |
214 | 215 |
216 |
217 |
218 | { directionToTypst? "LaTeX": "Typst" } 219 |
220 | 225 | 230 |
231 |
232 | 233 | 236 | 237 |
238 | { directionToTypst? "Typst": "LaTeX" } 239 | 241 | 242 |
243 |
244 | 245 | 246 |
247 | 248 |
249 | 251 |
252 | 253 | 254 |
255 |
256 |
{ output.target }
257 | {#if output.message} 258 |
{@html output.message}
260 | {/if} 261 |
262 |
263 |
264 | 265 |
266 | 267 | 268 |
269 | {#if settings.showPreview} 270 |
{@html renderedFormulaHtml}
271 | {/if} 272 |
273 | 274 | 278 |
279 | 280 | 281 | 343 | -------------------------------------------------------------------------------- /src/assets/main.css: -------------------------------------------------------------------------------- 1 | /* Include Tailwind. Code from https://v2.tailwindcss.com/docs/guides/vue-3-vite */ 2 | @tailwind base; 3 | @tailwind components; 4 | @tailwind utilities; 5 | -------------------------------------------------------------------------------- /src/assets/swap-icon.svg: -------------------------------------------------------------------------------- 1 | 2 | 4 | -------------------------------------------------------------------------------- /src/components/CopiedToast.svelte: -------------------------------------------------------------------------------- 1 | 2 | 20 | 21 |
{ msg }
22 | 23 | -------------------------------------------------------------------------------- /src/components/SettingsDialog.svelte: -------------------------------------------------------------------------------- 1 | 49 | 50 | 51 |
52 |

Settings

53 | 54 |
55 |
56 |
57 | Previewer 58 |
59 | Show Preview 60 | 61 |
62 |
63 | 64 | Display Style 65 | 71 | {@html `ⓘ`} 72 | 73 | 74 |
75 |
76 |
77 | Translator 78 |
79 | Remember Direction 80 | 81 |
82 |
83 | 84 | Prefer Shorthands 85 | {@html `ⓘ`} 86 | 87 | 88 |
89 |
90 | 91 | \frac to slash 92 | {@html `ⓘ`} 93 | 94 | 95 |
96 |
97 | 98 | \infty to oo 99 | {@html `ⓘ`} 100 | 101 | 102 |
103 |
104 |
105 |
106 | 107 |
108 |
109 | tex2typst Web App version { APP_VERSION } 110 |
111 |
112 | tex2typst.js version { TEX2TYPST_VERSION } 113 |
114 |
115 | Problems? 116 |    117 | Write an issue to us! 118 |
119 | 124 | 125 | 126 | -------------------------------------------------------------------------------- /src/components/ToggleSwitch.svelte: -------------------------------------------------------------------------------- 1 | 2 | 3 | 17 | 18 | 22 | 23 | -------------------------------------------------------------------------------- /src/converter.js: -------------------------------------------------------------------------------- 1 | /** 2 | * This file add some patches to the original function in tex2typst library. 3 | * A `convertTex2Typst` function is exported as the final converter implementation. 4 | */ 5 | import { tex2typst, typst2tex } from "tex2typst"; 6 | 7 | 8 | // Not used actually. 9 | // Put prime symbol before '_'. Because $y_1'$ is not displayed properly in Typst (so far) 10 | // e.g. 11 | // y_1' -> y'_1 12 | // y_{a_1}' -> y'_{a_1} 13 | // y_{a + b}' -> y'_{a + b} 14 | // {\theta}_{1}' -> {\theta}'_{1} 15 | function putPrimeBeforeUnderscore(text) { 16 | return text.replace(/([\\\w]+|\{.*?\})_([\\\w]+|\{.*?\})'/g, "$1'_$2"); 17 | } 18 | 19 | export const customTexMacros = { 20 | "\\RR": "\\mathbb{R}", 21 | "\\NN": "\\mathbb{N}", 22 | "\\ZZ": "\\mathbb{Z}", 23 | "\\QQ": "\\mathbb{Q}", 24 | "\\CC": "\\mathbb{C}", 25 | "\\sech": "\\operatorname{sech}", 26 | "\\csch": "\\operatorname{csch}", 27 | "\\dim": "\\operatorname{dim}", 28 | "\\id": "\\operatorname{id}", 29 | "\\im": "\\operatorname{im}", 30 | "\\Pr": "\\operatorname{Pr}", 31 | }; 32 | 33 | // @param input: string of TeX math formula code. 34 | export function convertTex2Typst(input, options = {}) { 35 | const opt = { 36 | nonStrict: true, 37 | preferTypstIntrinsic: true, 38 | customTexMacros: customTexMacros, 39 | }; 40 | Object.assign(opt, options); 41 | let res = tex2typst(input, opt); 42 | res = res.replaceAll("upright(d)", "dif"); // \mathrm{d} -> dif 43 | res = res.replaceAll(" thin dif", " dif"); 44 | res = res.replaceAll('op("d")', "dif"); // \operatorname("d") -> dif 45 | return res; 46 | } 47 | 48 | export function convertTypst2Tex(input) { 49 | return typst2tex(input); 50 | } -------------------------------------------------------------------------------- /src/default-settings.js: -------------------------------------------------------------------------------- 1 | export const DEFAULT_SETTINGS = { 2 | showPreview: true, 3 | displayStyle: true, 4 | rememberDirection: true, 5 | preferShorthands: true, 6 | texFracToTypstSlash: true, 7 | texInftyToTypstOo: false, 8 | }; 9 | -------------------------------------------------------------------------------- /src/main.js: -------------------------------------------------------------------------------- 1 | import App from './App.svelte'; 2 | import './assets/main.css'; 3 | 4 | const app = new App({ 5 | target: document.getElementById('app') 6 | }) 7 | 8 | export default app; 9 | -------------------------------------------------------------------------------- /src/random.js: -------------------------------------------------------------------------------- 1 | function getRandomInt(max) { 2 | let res = Math.floor(Math.random() * max); 3 | if (res === max) { 4 | res = 0; 5 | } 6 | return res; 7 | } 8 | 9 | 10 | export const EXAMPLE_FORMULAS_LATEX = [ 11 | // base of natural logarithm 12 | String.raw`e \overset{\text{def}}{=} \lim_{{n \to \infty}} \left(1 + \frac{1}{n}\right)^n`, 13 | // Euler's product formula 14 | String.raw`\prod_{p} \frac{1}{1-p^{-s}} = \sum_{n=1}^{\infty} \frac{1}{n^s}`, 15 | // Fermat's little theorem 16 | String.raw`a^{p-1} \equiv 1 \mod{p}`, // TODO: a^{p-1} \equiv 1 \pmod{p} 17 | // Maxwell's equations 18 | String.raw`\begin{aligned} 19 | \nabla \times \boldsymbol{H} &= \boldsymbol{J} + \frac{\partial \boldsymbol{D}}{\partial t} \\ 20 | \nabla \times \boldsymbol{E} &= -\frac{\partial \boldsymbol{B}}{\partial t} \\ 21 | \nabla \cdot \boldsymbol{B} &= 0 \\ 22 | \nabla \cdot \boldsymbol{D} &= \rho 23 | \end{aligned}`, 24 | // chemical equation example: bromoethane to ethanol 25 | String.raw`\rm{CH_3CH_2Br} + \rm{OH}^- \longrightarrow \rm{CH_3CH_2OH} + \rm{Br}^-`, 26 | // Chen's inequality 27 | String.raw`\yen 2000 > \$ 3000`, 28 | // harmonic series 29 | String.raw`\sum_{k=1}^n \frac{1}{k} = \ln n + \gamma + O\left(\frac{1}{n}\right)`, 30 | // Euler's complex exponential formula 31 | String.raw`e^{ix} = \cos x + i \sin x`, 32 | // Gauss's divergence theorem 33 | String.raw`\iiint_{\Omega} \operatorname{div}(\vec{F}) \mathrm{d}V = \oiint_{\partial \Omega} \vec{F} \cdot \mathrm{d}\vec{S}`, 34 | // Stokes' theorem 35 | String.raw`\iint_{\Sigma} \operatorname{curl}(\vec{F}) \cdot \mathrm{d}\vec{S} = \oint_{\partial \Sigma} \vec{F} \times \mathrm{d}\vec{l}`, 36 | // Prime number theorem 37 | String.raw`\pi(x) \sim \frac{x}{\log x}`, 38 | // current-voltage characteristics of n-channel enhancement MOSFETs 39 | String.raw`i_D = \mu_n C_\text{ox} \frac{W}{L} \left[ (v_\text{GS} - V_t)v_\text{DS} - \frac{1}{2} v_\text{DS}^2 \right]`, 40 | // Black-Scholes formula for option pricing 41 | String.raw`\begin{aligned} 42 | C &= N(d_1) S_t - N(d_2) K e^{-rt} \\ 43 | d_1 &= \frac{\ln \frac{S_t}{K} + (r + \frac{\sigma^2}{2}) t}{\sigma \sqrt{t}} \\ 44 | d_2 &= d_1 - \sigma\sqrt{t} 45 | \end{aligned}`, 46 | // Cauchy's integral formula 47 | String.raw`f(z_0) = \frac{1}{2\pi \mathrm{i}} \oint_{C} \frac{f(z)}{z-z_0}\, \mathrm{d} z`, 48 | // determinant of a Vandermonde matrix 49 | String.raw`\left| 50 | \begin{matrix} 51 | 1 & 1 & \dots & 1 \\ 52 | x_1 & x_2 & \dots & x_n \\ 53 | x_1^2 & x_2^2 & \dots & x_n^2 \\ 54 | \vdots & \vdots & \ddots & \vdots \\ 55 | x_1^{n-1} & x_2^{n-1} & \dots & x_n^{n-1} 56 | \end{matrix} 57 | \right| 58 | = \prod_{1 \leq i < j \leq n} (x_j - x_i)`, 59 | // ReLu function 60 | String.raw`\operatorname{ReLU}(x) = \begin{cases} 61 | x & \text{if } x < 0 \\ 62 | 0 & \text{if } x \leq 0 63 | \end{cases}`, 64 | ]; 65 | 66 | const EXAMPLE_FORMULAS_TYPST = [ 67 | 'e eq.def lim_(n arrow.r infinity)(1 + 1/n)^n', 68 | 'product_p 1/(1 - p^(-s)) = sum_(n = 1)^infinity 1/n^s', 69 | 'a^(p - 1) equiv 1 mod p', 70 | String.raw`nabla times bold(H) & = bold(J) + (diff bold(D))/(diff t) \ 71 | nabla times bold(E) & = - (diff bold(B))/(diff t) \ 72 | nabla dot.op bold(B) & = 0 \ 73 | nabla dot.op bold(D) & = rho`, 74 | 'upright(C H_3 C H_2 B r) + upright(O H)^- arrow.r.long upright(C H_3 C H_2 O H) + upright(B r)^-', 75 | String.raw`yen 2000 > \$ 3000`, 76 | 'sum_(k = 1)^n 1/k = ln n + gamma + O(1/n)', 77 | 'e^(i x) = cos x + i sin x', 78 | 'integral.triple_Omega op("div")(arrow(F)) dif V = integral.surf_(diff Omega) arrow(F) dot.op dif arrow(S)', 79 | 'integral.double_Sigma op("curl")(arrow(F)) dot.op dif arrow(S) = integral.cont_(diff Sigma) arrow(F) times dif arrow(l)', 80 | 'pi(x) tilde.op x/(log x)', 81 | 'i_D = mu_n C_"ox" W/L [(v_"GS" - V_t) v_"DS" - 1/2 v_"DS"^2 ]', 82 | String.raw`C & = N(d_1) S_t - N(d_2) K e^(-r t) \ 83 | d_1 & = frac(ln frac(S_t, K) +(r + sigma^2/2) t, sigma sqrt(t)) \ 84 | d_2 & = d_1 - sigma sqrt(t)`, 85 | 'f(z_0) = 1/(2 pi upright(i)) integral.cont_C f(z)/(z - z_0) dif z', 86 | String.raw`mat(delim: "|", 1, 1, dots.h, 1; 87 | x_1, x_2, dots.h, x_n; 88 | x_1^2, x_2^2, dots.h, x_n^2; 89 | dots.v, dots.v, dots.down, dots.v; 90 | x_1^(n - 1), x_2^(n - 1), dots.h, x_n^(n - 1)) 91 | = product_(1 <= i < j <= n)(x_j - x_i)`, 92 | String.raw`op("ReLU")(x) = cases(x & "if " x < 0, 93 | 0 & "if " x <= 0)`, 94 | ]; 95 | 96 | let last_number = null; 97 | 98 | export function getRandomFormula(wantLatex) { 99 | const examples = wantLatex ? EXAMPLE_FORMULAS_LATEX : EXAMPLE_FORMULAS_TYPST; 100 | const num_examples = examples.length; 101 | let r; 102 | do { 103 | r = getRandomInt(num_examples); 104 | } while (r === last_number); 105 | last_number = r; 106 | return examples[r]; 107 | } 108 | -------------------------------------------------------------------------------- /src/sw.js: -------------------------------------------------------------------------------- 1 | import { setup } from "@qwinsi/utilities-js/sw"; 2 | import { version as APP_VERSION } from "../package.json"; 3 | 4 | const SUBDIRECTORY = "/tex2typst-webapp"; 5 | 6 | const precacheResources = [ 7 | "/", 8 | "/index.html", 9 | "/main.js", 10 | "/main.css", 11 | "/manifest.json", 12 | "/favicon.png", 13 | "/impl-in-typst.html", 14 | "/cheat-sheet.html", 15 | ]; 16 | 17 | const prefixedResources = precacheResources.map((resource) => SUBDIRECTORY + resource); 18 | 19 | setup(APP_VERSION, prefixedResources); 20 | -------------------------------------------------------------------------------- /src/template/cheat-sheet.toml: -------------------------------------------------------------------------------- 1 | # ref https://ctan.org/tex-archive/info/typstfun 2 | 3 | [math_commands] 4 | arccos = "arccos" 5 | arcsin = "arcsin" 6 | arctan = "arctan" 7 | arg = "arg" 8 | bar = "macron" 9 | binom = "binom" 10 | boldsymbol = "bold" 11 | cos = "cos" 12 | cosh = "cosh" 13 | cot = "cot" 14 | coth = "coth" 15 | csc = "csc" 16 | dbinom = "binom" 17 | ddot = "dot.double" # 'dot.double' or 'diaer' 18 | deg = "deg" 19 | det = "det" 20 | dfrac = "frac" 21 | dim = "dim" 22 | dot = "dot" 23 | exp = "exp" 24 | frac = "frac" 25 | gcd = "gcd" 26 | hat = "hat" 27 | # hspace = "h" 28 | inf = "inf" 29 | ker = "ker" 30 | # left = "lr" 31 | lg = "lg" 32 | lim = "lim" 33 | liminf = "liminf" 34 | limsup = "limsup" 35 | ln = "ln" 36 | log = "log" 37 | mathbb = "bb" 38 | mathcal = "cal" 39 | mathsf = "sans" 40 | mathtt = "mono" 41 | max = "max" 42 | min = "min" 43 | mod = "mod" 44 | overbrace = "overbrace" 45 | overline = "overline" 46 | qquad = "wide" 47 | quad = "quad" 48 | # right = "lr" 49 | sec = "sec" 50 | sin = "sin" 51 | sinh = "sinh" 52 | sqrt = "sqrt" # 'sqrt' or 'root' 53 | sup = "sup" 54 | tan = "tan" 55 | tanh = "tanh" 56 | tbinom = "binom" 57 | tfrac = "frac" 58 | tilde = "tilde" 59 | underbrace = "underbrace" 60 | vec = "arrow" 61 | widehat = "hat" 62 | 63 | [math_symbols] 64 | Cap = "sect.double" 65 | Cup = "union.double" 66 | Delta = "Delta" 67 | Gamma = "Gamma" 68 | Join = "join" 69 | Lambda = "Lambda" 70 | Longrightarrow = "arrow.r.double.long" 71 | Omega = "Omega" 72 | Phi = "Phi" 73 | Pi = "Pi" 74 | Psi = "Psi" 75 | Rightarrow = "arrow.double" 76 | Sigma = "Sigma" 77 | Theta = "Theta" 78 | aleph = "alef" 79 | alpha = "alpha" 80 | # amalg = "product.co" 81 | angle = "angle" 82 | approx = "approx" 83 | approxeq = "approx.eq" 84 | ast = "ast" 85 | beta = "beta" 86 | bigcap = "sect.big" 87 | bigcirc = "circle.big" 88 | bigcup = "union.big" 89 | bigodot = "dot.circle.big" 90 | bigoplus = "xor.big" # or "plus.circle.big" 91 | bigotimes = "times.circle.big" 92 | bigsqcup = "union.sq.big" 93 | bigtriangledown = "triangle.b" 94 | bigtriangleup = "triangle.t" 95 | biguplus = "union.plus.big" 96 | bigvee = "or.big" 97 | bigwedge = "and.big" 98 | # bowtie = "join" 99 | bullet = "bullet" 100 | cap = "sect" 101 | cdot = "dot.op" # 'dot.op' or 'dot.c' 102 | cdots = "dots.c" 103 | checkmark = "checkmark" 104 | chi = "chi" 105 | circ = "circle.small" # 'circle.small' or 'compose' 106 | colon = "colon" 107 | cong = "tilde.equiv" 108 | coprod = "product.co" 109 | cup = "union" 110 | curlyvee = "or.curly" 111 | curlywedge = "and.curly" 112 | dagger = "dagger" 113 | dashv = "tack.l" 114 | ddagger = "dagger.double" 115 | delta = "delta" 116 | ddots = "dots.down" 117 | diamond = "diamond" 118 | div = "div" 119 | divideontimes = "times.div" 120 | dotplus = "plus.dot" 121 | downarrow = "arrow.b" 122 | ell = "ell" 123 | emptyset = "nothing" 124 | epsilon = "epsilon.alt" 125 | equiv = "equiv" 126 | eta = "eta" 127 | exists = "exists" 128 | forall = "forall" 129 | # frown = "paren.t" 130 | gamma = "gamma" 131 | ge = "gt.eq" 132 | geq = "gt.eq" 133 | geqslant = "gt.eq.slant" 134 | gg = "gt.double" 135 | hbar = "planck.reduce" 136 | imath = "dotless.i" 137 | iiiint = "intgral.quad" 138 | iiint = "integral.triple" 139 | iint = "integral.double" 140 | in = "in" 141 | infty = "infinity" 142 | int = "integral" 143 | intercal = "top" # 'top' or 'tack.b' 144 | iota = "iota" 145 | jmath = "dotless.j" 146 | kappa = "kappa" 147 | lambda = "lambda" 148 | land = "and" 149 | langle = "angle.l" 150 | lbrace = "brace.l" 151 | lbrack = "bracket.l" 152 | ldots = "dots.l" 153 | le = "lt.eq" 154 | leadsto = "arrow.squiggly" 155 | leftarrow = "arrow.l" 156 | leftthreetimes = "times.three.l" 157 | leftrightarrow = "arrow.l.r" 158 | leq = "lt.eq" 159 | leqslant = "lt.eq.slant" 160 | lhd = "triangle.l" 161 | ll = "lt.double" 162 | longmapsto = "arrow.long.bar" 163 | longrightarrow = "arrow.long" 164 | ltimes = "times.l" 165 | mapsto = "arrow.bar" 166 | measuredangle = "angle.arc" 167 | mid = "divides" 168 | models = "models" 169 | mp = "minus.plus" 170 | mu = "mu" 171 | nRightarrow = "arrow.double.not" 172 | nabla = "nabla" 173 | # natural = # Typst does not have a symbol for this 174 | ncong = "tilde.nequiv" 175 | ne = "eq.not" 176 | neg = "not" 177 | neq = "eq.not" 178 | nexists = "exists.not" 179 | ngeq = "gt.eq.not" 180 | ni = "in.rev" 181 | nleftarrow = "arrow.l.not" 182 | nleq = "lt.eq.not" 183 | nparallel = "parallel.not" 184 | nmid = "divides.not" 185 | notin = "in.not" 186 | nrightarrow = "arrow.not" 187 | nsim = "tilde.not" 188 | nsubseteq = "subset.eq.not" 189 | nu = "nu" 190 | ntriangleleft = "lt.tri.not" 191 | ntriangleright = "gt.tri.not" 192 | nwarrow = "arrow.tl" 193 | odot = "dot.circle" 194 | oint = "integral.cont" 195 | omega = "omega" 196 | # omicron = "omicron" 197 | ominus = "minus.circle" 198 | oplus = "xor" # or "plus.circle" 199 | # oslash = # Unfortunately Typst does not have a symbol for this 200 | otimes = "times.circle" 201 | parallel = "parallel" 202 | partial = "diff" 203 | perp = "perp" 204 | phi = "phi.alt" 205 | pi = "pi" 206 | pm = "plus.minus" 207 | pounds = "pound" 208 | prec = "prec" 209 | preceq = "prec.eq" 210 | prime = "prime" 211 | prod = "product" 212 | propto = "prop" 213 | psi = "psi" 214 | rangle = "angle.r" 215 | rbrace = "brace.r" 216 | rbrack = "bracket.r" 217 | # rceil = "ceil.r" # Unfortunately Typst does not have a symbol for this 218 | # rfloor = "floor.r" # Unfortunately Typst does not have a symbol for this 219 | rhd = "triangle" 220 | rho = "rho" 221 | rightarrow = "arrow.r" 222 | rightthreetimes = "times.three.r" 223 | rtimes = "times.r" 224 | setminus = "without" # Not exactly. Ideally this should be something like "withoug.big" 225 | sigma = "sigma" 226 | sim = "tilde" 227 | simeq = "tilde.eq" 228 | slash = "slash" # or "\\/" # This symbol is not supported by Typst but supported by LaTeX 229 | smallsetminus = "without" 230 | # smile = "paren.b" # Typst does not have a symbol for this. "paren.b" just look like it but has different size. 231 | spadesuit = "suit.spade" 232 | sqcap = "sect.sq" 233 | sqcup = "union.sq" 234 | sqsubseteq = "subset.eq.sq" 235 | sqsupseteq = "supset.eq.sq" 236 | star = "star" 237 | subset = "subset" 238 | subseteq = "subset.eq" 239 | subsetneq = "subset.neq" 240 | succ = "succ" 241 | succeq = "succ.eq" 242 | sum = "sum" 243 | supset = "supset" 244 | supseteq = "supset.eq" 245 | supsetneq = "supset.neq" 246 | # surd = # not supported by Typst 247 | swarrow = "arrow.bl" 248 | tau = "tau" 249 | theta = "theta" 250 | times = "times" 251 | to = "arrow.r" 252 | top = "top" 253 | triangle = "triangle.t" 254 | triangledown = "triangle.b.small" 255 | triangleleft = "triangle.l.small" 256 | triangleright = "triangle.r.small" 257 | twoheadrightarrow = "arrow.r.twohead" 258 | uparrow = "arrow.t" 259 | updownarrow = "arrow.t.b" 260 | upharpoonright = "harpoon.tr" 261 | uplus = "union.plus" 262 | upsilon = "upsilon" 263 | varepsilon = "epsilon" 264 | varphi = "phi" 265 | varpi = "pi.alt" 266 | varrho = "rho.alt" 267 | varsigma = "sigma.alt" 268 | vartheta = "theta.alt" 269 | vdash = "tack.r" 270 | vdots = "dots.v" 271 | vee = "or" 272 | wedge = "and" 273 | # wp = # not supported by Typst 274 | wr = "wreath" 275 | xi = "xi" 276 | yen = "yen" 277 | zeta = "zeta" 278 | -------------------------------------------------------------------------------- /src/template/cheat-sheet.tp.html: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | LaTeX-to-Typst Cheat Sheet 12 | 130 | 131 | 132 | 133 | 185 | 186 | 190 | 191 |

LaTeX-to-Typst Cheat Sheet

192 | 193 |
194 | 215 | 216 | 217 |
218 |

Greek Letters

219 |

Lowercase Greek Letters

220 | 221 | 222 | 223 | 224 | 225 | {{@each(it.lowercase_greek_letters) => val, index}} 226 | 227 | {{/each}} 228 | 229 |
LaTeXPreviewTypst
{{val.latex}}{{it.render(val.latex) | safe}}{{val.typst}}
230 | 231 |

Uppercase Greek Letters

232 | 233 | 234 | 235 | 236 | 237 | {{@each(it.uppercase_greek_letters) => val, index}} 238 | 239 | {{/each}} 240 | 241 |
LaTeXPreviewTypst
{{val.latex}}{{it.render(val.latex) | safe}}{{val.typst}}
242 | 243 |

Integral

244 | 245 | 246 | 247 | 248 | 249 | 250 | 251 | 252 | 253 | 254 | 255 | 256 | 257 |
LaTeX
\int_a^b f(x) \mathrm{d} x
Preview
{{it.render(String.raw`\int_a^b f(x) \mathrm{d}x`, true) | safe}}
Typst
integral_a^b f(x) dif x
258 | 259 | 260 | 261 | 262 | 263 | {{@each(it.integral_symbols) => val, index}} 264 | 265 | {{/each}} 266 | 267 |
LaTeXPreviewTypst
{{val.latex}}{{it.render(val.latex) | safe}}{{val.typst}}
268 | 269 |

Fonts

270 | 271 | 272 | 273 | 274 | 275 | {{@each(it.font_symbols) => val, index}} 276 | 277 | {{/each}} 278 | 279 |
LaTeXPreviewTypst
{{val.latex}}{{it.render(val.latex) | safe}}{{val.typst}}
280 | 281 |

282 | \mathsrc: There is no native Typst equivalent for the LaTeX macro \mathsrc. See this for a workaround. 283 |

284 | 285 |

Arrows

286 | 287 | 288 | 289 | 290 | 291 | {{@each(it.arrow_symbols) => val, index}} 292 | 293 | 294 | 295 | 296 | 297 | 298 | {{/each}} 299 | 300 |
LaTeXPreviewTypst (Textual)Typst (Shorthand)
{{val.latex}}{{it.render(val.latex) | safe}}{{val.typst}}{{val.shorthand}}
301 | 302 |

Set and Elements

303 | 304 | 305 | 306 | 307 | 308 | {{@each(it.set_and_elements) => val, index}} 309 | 310 | {{/each}} 311 | 312 |
LaTeXPreviewTypst
{{val.latex}}{{it.render(val.latex) | safe}}{{val.typst}}
313 | 314 |

Non-mathematical Symbols

315 | 316 | 317 | 318 | 319 | 320 | {{@each(it.non_math_symbols) => val, index}} 321 | 322 | {{/each}} 323 | 324 |
LaTeXPreviewTypst
{{val.latex}}{{it.render(val.latex) | safe}}{{val.typst}}
325 | 326 |

Miscellaneous Symbols

327 | 328 | 329 | 330 | 331 | 332 | {{@each(it.misc_symbols) => val, index}} 333 | 334 | 335 | 336 | 337 | 338 | 339 | {{/each}} 340 | 341 |
LaTeXPreviewTypst (Textual)Typst (Shorthand)
{{val.latex}}{{it.render(val.latex) | safe}}{{val.typst}}{{val.shorthand}}
342 | 343 |

Handling macros unsupported by Typst

344 |

345 | There is not always a Typst equivalent for every LaTeX macro. This post provides a list of those counterexamples and corresponding workarounds. 346 |

347 |
348 |
349 | 350 | 351 | 352 | -------------------------------------------------------------------------------- /src/template/impl-in-typst.md: -------------------------------------------------------------------------------- 1 | # Implementing LaTeX macros unsupported by Typst 2 | 3 | ## Background 4 | 5 | There is not always a Typst equivalent for every LaTeX macro. This document provides a guide on how to implement unsupported LaTeX macros in Typst. 6 | 7 | ## The `\mathscr` macro 8 | 9 | LaTeX: `\mathscr` 10 | 11 | Implementation in Typst [^1] 12 | 13 | ``` 14 | #let scr(it) = text( 15 | features: ("ss01",), 16 | box($cal(it)$), 17 | ) 18 | ``` 19 | 20 | Usage example: 21 | 22 | ``` 23 | $ 24 | y = scr(A) x 25 | $ 26 | ``` 27 | 28 | ## The `\LaTeX` and `\TeX` macro 29 | 30 | LaTeX: `\LaTeX` and `\TeX` 31 | 32 | Implementation in Typst [^2] 33 | 34 | ``` 35 | #let TeX = context { 36 | set text(font: "New Computer Modern") 37 | let e = measure("E") 38 | let T = "T" 39 | let E = text(1em, baseline: e.height * 0.31, "E") 40 | let X = "X" 41 | box(T + h(-0.15em) + E + h(-0.125em) + X) 42 | } 43 | 44 | #let LaTeX = context { 45 | set text(font: "New Computer Modern") 46 | let a-size = 0.66em 47 | let l = measure("L") 48 | let a = measure(text(a-size, "A")) 49 | let L = "L" 50 | let A = box(scale(x: 105%, text(a-size, baseline: a.height - l.height, "A"))) 51 | box(L + h(-a.width * 0.67) + A + h(-a.width * 0.25) + TeX) 52 | } 53 | ``` 54 | 55 | Usage example: 56 | 57 | ``` 58 | You can use #LaTeX in text environments. 59 | You can use $#LaTeX$ in math environments as well. 60 | ``` 61 | 62 | ## Using the `op` function to define custom operators 63 | 64 | For example, if you want to define a custom operator `\myopr`. 65 | 66 | LaTeX: `\newcommand{\myopr}{\operatorname{myopr}}` 67 | 68 | Equivalent in Typst: 69 | 70 | ``` 71 | #let myopr = op("myopr"); 72 | ``` 73 | 74 | Usage example: 75 | 76 | ``` 77 | $ 78 | y = myopr x 79 | $ 80 | ``` 81 | 82 | ## A vertical bar for evaluation 83 | 84 | It's common to use a vertical bar to denote the evaluation of a function at a point. e.g. 85 | 86 | $$ 87 | f(x) \bigg\rvert_{x = x_0} 88 | $$ 89 | 90 | ➣ LaTeX: 91 | 92 | ``` 93 | f(x) \bigg\rvert_{x = x_0} 94 | ``` 95 | 96 | Where `\bigg\rvert` may be replaced with `\bigg\vert`, `\bigg|` etc. 97 | 98 | ➣ Walkaround in Typst: 99 | 100 | ``` 101 | f(x) lr(| vec(delim: #none, , , x = x_0)) 102 | ``` 103 | 104 | Also it's common to use a vertical bar to denote the deference of function values at two points, especially when calculating definite integrals. e.g. [^3] 105 | 106 | $$ 107 | F(x) \bigg\rvert_{a}^{b} 108 | $$ 109 | 110 | ➣ LaTeX: 111 | 112 | ``` 113 | F(x) \bigg\rvert_{a}^{b} 114 | ``` 115 | 116 | Where `\bigg\rvert` may be replaced with `\bigg\vert` , `\bigg|` etc. 117 | 118 | 119 | ➣ Walkaround in Typst: 120 | 121 | ``` 122 | F(x) lr(| vec(delim: #none, b, , a)) 123 | ``` 124 | 125 | ## The `\cancelto` macro 126 | 127 | `\cancelto{value}{expression}` is a LaTeX command provided by the `cancel` package. It is used to place an arrow through an expression and annotate it with a value to which the expression is be evaluated. 128 | 129 | $$ 130 | \cancelto{0}{\frac{\partial^2 Q}{\partial r^2}} 131 | $$ 132 | 133 | ➣ LaTeX: 134 | 135 | ``` 136 | \cancelto{0}{\frac{\partial^2 Q}{\partial r^2}} 137 | ``` 138 | 139 | ➣ Implementation in Typst (adapted from [^4] ): 140 | 141 | ``` 142 | #let cancelto(to, body) = { 143 | let max(a, b) = if a > b { a } else { b }; 144 | context { 145 | let m = measure(body) 146 | let (w, h) = (m.width, m.height * 2) 147 | let arrow = rotate(-55deg, math.stretch(sym.arrow.r, size: max(h*1.8, w*2.0))) 148 | set place(center + horizon) 149 | body 150 | place(dx: -w * 0.5, dy: -h * 0.1, arrow) 151 | place(dx: w * 0.3, dy: -h * 1.1, to) 152 | } 153 | } 154 | ``` 155 | 156 | ➣ Usage example: 157 | 158 | ``` 159 | $ 160 | cancelto(0, (diff^2 Q)/(diff r^2)) 161 | $ 162 | ``` 163 | 164 | ## References and Credits 165 | 166 | The following resources were used to create this document: 167 | 168 | [^1]: `\mathscr`: [Variants Functions – Typst Documentation](https://typst.app/docs/reference/math/variants#functions-cal) 169 | 170 | [^2]: `\TeX` and `\LaTeX`: [How do I insert the `LaTeX` symbol in Typst? · typst/typst · Discussion #1732](https://github.com/typst/typst/discussions/1732#discussioncomment-6566999) 171 | 172 | [^3]: `\bigg\rvert` for evaluation: [Math symbol: Vertical bar for ''evaluated at …'' Limits are not apart enough - TeX - LaTeX Stack Exchange](https://tex.stackexchange.com/questions/552807/math-symbol-vertical-bar-for-evaluated-at-limits-are-not-apart-enough) 173 | 174 | [^4]: `\cancelto`: [Is there an equivalent to Latex's \cancelto in Typst? - Questions - Typst Forum](https://forum.typst.app/t/is-there-an-equivalent-to-latexs-cancelto-in-typst/536) -------------------------------------------------------------------------------- /svelte.config.js: -------------------------------------------------------------------------------- 1 | import { vitePreprocess } from '@sveltejs/vite-plugin-svelte'; 2 | import inlineSvg from '@svelte-put/preprocess-inline-svg'; 3 | 4 | /** @type {import('@sveltejs/kit').Config} */ 5 | const config = { 6 | preprocess: [ 7 | // https://v3.tailwindcss.com/docs/guides/sveltekit 8 | vitePreprocess(), 9 | // https://www.npmjs.com/package/@svelte-put/preprocess-inline-svg 10 | inlineSvg([ { directories: 'src/assets', }, ]), 11 | ], 12 | }; 13 | export default config; -------------------------------------------------------------------------------- /tailwind.config.js: -------------------------------------------------------------------------------- 1 | /** @type {import('tailwindcss').Config} */ 2 | export default { 3 | content: ['./index.html', './src/**/*.{svelte,js,ts,jsx,tsx}'], 4 | theme: { 5 | extend: {}, 6 | }, 7 | plugins: [], 8 | future: { 9 | // Disable hover styles on mobile. 10 | // https://github.com/tailwindlabs/tailwindcss/discussions/1739?sort=top#discussioncomment-3630717 11 | hoverOnlyWhenSupported: true, 12 | }, 13 | } 14 | 15 | -------------------------------------------------------------------------------- /test/converter.test.js: -------------------------------------------------------------------------------- 1 | import assert from 'assert'; 2 | import { convertTex2Typst } from '../src/converter.js'; 3 | import { tex2typst } from 'tex2typst'; 4 | import { EXAMPLE_FORMULAS_LATEX } from '../src/random.js'; 5 | 6 | 7 | const TYPST_EXAMPLE_FORMULAS = [ 8 | 'e eq.def lim_(n -> infinity)(1 + 1/n)^n', 9 | 'product_p 1/(1 - p^(-s)) = sum_(n = 1)^infinity 1/n^s', 10 | 'a^(p - 1) equiv 1 mod p', 11 | String.raw`nabla times bold(H) &= bold(J) + (diff bold(D))/(diff t) \ 12 | nabla times bold(E) &= -(diff bold(B))/(diff t) \ 13 | nabla dot.op bold(B) &= 0 \ 14 | nabla dot.op bold(D) &= rho`, 15 | 'upright(C H_3 C H_2 B r) + upright(O H)^- arrow.r.long upright(C H_3 C H_2 O H) + upright(B r)^-', 16 | String.raw`yen 2000 > \$ 3000`, 17 | 'sum_(k = 1)^n 1/(k) = ln n + gamma + O(1/n)', 18 | 'e^(i x) = cos x + i sin x', 19 | 'integral.triple_Omega op("div")(arrow(F)) dif V = integral.surf_(diff Omega) arrow(F) dot.op dif arrow(S)', 20 | 'integral.double_Sigma op("curl")(arrow(F)) dot.op dif arrow(S) = integral.cont_(diff Sigma) arrow(F) times dif arrow(l)', 21 | 'pi(x) tilde.op x/(log x)', 22 | 'i_D = mu_n C_"ox" W/L [(v_"GS" - V_t) v_"DS" - 1/2 v_"DS"^2 ]', 23 | String.raw`C &= N(d_1) S_t - N(d_2) K e^(-r t) \ 24 | d_1 &= frac(ln S_t/K + (r + sigma^2/2)) t, sigma sqrt(t)) \ 25 | d_2 &= d_1 - sigma sqrt(t)`, 26 | 'f(z_0) = 1/(2 pi upright(i)) integral.cont_C f(z)/(z - z_0) dif z', 27 | String.raw`lr(| 28 | mat(delim: #none, 1, 1, dots.h, 1; 29 | x_1, x_2, dots.h, x_n; 30 | x_1^2, x_2^2, dots.h, x_n^2; 31 | dots.v, dots.v, dots.down, dots.v; 32 | x_1^(n - 1), x_2^(n - 1), dots.h, x_n^(n - 1)) 33 | |) 34 | = product_(1 lt.eq i < j lt.eq n)(x_j - x_i)` 35 | ]; 36 | 37 | describe('tex2typst', function () { 38 | it('convert case', function() { 39 | const input = "\\zeta(s) = \\sum_{n=1}^{\\infty}\\frac{1}{n^s}"; 40 | const expectedOutput = "zeta(s) = sum_(n = 1)^infinity 1/n^s"; 41 | assert.strictEqual(convertTex2Typst(input), expectedOutput); 42 | }) 43 | 44 | it('convert binom', function() { 45 | const input = "\\binom{n}{k}"; 46 | const expectedOutput = "binom(n, k)"; 47 | assert.strictEqual(convertTex2Typst(input), expectedOutput); 48 | }) 49 | 50 | it('sech', function() { 51 | const input = "\\sech(x)"; 52 | const expectedOutput = "sech(x)"; 53 | assert.strictEqual(convertTex2Typst(input), expectedOutput); 54 | }) 55 | 56 | it('throw error for input (\\right)', function () { 57 | assert.throws(() => tex2typst("\\right"), Error); 58 | }); 59 | 60 | it('example formulas', function () { 61 | for (let i = 0; i < EXAMPLE_FORMULAS_LATEX.length; i++) { 62 | const formula = EXAMPLE_FORMULAS_LATEX[i]; 63 | const res = convertTex2Typst(formula); 64 | assert.strictEqual(res, TYPST_EXAMPLE_FORMULAS[i]); 65 | } 66 | }); 67 | }); 68 | -------------------------------------------------------------------------------- /tools/make-cheat-sheet-html.js: -------------------------------------------------------------------------------- 1 | import * as Sqrl from 'squirrelly' 2 | import { fileURLToPath } from 'url'; 3 | import path from 'path'; 4 | import toml from 'toml'; 5 | import fs from 'node:fs'; 6 | import { tex2typst, shorthandMap } from 'tex2typst'; 7 | import katex from 'katex'; 8 | 9 | // TODO: 10 | // () https://tug.ctan.org/info/undergradmath/undergradmath.pdf 11 | // () https://personal.math.ubc.ca/~cautis/tools/latexmath.html 12 | // () https://www.cmor-faculty.rice.edu/~heinken/latex/symbols.pdf 13 | // () https://typst.app/docs/reference/symbols/sym/ 14 | 15 | const __filename = fileURLToPath(import.meta.url); 16 | const __dirname = path.dirname(__filename); 17 | 18 | shorthandMap.set('infinity', 'oo'); 19 | 20 | // latex: \alpha \beta \gamma \delta \epsilon \zeta \eta \theta \iota \kappa \lambda \mu \nu \xi \omicron \pi \rho \sigma \tau \upsilon \phi \chi \psi \omega 21 | // typst: alpha beta gamma delta epsilon.alt zeta eta theta iota kappa lambda mu nu xi omicron pi rho sigma tau upsilon phi.alt chi psi omega 22 | // latex: \varepsilon \vartheta \varpi \varrho \varsigma \varphi 23 | // typst: epsilon theta.alt pi.alt rho.alt sigma.alt phi 24 | const lowercase_greek_letters = [ 25 | 'alpha', 'beta', 'gamma', 'delta', 'epsilon', 'zeta', 'eta', 'theta', 'iota', 'kappa', 'lambda', 'mu', 'nu', 'xi', 26 | 'omicron', 'pi', 'rho', 'sigma', 'tau', 'upsilon', 'phi', 'chi', 'psi', 'omega', 27 | 'varepsilon', 'vartheta', 'varpi', 'varrho', 'varsigma', 'varphi', 28 | ]; 29 | 30 | // latex: \Gamma \Delta \Theta \Lambda \Xi \Pi \Sigma \Upsilon \Phi \Psi \Omega 31 | // typst: Gamma Delta Theta Lambda Xi Pi Sigma Upsilon Phi Psi Omega 32 | const uppercase_greek_letters = [ 33 | 'Gamma', 'Delta', 'Theta', 'Lambda', 'Xi', 'Pi', 'Sigma', 'Upsilon', 'Phi', 'Psi', 'Omega', 34 | ]; 35 | 36 | 37 | // Integral symbols 38 | // latex: \int \oint \iint \oiint \iiint \oiiint 39 | // typst: integral integral.cont integral.double integral.surf integral.triple integral.vol 40 | const integral_symbols = [ 41 | 'int', 'oint', 'iint', 'oiint', 'iiint', 'oiiint' 42 | ]; 43 | 44 | // Font symbols 45 | // latex: \boldsymbol{A} \mathbb{A} \mathbf{A} \mathcal{A} \mathit{A} \mathfrak{A} \mathrm{A} \mathsf{A} \mathtt{A} 46 | // typst: bold(A) bb(A) upright(bold(A)) cal(A) italic(A) frak(A) upright(A) sans(A) mono(A) 47 | const font_symbols = [ 48 | 'boldsymbol{A}', 'mathbb{A}', 'mathbf{A}', 'mathcal{A}', 'mathit{A}', 'mathfrak{A}', 'mathrm{A}', 'mathsf{A}', 'mathtt{A}' 49 | ]; 50 | 51 | 52 | const arrow_symbols = [ 53 | 'leftarrow', 54 | 'gets', 55 | 'rightarrow', 56 | 'to', 57 | 'leftrightarrow', 58 | 'Leftarrow', 59 | 'Rightarrow', 60 | 'Leftrightarrow', 61 | 'mapsto', 62 | 'hookleftarrow', 63 | 'leftharpoonup', 64 | 'leftharpoondown', 65 | 'rightleftharpoons', 66 | 'longleftarrow', 67 | 'longrightarrow', 68 | 'longleftrightarrow', 69 | 'Longleftarrow', 70 | 'Longrightarrow', 71 | 'Longleftrightarrow', 72 | 'longmapsto', 73 | 'hookrightarrow', 74 | 'rightharpoonup', 75 | 'rightharpoondown', 76 | 'iff', 77 | 'implies', 78 | 'uparrow', 79 | 'downarrow', 80 | 'updownarrow', 81 | 'Uparrow', 82 | 'Downarrow', 83 | 'Updownarrow', 84 | 'nearrow', 85 | 'searrow', 86 | 'swarrow', 87 | 'nwarrow', 88 | // 'leftsquigarrow', 89 | // 'rightsquigarrow', 90 | 'leadsto', 91 | 'leftleftarrows', 92 | 'rightrightarrows', 93 | ]; 94 | 95 | // Set and Elements 96 | // latex: \in \subset \subseteq \supset \supseteq \varnothing 97 | // typst: in subset subset.eq supset supset.eq diameter 98 | const set_and_elements = [ 99 | 'in', 'subset', 'subseteq', 'supset', 'supseteq', 'varnothing' 100 | ]; 101 | 102 | // non-math symbols 103 | // latex: \$ \pounds \yen \copyright \S \P 104 | const non_math_symbols = [ 105 | '$', 'pounds', 'yen', 'copyright', 'S', 'P' 106 | ]; 107 | 108 | 109 | // How do you insert unescaped HTML? · Issue #6 · nebrelbug/squirrelly.js.org 110 | // https://github.com/nebrelbug/squirrelly.js.org/issues/6 111 | function render(latex, displayMode = false) { 112 | const options = { 113 | displayMode: displayMode, 114 | output: 'html' 115 | } 116 | return katex.renderToString(latex, options); 117 | } 118 | 119 | function mapToLatexTypstPair(latexName) { 120 | const typst_name = tex2typst(`\\${latexName}`, { preferShorthands: false }); 121 | return { 122 | latex: `\\${latexName}`, 123 | typst: typst_name, 124 | shorthand: shorthandMap.get(typst_name) || "", 125 | } 126 | } 127 | 128 | function main() { 129 | const data = {}; 130 | data.lowercase_greek_letters = lowercase_greek_letters.map(mapToLatexTypstPair); 131 | data.uppercase_greek_letters = uppercase_greek_letters.map(mapToLatexTypstPair); 132 | data.integral_symbols = integral_symbols.map(mapToLatexTypstPair); 133 | data.font_symbols = font_symbols.map(mapToLatexTypstPair); 134 | data.arrow_symbols = arrow_symbols.map(mapToLatexTypstPair); 135 | data.set_and_elements = set_and_elements.map(mapToLatexTypstPair); 136 | data.non_math_symbols = non_math_symbols.map(mapToLatexTypstPair); 137 | 138 | const cheatSheetTomlFile = path.join(__dirname, '../src/template/cheat-sheet.toml'); 139 | const toml_obj = toml.parse(fs.readFileSync(cheatSheetTomlFile, { encoding: 'utf-8' })); 140 | // void toml_obj.math_commands; 141 | const symbols_unsupported_by_katex = [ 142 | 'iiiint', 143 | 'slash', 144 | ] 145 | for (const symbol of symbols_unsupported_by_katex) { 146 | delete toml_obj.math_symbols[symbol]; 147 | } 148 | 149 | data.misc_symbols = Object.entries(toml_obj.math_symbols).filter(([latexName, typst]) => { 150 | // filter out symbols that are already included above 151 | void typst; 152 | const lists = [ 153 | lowercase_greek_letters, 154 | uppercase_greek_letters, 155 | integral_symbols, 156 | font_symbols, 157 | arrow_symbols, 158 | set_and_elements, 159 | non_math_symbols, 160 | ]; 161 | for (const list of lists) { 162 | if (list.includes(latexName)) { 163 | return false; 164 | } 165 | } 166 | return true; 167 | }).map(([latexName, typst]) => { 168 | return { 169 | latex: `\\${latexName}`, 170 | typst: typst, 171 | shorthand: shorthandMap.get(typst) || "", 172 | } 173 | }); 174 | 175 | data.render = render; 176 | 177 | 178 | const cheatSheetTemplateFile = path.join(__dirname, '../src/template/cheat-sheet.tp.html'); 179 | const template = fs.readFileSync(cheatSheetTemplateFile, { encoding: 'utf-8' }); 180 | const output = Sqrl.render(template, data); 181 | 182 | const outputHtmlFile = path.join(__dirname, '../public/cheat-sheet.html'); 183 | fs.writeFileSync(outputHtmlFile, output); 184 | } 185 | 186 | main(); 187 | -------------------------------------------------------------------------------- /tools/make-impl-in-typst-html.js: -------------------------------------------------------------------------------- 1 | import { fileURLToPath } from 'url'; 2 | import path from 'path'; 3 | import fs from 'node:fs'; 4 | import { convert_md_to_html } from '@qwinsi/mdc'; 5 | 6 | 7 | const __filename = fileURLToPath(import.meta.url); 8 | const __dirname = path.dirname(__filename); 9 | 10 | 11 | const PREAMBLE = ``; 12 | const HEADER = ``; 16 | 17 | 18 | function main() { 19 | const md_file_path = path.join(__dirname, "../src/template/impl-in-typst.md"); 20 | const dest_html_path = path.join(__dirname, "../public/impl-in-typst.html"); 21 | 22 | const md_content = fs.readFileSync(md_file_path, { encoding: "utf-8" }); 23 | const html = convert_md_to_html(md_content, { preambleHtml: PREAMBLE, headerHtml: HEADER }); 24 | 25 | fs.writeFileSync(dest_html_path, html); 26 | } 27 | 28 | main(); 29 | -------------------------------------------------------------------------------- /tools/make_icon.py: -------------------------------------------------------------------------------- 1 | # create the icon file of the project. 2 | 3 | # This script requires the Python Imaging Library (PIL) to be installed. 4 | # If you don't have PIL, you can install it with pip: 5 | # pip install pillow 6 | 7 | from PIL import Image, ImageDraw, ImageFont 8 | 9 | # Define the icon size and colors 10 | icon_size = (160, 160) 11 | background_color = (0, 119, 199) # Sky blue 12 | text_color = (255, 255, 255) # White 13 | 14 | # Create a new image with the background color 15 | icon = Image.new('RGB', icon_size, background_color) 16 | # Create a drawing context 17 | draw = ImageDraw.Draw(icon) 18 | # Load a font file 19 | font = ImageFont.truetype('arial.ttf', 100) 20 | # Draw text 21 | draw.text((15, 25), 'TT', fill=text_color, font=font) 22 | # Save the icon file 23 | icon.save('favicon.png', 'PNG') -------------------------------------------------------------------------------- /vite.config.js: -------------------------------------------------------------------------------- 1 | import { fileURLToPath, URL } from 'node:url' 2 | 3 | import { defineConfig } from 'vite' 4 | import { svelte } from '@sveltejs/vite-plugin-svelte' 5 | 6 | // https://vitejs.dev/config/ 7 | export default defineConfig({ 8 | base: '/tex2typst-webapp/', 9 | plugins: [ 10 | svelte(), 11 | ], 12 | resolve: { 13 | alias: { 14 | '@': fileURLToPath(new URL('./src', import.meta.url)) 15 | } 16 | }, 17 | build: { 18 | // fixed output file names 19 | rollupOptions: { 20 | input: { 21 | main: fileURLToPath(new URL('./index.html', import.meta.url)), 22 | }, 23 | output: { 24 | entryFileNames: 'main.js', 25 | assetFileNames: 'main.css', 26 | format: 'es', 27 | }, 28 | } 29 | } 30 | }) 31 | --------------------------------------------------------------------------------