package info (click to toggle)
lyx 2.5.0-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 138,444 kB
  • sloc: cpp: 244,268; ansic: 106,398; xml: 72,791; python: 39,384; sh: 7,666; makefile: 6,584; pascal: 2,143; perl: 2,101; objc: 1,084; tcl: 163; sed: 16

Folder: math

d .. (parent)
d d rwxr-xr-x 4,096 oxygen
- - rw-r--r-- 1,032 AC.svgz
- - rw-r--r-- 794 APLbox.svgz
- - rw-r--r-- 1,114 APLcomment.svgz
- - rw-r--r-- 874 APLdown.svgz
- - rw-r--r-- 1,008 APLdownarrowbox.svgz
- - rw-r--r-- 863 APLinput.svgz
- - rw-r--r-- 856 APLinv.svgz
- - rw-r--r-- 971 APLleftarrowbox.svgz
- - rw-r--r-- 1,518 APLlog.svgz
- - rw-r--r-- 980 APLrightarrowbox.svgz
- - rw-r--r-- 1,139 APLstar.svgz
- - rw-r--r-- 889 APLup.svgz
- - rw-r--r-- 995 APLuparrowbox.svgz
- - rw-r--r-- 1,251 Bbbk.svgz
- - rw-r--r-- 466 Finv.svgz
- - rw-r--r-- 694 Game.svgz
- - rw-r--r-- 1,254 HF.svgz
- - rw-r--r-- 962 Im.svgz
- - rw-r--r-- 525 Lleftarrow.svgz
- - rw-r--r-- 475 Lsh.svgz
- - rw-r--r-- 1,346 Re.svgz
- - rw-r--r-- 521 Rrightarrow.svgz
- - rw-r--r-- 495 Rsh.svgz
- - rw-r--r-- 1,145 VHF.svgz
- - rw-r--r-- 509 Vvdash.svgz
- - rw-r--r-- 716 Ydown.svgz
- - rw-r--r-- 715 Yleft.svgz
- - rw-r--r-- 707 Yright.svgz
- - rw-r--r-- 718 Yup.svgz
- - rw-r--r-- 952 acute.svgz
- - rw-r--r-- 411 adots.svgz
- - rw-r--r-- 660 agemO.svgz
- - rw-r--r-- 1,069 aleph.svgz
- - rw-r--r-- 1,327 alpha.svgz
- - rw-r--r-- 651 amalg.svgz
- - rw-r--r-- 684 angle.svgz
- - rw-r--r-- 908 apprge.svgz
- - rw-r--r-- 770 apprle.svgz
- - rw-r--r-- 809 approx.svgz
- - rw-r--r-- 763 approxeq.svgz
- - rw-r--r-- 1,768 aquarius.svgz
- - rw-r--r-- 1,066 aries.svgz
- - rw-r--r-- 487 arrownot.svgz
- - rw-r--r-- 474 arrownot2.svgz
- - rw-r--r-- 331 arrowvert.svgz
- - rw-r--r-- 349 arrowvert2.svgz
- - rw-r--r-- 1,213 ascnode.svgz
- - rw-r--r-- 935 ast.svgz
- - rw-r--r-- 903 astrosun.svgz
- - rw-r--r-- 692 asymp.svgz
- - rw-r--r-- 812 ataribox.svgz
- - rw-r--r-- 792 backepsilon.svgz
- - rw-r--r-- 657 backprime.svgz
- - rw-r--r-- 617 backsim.svgz
- - rw-r--r-- 644 backsimeq.svgz
- - rw-r--r-- 906 backslash.svgz
- - rw-r--r-- 871 bar.svgz
- - rw-r--r-- 951 baro.svgz
- - rw-r--r-- 331 bars.svgz
- - rw-r--r-- 483 barwedge.svgz
- - rw-r--r-- 641 bbslash.svgz
- - rw-r--r-- 1,167 bcancel.svgz
- - rw-r--r-- 694 because.svgz
- - rw-r--r-- 920 bell.svgz
- - rw-r--r-- 984 beta.svgz
- - rw-r--r-- 739 beth.svgz
- - rw-r--r-- 938 between.svgz
- - rw-r--r-- 526 bigbox.svgz
- - rw-r--r-- 547 bigcap.svgz
- - rw-r--r-- 557 bigcirc.svgz
- - rw-r--r-- 542 bigcup.svgz
- - rw-r--r-- 747 bigcurlyvee.svgz
- - rw-r--r-- 739 bigcurlywedge.svgz
- - rw-r--r-- 560 biginterleave.svgz
- - rw-r--r-- 752 bignplus.svgz
- - rw-r--r-- 652 bigodot.svgz
- - rw-r--r-- 714 bigoplus.svgz
- - rw-r--r-- 864 bigotimes.svgz
- - rw-r--r-- 537 bigparallel.svgz
- - rw-r--r-- 532 bigsqcap.svgz
- - rw-r--r-- 438 bigsqcup.svgz
- - rw-r--r-- 529 bigstar.svgz
- - rw-r--r-- 461 bigtriangledown.svgz
- - rw-r--r-- 465 bigtriangleup.svgz
- - rw-r--r-- 608 biguplus.svgz
- - rw-r--r-- 451 bigvee.svgz
- - rw-r--r-- 459 bigwedge.svgz
- - rw-r--r-- 1,209 binampersand.svgz
- - rw-r--r-- 1,189 bindnasrepma.svgz
- - rw-r--r-- 444 blacklozenge.svgz
- - rw-r--r-- 1,305 blacksmiley.svgz
- - rw-r--r-- 433 blacksquare.svgz
- - rw-r--r-- 450 blacktriangle.svgz
- - rw-r--r-- 454 blacktriangledown.svgz
- - rw-r--r-- 438 blacktriangleleft.svgz
- - rw-r--r-- 438 blacktriangleright.svgz
- - rw-r--r-- 1,621 boldsymbol.svgz
- - rw-r--r-- 677 bot.svgz
- - rw-r--r-- 483 bowtie.svgz
- - rw-r--r-- 963 bowtie2.svgz
- - rw-r--r-- 351 box2.svgz
- - rw-r--r-- 1,021 boxast.svgz
- - rw-r--r-- 534 boxbar.svgz
- - rw-r--r-- 638 boxbox.svgz
- - rw-r--r-- 579 boxbslash.svgz
- - rw-r--r-- 929 boxcircle.svgz
- - rw-r--r-- 532 boxdot.svgz
- - rw-r--r-- 523 boxempty.svgz
- - rw-r--r-- 472 boxminus.svgz
- - rw-r--r-- 475 boxplus.svgz
- - rw-r--r-- 574 boxslash.svgz
- - rw-r--r-- 538 boxtimes.svgz
- - rw-r--r-- 1,273 breve.svgz
- - rw-r--r-- 609 brokenvert.svgz
- - rw-r--r-- 468 bullet.svgz
- - rw-r--r-- 612 bumpeq.svgz
- - rw-r--r-- 655 bumpeq2.svgz
- - rw-r--r-- 1,168 cancel.svgz
- - rw-r--r-- 1,053 cancelto.svgz
- - rw-r--r-- 1,589 cancer.svgz
- - rw-r--r-- 517 cap.svgz
- - rw-r--r-- 638 cap2.svgz
- - rw-r--r-- 1,356 capricornus.svgz
- - rw-r--r-- 2,135 cases.svgz
- - rw-r--r-- 479 cdot.svgz
- - rw-r--r-- 512 cdotp.svgz
- - rw-r--r-- 522 cdots.svgz
- - rw-r--r-- 1,199 cent.svgz
- - rw-r--r-- 399 centerdot.svgz
- - rw-r--r-- 969 check.svgz
- - rw-r--r-- 818 checked.svgz
- - rw-r--r-- 800 checkedbox2.svgz
- - rw-r--r-- 938 checkmark.svgz
- - rw-r--r-- 832 chi.svgz
- - rw-r--r-- 582 circ.svgz
- - rw-r--r-- 678 circeq.svgz
- - rw-r--r-- 1,058 circle2.svgz
- - rw-r--r-- 853 circle3.svgz
- - rw-r--r-- 660 circlearrowleft.svgz
- - rw-r--r-- 673 circlearrowright.svgz
- - rw-r--r-- 1,185 circledR.svgz
- - rw-r--r-- 1,050 circledS.svgz
- - rw-r--r-- 1,106 circledast.svgz
- - rw-r--r-- 722 circledcirc.svgz
- - rw-r--r-- 584 circleddash.svgz
- - rw-r--r-- 761 clock.svgz
- - rw-r--r-- 830 clubsuit.svgz
- - rw-r--r-- 501 colon.svgz
- - rw-r--r-- 920 colonapprox.svgz
- - rw-r--r-- 779 colonapprox2.svgz
- - rw-r--r-- 525 coloneq.svgz
- - rw-r--r-- 541 coloneq2.svgz
- - rw-r--r-- 530 coloneqq.svgz
- - rw-r--r-- 854 coloneqq2.svgz
- - rw-r--r-- 654 colonsim.svgz
- - rw-r--r-- 677 colonsim2.svgz
- - rw-r--r-- 1,415 complement.svgz
- - rw-r--r-- 654 cong.svgz
- - rw-r--r-- 652 conjunction.svgz
- - rw-r--r-- 645 coprod.svgz
- - rw-r--r-- 522 cup.svgz
- - rw-r--r-- 651 cup2.svgz
- - rw-r--r-- 624 curlyeqprec.svgz
- - rw-r--r-- 615 curlyeqsucc.svgz
- - rw-r--r-- 539 curlyvee.svgz
- - rw-r--r-- 1,144 curlyveedownarrow.svgz
- - rw-r--r-- 1,568 curlyveeuparrow.svgz
- - rw-r--r-- 539 curlywedge.svgz
- - rw-r--r-- 1,503 curlywedgedownarrow.svgz
- - rw-r--r-- 1,133 curlywedgeuparrow.svgz
- - rw-r--r-- 829 currency.svgz
- - rw-r--r-- 585 curvearrowleft.svgz
- - rw-r--r-- 596 curvearrowright.svgz
- - rw-r--r-- 787 dagger.svgz
- - rw-r--r-- 649 daleth.svgz
- - rw-r--r-- 414 dasharrow.svgz
- - rw-r--r-- 547 dashleftarrow.svgz
- - rw-r--r-- 541 dashrightarrow.svgz
- - rw-r--r-- 453 dashv.svgz
- - rw-r--r-- 1,274 davidsstar.svgz
- - rw-r--r-- 514 dblcolon.svgz
- - rw-r--r-- 971 ddagger.svgz
- - rw-r--r-- 1,318 ddddot.svgz
- - rw-r--r-- 1,241 dddot.svgz
- - rw-r--r-- 1,181 ddot.svgz
- - rw-r--r-- 569 ddots.svgz
- - rw-r--r-- 2,596 deco.svgz
- - rw-r--r-- 2,530 delim.svgz
- - rw-r--r-- 3,450 delim0.svgz
- - rw-r--r-- 2,544 delim1.svgz
- - rw-r--r-- 871 delta.svgz
- - rw-r--r-- 575 delta2.svgz
- - rw-r--r-- 1,224 descnode.svgz
- - rw-r--r-- 910 diagdown.svgz
- - rw-r--r-- 908 diagup.svgz
- - rw-r--r-- 1,320 diameter.svgz
- - rw-r--r-- 464 diamond.svgz
- - rw-r--r-- 367 diamond2.svgz
- - rw-r--r-- 897 diamondsuit.svgz
- - rw-r--r-- 1,123 digamma.svgz
- - rw-r--r-- 549 div.svgz
- - rw-r--r-- 685 divideontimes.svgz
- - rw-r--r-- 994 dot.svgz
- - rw-r--r-- 552 doteq.svgz
- - rw-r--r-- 494 doteq2.svgz
- - rw-r--r-- 639 doteqdot.svgz
- - rw-r--r-- 530 dotplus.svgz
- - rw-r--r-- 1,007 dots.svgz
- - rw-r--r-- 992 dotsb.svgz
- - rw-r--r-- 1,007 dotsc.svgz
- - rw-r--r-- 1,002 dotsi.svgz
- - rw-r--r-- 1,689 dotsint.svgz
- - rw-r--r-- 1,905 dotsintop.svgz
- - rw-r--r-- 1,001 dotsm.svgz
- - rw-r--r-- 1,007 dotso.svgz
- - rw-r--r-- 485 doublebarwedge.svgz
- - rw-r--r-- 511 doublecap.svgz
- - rw-r--r-- 519 doublecup.svgz
- - rw-r--r-- 480 downarrow.svgz
- - rw-r--r-- 512 downarrow2.svgz
- - rw-r--r-- 332 downarrow3.svgz
- - rw-r--r-- 515 downdownarrows.svgz
- - rw-r--r-- 445 downharpoonleft.svgz
- - rw-r--r-- 442 downharpoonright.svgz
- - rw-r--r-- 1,178 earth.svgz
- - rw-r--r-- 899 eighthnote.svgz
- - rw-r--r-- 855 ell.svgz
- - rw-r--r-- 624 empty.svgz
- - rw-r--r-- 872 emptyset.svgz
- - rw-r--r-- 962 epsilon.svgz
- - rw-r--r-- 728 eqcirc.svgz
- - rw-r--r-- 522 eqcolon.svgz
- - rw-r--r-- 550 eqcolon2.svgz
- - rw-r--r-- 527 eqqcolon.svgz
- - rw-r--r-- 552 eqqcolon2.svgz
- - rw-r--r-- 644 eqsim.svgz
- - rw-r--r-- 504 eqslantgtr.svgz
- - rw-r--r-- 503 eqslantless.svgz
- - rw-r--r-- 3,059 equation.svgz
- - rw-r--r-- 482 equiv.svgz
- - rw-r--r-- 946 eta.svgz
- - rw-r--r-- 2,381 eth.svgz
- - rw-r--r-- 764 exists.svgz
- - rw-r--r-- 3,200 export-others.svgz
- - rw-r--r-- 632 fallingdotseq.svgz
- - rw-r--r-- 649 fatbslash.svgz
- - rw-r--r-- 896 fatsemi.svgz
- - rw-r--r-- 653 fatslash.svgz
- - rw-r--r-- 1,418 fbox.svgz
- - rw-r--r-- 1,200 female.svgz
- - rw-r--r-- 1,218 fint.svgz
- - rw-r--r-- 1,386 fintop.svgz
- - rw-r--r-- 686 flat.svgz
- - rw-r--r-- 5,612 font.svgz
- - rw-r--r-- 545 forall.svgz
- - rw-r--r-- 1,027 frac-square.svgz
- - rw-r--r-- 3,391 frac.svgz
- - rw-r--r-- 1,545 framebox.svgz
- - rw-r--r-- 558 frown.svgz
- - rw-r--r-- 1,287 frownie.svgz
- - rw-r--r-- 1,063 fullmoon.svgz
- - rw-r--r-- 815 fullnote.svgz
- - rw-r--r-- 4,326 functions.svgz
- - rw-r--r-- 931 gamma.svgz
- - rw-r--r-- 786 gamma2.svgz
- - rw-r--r-- 387 ge.svgz
- - rw-r--r-- 1,383 gemini.svgz
- - rw-r--r-- 498 geq.svgz
- - rw-r--r-- 512 geqq.svgz
- - rw-r--r-- 502 geqslant.svgz
- - rw-r--r-- 380 gets.svgz
- - rw-r--r-- 520 gg.svgz
- - rw-r--r-- 546 ggg.svgz
- - rw-r--r-- 420 gggtr.svgz
- - rw-r--r-- 783 gimel.svgz
- - rw-r--r-- 2,292 gluon.svgz
- - rw-r--r-- 809 gnapprox.svgz
- - rw-r--r-- 519 gneq.svgz
- - rw-r--r-- 516 gneqq.svgz
- - rw-r--r-- 661 gnsim.svgz
- - rw-r--r-- 955 grave.svgz
- - rw-r--r-- 654 gtrapprox.svgz
- - rw-r--r-- 565 gtrdot.svgz
- - rw-r--r-- 544 gtreqless.svgz
- - rw-r--r-- 556 gtreqqless.svgz
- - rw-r--r-- 528 gtrless.svgz
- - rw-r--r-- 577 gtrsim.svgz
- - rw-r--r-- 491 gvertneqq.svgz
- - rw-r--r-- 848 halfnote.svgz
- - rw-r--r-- 883 hat.svgz
- - rw-r--r-- 947 hbar.svgz
- - rw-r--r-- 871 heartsuit.svgz
- - rw-r--r-- 959 hexagon.svgz
- - rw-r--r-- 1,102 hexstar.svgz
- - rw-r--r-- 618 hookleftarrow.svgz
- - rw-r--r-- 628 hookrightarrow.svgz
- - rw-r--r-- 1,189 hphantom.svgz
- - rw-r--r-- 1,199 hslash.svgz
- - rw-r--r-- 571 iddots.svgz
- - rw-r--r-- 1,652 idotsint.svgz
- - rw-r--r-- 597 iff.svgz
- - rw-r--r-- 2,686 iiiint.svgz
- - rw-r--r-- 2,926 iiiintop.svgz
- - rw-r--r-- 2,175 iiint.svgz
- - rw-r--r-- 2,332 iiintop.svgz
- - rw-r--r-- 1,556 iint.svgz
- - rw-r--r-- 1,716 iintop.svgz
- - rw-r--r-- 807 imath.svgz
- - rw-r--r-- 518 impliedby.svgz
- - rw-r--r-- 510 implies.svgz
- - rw-r--r-- 576 in.svgz
- - rw-r--r-- 889 infty.svgz
- - rw-r--r-- 790 inplus.svgz
- - rw-r--r-- 973 int.svgz
- - rw-r--r-- 434 intercal.svgz
- - rw-r--r-- 633 interleave.svgz
- - rw-r--r-- 1,000 intertext.svgz
- - rw-r--r-- 1,455 intop.svgz
- - rw-r--r-- 1,317 invdiameter.svgz
- - rw-r--r-- 683 inve.svgz
- - rw-r--r-- 532 invneg.svgz
- - rw-r--r-- 711 iota.svgz
- - rw-r--r-- 779 jmath.svgz
- - rw-r--r-- 540 join2.svgz
- - rw-r--r-- 1,252 jupiter.svgz
- - rw-r--r-- 1,021 kappa.svgz
- - rw-r--r-- 887 kreuz.svgz
- - rw-r--r-- 757 lambda.svgz
- - rw-r--r-- 802 lambda2.svgz
- - rw-r--r-- 482 land.svgz
- - rw-r--r-- 1,791 landdownint.svgz
- - rw-r--r-- 1,933 landdownintop.svgz
- - rw-r--r-- 1,627 landupint.svgz
- - rw-r--r-- 1,776 landupintop.svgz
- - rw-r--r-- 912 langle.svgz
- - rw-r--r-- 760 lbag.svgz
- - rw-r--r-- 776 lbag2.svgz
- - rw-r--r-- 1,119 lbrace.svgz
- - rw-r--r-- 869 lbrace_rbrace.svgz
- - rw-r--r-- 1,245 lbracket.svgz
- - rw-r--r-- 734 lbracket_rbracket.svgz
- - rw-r--r-- 452 lceil.svgz
- - rw-r--r-- 986 lceil_rceil.svgz
- - rw-r--r-- 513 ldotp.svgz
- - rw-r--r-- 524 ldots.svgz
- - rw-r--r-- 387 le.svgz
- - rw-r--r-- 1,102 leadsto.svgz
- - rw-r--r-- 460 leftarrow.svgz
- - rw-r--r-- 507 leftarrow2.svgz
- - rw-r--r-- 328 leftarrow3.svgz
- - rw-r--r-- 504 leftarrowtail.svgz
- - rw-r--r-- 729 leftarrowtriangle.svgz
- - rw-r--r-- 961 leftcircle2.svgz
- - rw-r--r-- 755 leftcircle3.svgz
- - rw-r--r-- 1,224 leftcircle4.svgz
- - rw-r--r-- 446 leftharpoondown.svgz
- - rw-r--r-- 443 leftharpoonup.svgz
- - rw-r--r-- 500 leftleftarrows.svgz
- - rw-r--r-- 1,161 leftmoon.svgz
- - rw-r--r-- 533 leftrightarrow.svgz
- - rw-r--r-- 554 leftrightarrow2.svgz
- - rw-r--r-- 1,078 leftrightarroweq.svgz
- - rw-r--r-- 519 leftrightarrows.svgz
- - rw-r--r-- 810 leftrightarrowtriangle.svgz
- - rw-r--r-- 491 leftrightharpoons.svgz
- - rw-r--r-- 886 leftrightsquigarrow.svgz
- - rw-r--r-- 752 leftslice.svgz
- - rw-r--r-- 467 leftthreetimes.svgz
- - rw-r--r-- 1,264 leftturn.svgz
- - rw-r--r-- 1,213 leo.svgz
- - rw-r--r-- 885 leq.svgz
- - rw-r--r-- 900 leqq.svgz
- - rw-r--r-- 505 leqslant.svgz
- - rw-r--r-- 752 lessapprox.svgz
- - rw-r--r-- 568 lessdot.svgz
- - rw-r--r-- 547 lesseqgtr.svgz
- - rw-r--r-- 565 lesseqqgtr.svgz
- - rw-r--r-- 527 lessgtr.svgz
- - rw-r--r-- 658 lesssim.svgz
- - rw-r--r-- 451 lfloor.svgz
- - rw-r--r-- 976 lfloor_rfloor.svgz
- - rw-r--r-- 368 lhd.svgz
- - rw-r--r-- 328 lhd2.svgz
- - rw-r--r-- 764 lhook.svgz
- - rw-r--r-- 1,158 libra.svgz
- - rw-r--r-- 1,181 lightning.svgz
- - rw-r--r-- 519 ll.svgz
- - rw-r--r-- 609 llbracket.svgz
- - rw-r--r-- 605 llceil.svgz
- - rw-r--r-- 677 llcorner.svgz
- - rw-r--r-- 623 llfloor.svgz
- - rw-r--r-- 541 lll.svgz
- - rw-r--r-- 422 llless.svgz
- - rw-r--r-- 706 llparenthesis.svgz
- - rw-r--r-- 964 lnapprox.svgz
- - rw-r--r-- 501 lneq.svgz
- - rw-r--r-- 607 lneqq.svgz
- - rw-r--r-- 450 lnot.svgz
- - rw-r--r-- 774 lnsim.svgz
- - rw-r--r-- 1,284 logof.svgz
- - rw-r--r-- 490 longarrownot.svgz
- - rw-r--r-- 477 longarrownot2.svgz
- - rw-r--r-- 473 longleftarrow.svgz
- - rw-r--r-- 518 longleftarrow2.svgz
- - rw-r--r-- 508 longleftrightarrow.svgz
- - rw-r--r-- 551 longleftrightarrow2.svgz
- - rw-r--r-- 484 longmapsfrom.svgz
- - rw-r--r-- 567 longmapsfrom2.svgz
- - rw-r--r-- 490 longmapsto.svgz
- - rw-r--r-- 568 longmapsto2.svgz
- - rw-r--r-- 463 longrightarrow.svgz
- - rw-r--r-- 510 longrightarrow2.svgz
- - rw-r--r-- 639 looparrowleft.svgz
- - rw-r--r-- 632 looparrowright.svgz
- - rw-r--r-- 481 lor.svgz
- - rw-r--r-- 488 lozenge.svgz
- - rw-r--r-- 1,435 lparen.svgz
- - rw-r--r-- 1,611 lparen_rparen.svgz
- - rw-r--r-- 672 lrcorner.svgz
- - rw-r--r-- 543 ltimes.svgz
- - rw-r--r-- 878 lvertneqq.svgz
- - rw-r--r-- 1,227 male.svgz
- - rw-r--r-- 1,255 maltese.svgz
- - rw-r--r-- 512 mapsfrom.svgz
- - rw-r--r-- 547 mapsfrom2.svgz
- - rw-r--r-- 435 mapsfromchar.svgz
- - rw-r--r-- 463 mapsfromchar2.svgz
- - rw-r--r-- 482 mapsto.svgz
- - rw-r--r-- 548 mapsto2.svgz
- - rw-r--r-- 349 mapstochar.svgz
- - rw-r--r-- 464 mapstochar2.svgz
- - rw-r--r-- 1,223 mars.svgz
- - rw-r--r-- 790 math-texts.svgz
- - rw-r--r-- 2,200 mathbb.svgz
- - rw-r--r-- 2,191 mathbb_C.svgz
- - rw-r--r-- 2,117 mathbb_H.svgz
- - rw-r--r-- 1,697 mathbb_N.svgz
- - rw-r--r-- 2,609 mathbb_Q.svgz
- - rw-r--r-- 2,302 mathbb_R.svgz
- - rw-r--r-- 1,560 mathbb_Z.svgz
- - rw-r--r-- 1,252 mathbf.svgz
- - rw-r--r-- 1,306 mathbin.svgz
- - rw-r--r-- 2,237 mathcal.svgz
- - rw-r--r-- 1,713 mathcal_F.svgz
- - rw-r--r-- 2,295 mathcal_H.svgz
- - rw-r--r-- 2,087 mathcal_L.svgz
- - rw-r--r-- 1,990 mathcal_O.svgz
- - rw-r--r-- 809 mathcircumflex.svgz
- - rw-r--r-- 1,181 mathclap.svgz
- - rw-r--r-- 1,102 mathdollar.svgz
- - rw-r--r-- 2,508 mathfrak.svgz
- - rw-r--r-- 1,701 mathit.svgz
- - rw-r--r-- 1,112 mathllap.svgz
- - rw-r--r-- 1,702 mathop.svgz
- - rw-r--r-- 2,378 mathord.svgz
- - rw-r--r-- 940 mathparagraph.svgz
- - rw-r--r-- 1,277 mathrel.svgz
- - rw-r--r-- 1,526 mathring.svgz
- - rw-r--r-- 1,128 mathrlap.svgz
- - rw-r--r-- 1,327 mathrm.svgz
- - rw-r--r-- 892 mathrm_T.svgz
- - rw-r--r-- 3,096 mathscr.svgz
- - rw-r--r-- 1,147 mathsection.svgz
- - rw-r--r-- 1,328 mathsf.svgz
- - rw-r--r-- 1,840 mathtt.svgz
- - rw-r--r-- 2,955 matrix.svgz
- - rw-r--r-- 1,077 mbox.svgz
- - rw-r--r-- 564 measuredangle.svgz
- - rw-r--r-- 1,321 mercury.svgz
- - rw-r--r-- 887 merge.svgz
- - rw-r--r-- 752 mho.svgz
- - rw-r--r-- 436 mid.svgz
- - rw-r--r-- 973 minuso.svgz
- - rw-r--r-- 449 models.svgz
- - rw-r--r-- 1,019 moo.svgz
- - rw-r--r-- 463 mp.svgz
- - rw-r--r-- 1,035 mu.svgz
- - rw-r--r-- 627 multimap.svgz
- - rw-r--r-- 918 nabla.svgz
- - rw-r--r-- 562 natural.svgz
- - rw-r--r-- 704 ncong.svgz
- - rw-r--r-- 434 ne.svgz
- - rw-r--r-- 467 nearrow.svgz
- - rw-r--r-- 674 neg.svgz
- - rw-r--r-- 1,738 neptune.svgz
- - rw-r--r-- 524 neq.svgz
- - rw-r--r-- 830 newmoon.svgz
- - rw-r--r-- 690 nexists.svgz
- - rw-r--r-- 688 ngeq.svgz
- - rw-r--r-- 742 ngeqq.svgz
- - rw-r--r-- 709 ngeqslant.svgz
- - rw-r--r-- 646 ngtr.svgz
- - rw-r--r-- 573 ni.svgz
- - rw-r--r-- 787 niplus.svgz
- - rw-r--r-- 529 nleftarrow.svgz
- - rw-r--r-- 605 nleftarrow2.svgz
- - rw-r--r-- 570 nleftrightarrow.svgz
- - rw-r--r-- 651 nleftrightarrow2.svgz
- - rw-r--r-- 697 nleq.svgz
- - rw-r--r-- 743 nleqq.svgz
- - rw-r--r-- 686 nleqslant.svgz
- - rw-r--r-- 629 nless.svgz
- - rw-r--r-- 604 nmid.svgz
- - rw-r--r-- 983 nnearrow.svgz
- - rw-r--r-- 974 nnwarrow.svgz
- - rw-r--r-- 447 not.svgz
- - rw-r--r-- 678 notin.svgz
- - rw-r--r-- 541 nparallel.svgz
- - rw-r--r-- 841 nplus.svgz
- - rw-r--r-- 787 nprec.svgz
- - rw-r--r-- 876 npreceq.svgz
- - rw-r--r-- 522 nrightarrow.svgz
- - rw-r--r-- 596 nrightarrow2.svgz
- - rw-r--r-- 614 nshortmid.svgz
- - rw-r--r-- 682 nshortparallel.svgz
- - rw-r--r-- 765 nsim.svgz
- - rw-r--r-- 629 nsubseteq.svgz
- - rw-r--r-- 629 nsubseteqq.svgz
- - rw-r--r-- 797 nsucc.svgz
- - rw-r--r-- 865 nsucceq.svgz
- - rw-r--r-- 659 nsupseteq.svgz
- - rw-r--r-- 682 nsupseteqq.svgz
- - rw-r--r-- 639 ntriangleleft.svgz
- - rw-r--r-- 701 ntrianglelefteq.svgz
- - rw-r--r-- 1,043 ntrianglelefteqslant.svgz
- - rw-r--r-- 661 ntriangleright.svgz
- - rw-r--r-- 707 ntrianglerighteq.svgz
- - rw-r--r-- 1,034 ntrianglerighteqslant.svgz
- - rw-r--r-- 762 nu.svgz
- - rw-r--r-- 593 nvdash.svgz
- - rw-r--r-- 708 nvdash2.svgz
- - rw-r--r-- 749 nvdash3.svgz
- - rw-r--r-- 698 nvdash4.svgz
- - rw-r--r-- 454 nwarrow.svgz
- - rw-r--r-- 868 obar.svgz
- - rw-r--r-- 570 oblong.svgz
- - rw-r--r-- 911 obslash.svgz
- - rw-r--r-- 789 ocircle.svgz
- - rw-r--r-- 949 octagon.svgz
- - rw-r--r-- 650 odot.svgz
- - rw-r--r-- 907 ogreaterthan.svgz
- - rw-r--r-- 1,965 oiint.svgz
- - rw-r--r-- 2,249 oiintop.svgz
- - rw-r--r-- 1,426 oint.svgz
- - rw-r--r-- 1,707 ointclockwise.svgz
- - rw-r--r-- 1,876 ointclockwiseop.svgz
- - rw-r--r-- 1,691 ointctrclockwise.svgz
- - rw-r--r-- 1,865 ointctrclockwiseop.svgz
- - rw-r--r-- 1,581 ointop.svgz
- - rw-r--r-- 892 olessthan.svgz
- - rw-r--r-- 916 omega.svgz
- - rw-r--r-- 897 omega2.svgz
- - rw-r--r-- 630 ominus.svgz
- - rw-r--r-- 641 openo.svgz
- - rw-r--r-- 690 oplus.svgz
- - rw-r--r-- 866 opposition.svgz
- - rw-r--r-- 672 oslash.svgz
- - rw-r--r-- 768 otimes.svgz
- - rw-r--r-- 906 ovee.svgz
- - rw-r--r-- 2,147 overbrace.svgz
- - rw-r--r-- 1,274 overleftarrow.svgz
- - rw-r--r-- 1,381 overleftrightarrow.svgz
- - rw-r--r-- 1,163 overline.svgz
- - rw-r--r-- 1,287 overrightarrow.svgz
- - rw-r--r-- 1,027 overset.svgz
- - rw-r--r-- 895 owedge.svgz
- - rw-r--r-- 446 owns.svgz
- - rw-r--r-- 454 parallel.svgz
- - rw-r--r-- 852 partial.svgz
- - rw-r--r-- 929 pentagon.svgz
- - rw-r--r-- 2,034 permil.svgz
- - rw-r--r-- 459 perp.svgz
- - rw-r--r-- 1,208 phantom.svgz
- - rw-r--r-- 1,007 phi.svgz
- - rw-r--r-- 966 phi2.svgz
- - rw-r--r-- 601 phone.svgz
- - rw-r--r-- 2,734 photon.svgz
- - rw-r--r-- 916 pi.svgz
- - rw-r--r-- 844 pi2.svgz
- - rw-r--r-- 1,169 pisces.svgz
- - rw-r--r-- 580 pitchfork.svgz
- - rw-r--r-- 904 pluto.svgz
- - rw-r--r-- 860 pm.svgz
- - rw-r--r-- 542 pointer.svgz
- - rw-r--r-- 544 prec.svgz
- - rw-r--r-- 827 precapprox.svgz
- - rw-r--r-- 615 preccurlyeq.svgz
- - rw-r--r-- 576 preceq.svgz
- - rw-r--r-- 873 precnapprox.svgz
- - rw-r--r-- 697 precneqq.svgz
- - rw-r--r-- 722 precnsim.svgz
- - rw-r--r-- 719 precsim.svgz
- - rw-r--r-- 622 prime.svgz
- - rw-r--r-- 681 prod.svgz
- - rw-r--r-- 933 propto.svgz
- - rw-r--r-- 1,083 psi.svgz
- - rw-r--r-- 1,012 psi2.svgz
- - rw-r--r-- 768 quarternote.svgz
- - rw-r--r-- 921 rangle.svgz
- - rw-r--r-- 785 rbag.svgz
- - rw-r--r-- 780 rbag2.svgz
- - rw-r--r-- 1,115 rbrace.svgz
- - rw-r--r-- 1,255 rbracket.svgz
- - rw-r--r-- 447 rceil.svgz
- - rw-r--r-- 733 recorder.svgz
- - rw-r--r-- 353 restriction.svgz
- - rw-r--r-- 446 rfloor.svgz
- - rw-r--r-- 369 rhd.svgz
- - rw-r--r-- 328 rhd2.svgz
- - rw-r--r-- 795 rho.svgz
- - rw-r--r-- 763 rhook.svgz
- - rw-r--r-- 469 rightarrow.svgz
- - rw-r--r-- 509 rightarrow2.svgz
- - rw-r--r-- 328 rightarrow3.svgz
- - rw-r--r-- 504 rightarrowtail.svgz
- - rw-r--r-- 731 rightarrowtriangle.svgz
- - rw-r--r-- 963 rightcircle2.svgz
- - rw-r--r-- 774 rightcircle3.svgz
- - rw-r--r-- 1,342 rightcircle4.svgz
- - rw-r--r-- 445 rightharpoondown.svgz
- - rw-r--r-- 444 rightharpoonup.svgz
- - rw-r--r-- 552 rightleftarrows.svgz
- - rw-r--r-- 494 rightleftharpoons.svgz
- - rw-r--r-- 1,163 rightmoon.svgz
- - rw-r--r-- 518 rightrightarrows.svgz
- - rw-r--r-- 773 rightslice.svgz
- - rw-r--r-- 689 rightsquigarrow.svgz
- - rw-r--r-- 462 rightthreetimes.svgz
- - rw-r--r-- 1,259 rightturn.svgz
- - rw-r--r-- 636 risingdotseq.svgz
- - rw-r--r-- 977 root.svgz
- - rw-r--r-- 1,447 rparen.svgz
- - rw-r--r-- 624 rrbracket.svgz
- - rw-r--r-- 607 rrceil.svgz
- - rw-r--r-- 596 rrfloor.svgz
- - rw-r--r-- 692 rrparenthesis.svgz
- - rw-r--r-- 542 rtimes.svgz
- - rw-r--r-- 1,057 sagittarius.svgz
- - rw-r--r-- 1,245 saturn.svgz
- - rw-r--r-- 1,243 scorpio.svgz
- - rw-r--r-- 452 searrow.svgz
- - rw-r--r-- 431 setminus.svgz
- - rw-r--r-- 674 sharp.svgz
- - rw-r--r-- 746 shortdownarrow.svgz
- - rw-r--r-- 995 shortintertext.svgz
- - rw-r--r-- 753 shortleftarrow.svgz
- - rw-r--r-- 430 shortmid.svgz
- - rw-r--r-- 449 shortparallel.svgz
- - rw-r--r-- 751 shortrightarrow.svgz
- - rw-r--r-- 744 shortuparrow.svgz
- - rw-r--r-- 1,041 sideset.svgz
- - rw-r--r-- 1,007 sidesetl.svgz
- - rw-r--r-- 915 sidesetn.svgz
- - rw-r--r-- 990 sidesetr.svgz
- - rw-r--r-- 687 sigma.svgz
- - rw-r--r-- 838 sigma2.svgz
- - rw-r--r-- 611 sim.svgz
- - rw-r--r-- 647 simeq.svgz
- - rw-r--r-- 905 slash.svgz
- - rw-r--r-- 559 smallfrown.svgz
- - rw-r--r-- 827 smallint.svgz
- - rw-r--r-- 418 smallsetminus.svgz
- - rw-r--r-- 545 smallsmile.svgz
- - rw-r--r-- 1,160 smash.svgz
- - rw-r--r-- 1,113 smashb.svgz
- - rw-r--r-- 1,113 smasht.svgz
- - rw-r--r-- 566 smile.svgz
- - rw-r--r-- 1,434 smiley.svgz
- - rw-r--r-- 893 space.svgz
- - rw-r--r-- 676 spadesuit.svgz
- - rw-r--r-- 641 sphericalangle.svgz
- - rw-r--r-- 429 sqcap.svgz
- - rw-r--r-- 426 sqcup.svgz
- - rw-r--r-- 1,881 sqiint.svgz
- - rw-r--r-- 2,071 sqiintop.svgz
- - rw-r--r-- 1,278 sqint.svgz
- - rw-r--r-- 1,448 sqintop.svgz
- - rw-r--r-- 953 sqrt-square.svgz
- - rw-r--r-- 2,202 sqrt.svgz
- - rw-r--r-- 455 sqsubset.svgz
- - rw-r--r-- 490 sqsubseteq.svgz
- - rw-r--r-- 459 sqsupset.svgz
- - rw-r--r-- 494 sqsupseteq.svgz
- - rw-r--r-- 456 square.svgz
- - rw-r--r-- 568 square2.svgz
- - rw-r--r-- 980 ssearrow.svgz
- - rw-r--r-- 655 sslash.svgz
- - rw-r--r-- 963 sswarrow.svgz
- - rw-r--r-- 993 stackrel.svgz
- - rw-r--r-- 1,130 stackrelthree.svgz
- - rw-r--r-- 514 star.svgz
- - rw-r--r-- 2,245 style.svgz
- - rw-r--r-- 880 sub.svgz
- - rw-r--r-- 549 subset.svgz
- - rw-r--r-- 694 subset2.svgz
- - rw-r--r-- 580 subseteq.svgz
- - rw-r--r-- 593 subseteqq.svgz
- - rw-r--r-- 651 subsetneq.svgz
- - rw-r--r-- 593 subsetneqq.svgz
- - rw-r--r-- 791 subsetplus.svgz
- - rw-r--r-- 870 subsetpluseq.svgz
- - rw-r--r-- 538 succ.svgz
- - rw-r--r-- 696 succapprox.svgz
- - rw-r--r-- 608 succcurlyeq.svgz
- - rw-r--r-- 568 succeq.svgz
- - rw-r--r-- 877 succnapprox.svgz
- - rw-r--r-- 587 succneqq.svgz
- - rw-r--r-- 721 succnsim.svgz
- - rw-r--r-- 638 succsim.svgz
- - rw-r--r-- 616 sum.svgz
- - rw-r--r-- 1,551 sun.svgz
- - rw-r--r-- 566 super.svgz
- - rw-r--r-- 549 supset.svgz
- - rw-r--r-- 694 supset2.svgz
- - rw-r--r-- 876 supseteq.svgz
- - rw-r--r-- 589 supseteqq.svgz
- - rw-r--r-- 575 supsetneq.svgz
- - rw-r--r-- 586 supsetneqq.svgz
- - rw-r--r-- 830 supsetplus.svgz
- - rw-r--r-- 878 supsetpluseq.svgz
- - rw-r--r-- 517 surd.svgz
- - rw-r--r-- 450 swarrow.svgz
- - rw-r--r-- 566 talloblong.svgz
- - rw-r--r-- 704 tau.svgz
- - rw-r--r-- 1,352 taurus.svgz
- - rw-r--r-- 1,077 text.svgz
- - rw-r--r-- 608 textdegree.svgz
- - rw-r--r-- 1,077 textnormal.svgz
- - rw-r--r-- 1,077 textrm.svgz
- - rw-r--r-- 1,410 textrm_AA.svgz
- - rw-r--r-- 1,575 textrm_O.svgz
- - rw-r--r-- 687 therefore.svgz
- - rw-r--r-- 771 theta.svgz
- - rw-r--r-- 951 theta2.svgz
- - rw-r--r-- 714 thickapprox.svgz
- - rw-r--r-- 622 thicksim.svgz
- - rw-r--r-- 737 thorn.svgz
- - rw-r--r-- 686 thorn2.svgz
- - rw-r--r-- 1,106 tilde.svgz
- - rw-r--r-- 507 times.svgz
- - rw-r--r-- 379 to.svgz
- - rw-r--r-- 679 top.svgz
- - rw-r--r-- 486 triangle.svgz
- - rw-r--r-- 500 triangledown.svgz
- - rw-r--r-- 441 triangleleft.svgz
- - rw-r--r-- 502 trianglelefteq.svgz
- - rw-r--r-- 948 trianglelefteqslant.svgz
- - rw-r--r-- 543 triangleq.svgz
- - rw-r--r-- 443 triangleright.svgz
- - rw-r--r-- 511 trianglerighteq.svgz
- - rw-r--r-- 946 trianglerighteqslant.svgz
- - rw-r--r-- 509 twoheadleftarrow.svgz
- - rw-r--r-- 540 twoheadrightarrow.svgz
- - rw-r--r-- 883 twonotes.svgz
- - rw-r--r-- 456 ulcorner.svgz
- - rw-r--r-- 905 underbar.svgz
- - rw-r--r-- 2,173 underbrace.svgz
- - rw-r--r-- 1,327 underleftarrow.svgz
- - rw-r--r-- 1,383 underleftrightarrow.svgz
- - rw-r--r-- 1,202 underline.svgz
- - rw-r--r-- 1,312 underrightarrow.svgz
- - rw-r--r-- 510 underscore.svgz
- - rw-r--r-- 1,069 underset.svgz
- - rw-r--r-- 1,218 undertilde.svgz
- - rw-r--r-- 397 unlhd.svgz
- - rw-r--r-- 397 unrhd.svgz
- - rw-r--r-- 482 uparrow.svgz
- - rw-r--r-- 511 uparrow2.svgz
- - rw-r--r-- 330 uparrow3.svgz
- - rw-r--r-- 498 updownarrow.svgz
- - rw-r--r-- 550 updownarrow2.svgz
- - rw-r--r-- 443 upharpoonleft.svgz
- - rw-r--r-- 442 upharpoonright.svgz
- - rw-r--r-- 591 uplus.svgz
- - rw-r--r-- 810 upsilon.svgz
- - rw-r--r-- 907 upsilon2.svgz
- - rw-r--r-- 508 upuparrows.svgz
- - rw-r--r-- 1,457 uranus.svgz
- - rw-r--r-- 449 urcorner.svgz
- - rw-r--r-- 1,052 utilde.svgz
- - rw-r--r-- 1,082 varangle.svgz
- - rw-r--r-- 795 varbigcirc.svgz
- - rw-r--r-- 1,220 varcopyright.svgz
- - rw-r--r-- 755 varcurlyvee.svgz
- - rw-r--r-- 765 varcurlywedge.svgz
- - rw-r--r-- 685 vardelta2.svgz
- - rw-r--r-- 821 varepsilon.svgz
- - rw-r--r-- 876 vargamma2.svgz
- - rw-r--r-- 951 varhexagon.svgz
- - rw-r--r-- 1,105 varhexstar.svgz
- - rw-r--r-- 1,232 variiint.svgz
- - rw-r--r-- 1,378 variiintop.svgz
- - rw-r--r-- 1,194 variint.svgz
- - rw-r--r-- 1,342 variintop.svgz
- - rw-r--r-- 720 varint.svgz
- - rw-r--r-- 883 varintop.svgz
- - rw-r--r-- 948 varkappa.svgz
- - rw-r--r-- 894 varlambda2.svgz
- - rw-r--r-- 882 varnothing.svgz
- - rw-r--r-- 1,354 varoast.svgz
- - rw-r--r-- 836 varobar.svgz
- - rw-r--r-- 886 varobslash.svgz
- - rw-r--r-- 999 varocircle.svgz
- - rw-r--r-- 940 varodot.svgz
- - rw-r--r-- 898 varogreaterthan.svgz
- - rw-r--r-- 2,354 varoiint.svgz
- - rw-r--r-- 2,497 varoiintop.svgz
- - rw-r--r-- 1,197 varoint.svgz
- - rw-r--r-- 1,668 varointclockwise.svgz
- - rw-r--r-- 1,832 varointclockwiseop.svgz
- - rw-r--r-- 1,621 varointctrclockwise.svgz
- - rw-r--r-- 1,793 varointctrclockwiseop.svgz
- - rw-r--r-- 1,367 varointop.svgz
- - rw-r--r-- 895 varolessthan.svgz
- - rw-r--r-- 980 varomega2.svgz
- - rw-r--r-- 806 varominus.svgz
- - rw-r--r-- 956 varoplus.svgz
- - rw-r--r-- 879 varoslash.svgz
- - rw-r--r-- 899 varotimes.svgz
- - rw-r--r-- 913 varovee.svgz
- - rw-r--r-- 892 varowedge.svgz
- - rw-r--r-- 908 varphi.svgz
- - rw-r--r-- 1,230 varphi2.svgz
- - rw-r--r-- 940 varpi.svgz
- - rw-r--r-- 1,041 varpi2.svgz
- - rw-r--r-- 669 varpropto.svgz
- - rw-r--r-- 1,309 varpsi2.svgz
- - rw-r--r-- 1,150 varrho.svgz
- - rw-r--r-- 793 varsigma.svgz
- - rw-r--r-- 774 varsigma2.svgz
- - rw-r--r-- 575 varsubsetneq.svgz
- - rw-r--r-- 596 varsubsetneqq.svgz
- - rw-r--r-- 567 varsupsetneq.svgz
- - rw-r--r-- 600 varsupsetneqq.svgz
- - rw-r--r-- 1,057 vartheta.svgz
- - rw-r--r-- 1,110 vartheta2.svgz
- - rw-r--r-- 834 vartimes.svgz
- - rw-r--r-- 723 vartriangle.svgz
- - rw-r--r-- 486 vartriangleleft.svgz
- - rw-r--r-- 488 vartriangleright.svgz
- - rw-r--r-- 1,026 varupsilon2.svgz
- - rw-r--r-- 1,182 varxi2.svgz
- - rw-r--r-- 501 vcentcolon.svgz
- - rw-r--r-- 458 vdash.svgz
- - rw-r--r-- 479 vdash2.svgz
- - rw-r--r-- 493 vdash3.svgz
- - rw-r--r-- 534 vdots.svgz
- - rw-r--r-- 1,134 vec.svgz
- - rw-r--r-- 450 vee.svgz
- - rw-r--r-- 481 veebar.svgz
- - rw-r--r-- 1,177 venus.svgz
- - rw-r--r-- 1,066 vernal.svgz
- - rw-r--r-- 331 vert.svgz
- - rw-r--r-- 687 vert2.svgz
- - rw-r--r-- 1,524 virgo.svgz
- - rw-r--r-- 1,163 vphantom.svgz
- - rw-r--r-- 1,376 wasylozenge.svgz
- - rw-r--r-- 857 wasypropto.svgz
- - rw-r--r-- 634 wasytherefore.svgz
- - rw-r--r-- 451 wedge.svgz
- - rw-r--r-- 1,030 widehat.svgz
- - rw-r--r-- 1,070 widetilde.svgz
- - rw-r--r-- 1,105 wp.svgz
- - rw-r--r-- 596 wr.svgz
- - rw-r--r-- 652 xbox3.svgz
- - rw-r--r-- 1,503 xcancel.svgz
- - rw-r--r-- 1,112 xi.svgz
- - rw-r--r-- 1,154 xi2.svgz
- - rw-r--r-- 862 xleftarrow.svgz
- - rw-r--r-- 912 xrightarrow.svgz
- - rw-r--r-- 1,995 yen.svgz
- - rw-r--r-- 946 zeta.svgz