Page MenuHomeWickedGov Phorge
Files F4058216

intent_mathml_testing_latex_annotated.json
No OneTemporary
Actions

Size
17 KB
Referenced Files
None
Subscribers
None

intent_mathml_testing_latex_annotated.json
View Options

[
{
"name": "decimal comma",
"latex": "1,234+1{,}234",
"latexi": "...",
"skipped": true,
"id": "017edc9e4583c9b0fd2ee3169c126446"
},
{
"name": "grouping comma",
"latex": "1,234; 1,234; 1,234,000",
"skipped": true,
"id": "db40da704aa8d8c5c9b2a5d07c1e3b85"
},
{
"name": "mn -3",
"latex": "-3",
"latexi": "\\intent{-3}{intent='-3'}",
"id": "683ba0a3b399a6196311c3ade0827964"
},
{
"name": "mrow mo -3",
"latex": "-3",
"latexi": "\\intent{-3}{intent='-3'}",
"id": "602a20326c8bb860f1f368368ccaacab"
},
{
"name": "squared",
"latex": "x^2",
"latexi": "\\intent{x^2}{intent='x_squared'}",
"id": "2907599147d0a81ecd2e18411188ffda"
},
{
"name": "cubed",
"latex": "x^3",
"latexi": "\\intent{x^3}{intent='x_cubed'}",
"id": "adfc266fea5eee8d882487a3c469d23d"
},
{
"name": "2nd Cohomology",
"latex": "\\mathrm{H}^2",
"latexi": "\\intent{\\mathrm{H}^\\intent{2}{arg='n'}}{intent='index:silent(\\$H,\\$n)'}",
"id": "e6ce43e9b0b6830ba38e7b9ccc26dd4b"
},
{
"name": "R 2",
"latex": "\\mathbb{R}^2",
"latexi": "\\intent{\\mathbb{R}^\\intent{2}{arg='n'}}{intent='vector-space-power($R,$n)'}",
"id": "1048532acb9cbb0f36557eeb3923da3b"
},
{
"name": "x to nth",
"latex": "x^n",
"latexi": "x^n",
"skipped": true,
"id": "9d0c7001d7d17c1787d876b94f0e0c5c"
},
{
"name": "dagger",
"latex": "x^\\dagger",
"latexi": "x^\\intent{\\dagger}{intent='x-dagger'}",
"id": "bf4860ed94f13787fe5a13567c9b924d"
},
{
"name": "x transpose",
"latex": "x^{\\mathrm{T}}",
"latexi": "\\intent{\\intent{x}{arg='arg'}^{\\mathrm{\\intent{T}{arg='op' intent='transpose'}}}}{intent='$op($arg)'}",
"id": "f69c0d6dc093dc36c9269a6561038bb5"
},
{
"name": "x transpose pre-sup",
"latex": "{}^{\\mathrm{T}}x",
"latexi": "\\intent{{}^{\\mathrm{\\intent{T}{arg='op' intent='transpose'}}}x}{intent='$op($arg)'}",
"id": "ede527b5e0f611c91277a93e11476a02"
},
{
"name": "x sub transpose",
"latex": "x_{ij}^{\\mathrm{T}}",
"latexi": "\\intent{x_{\\intent{ij}{arg='sub' intent='index'}}^{\\mathrm{\\intent{T}{intent='transpose:postfix'}}}}{intent='transpose(index:silent($x,$sub))'}",
"id": "6f08481aad490542112793a2f05fc507"
},
{
"name": "ordinal 4th",
"latex": "4 \\mathrm{th}",
"latexi": "4{\\mathrm{\\intent{th}{intent='ordinal-mark'}}}",
"id": "13e8ce1d50a50fb0cf729ecc396e462e"
},
{
"name": "formal power series (issue with lBrack)",
"latex": "A=\\sum_0^\\infty a_n X^n \\in R\\lBrack X \\rBrack",
"latexi": "A=\\sum_0^\\infty a_n X^n \\in \\intent{R\\lBrack X}{intent='power-series($r,$x)'} \\rBrack",
"id": "24d51362b56f6123ce1c1c5a8872ceba",
"skipped": true
},
{
"name": "sin squared plus cos squared",
"latex": "\\sin^2\\theta + \\cos^2\\theta=1",
"latexi": "\\sin^2\\intent{\\theta}{intent='theta'} + \\cos^2\\intent{\\theta}{intent='theta'}=1",
"id": "152f0c6492f7e179a08bcebe6c63ddca"
},
{
"name": "binom n k",
"latex": "\\binom{n}{k}",
"latexi": "\\intent{\\binom{n}{k}}{intent='binomial($n,$k)'}",
"id": "e527352e28a43e6583fbbaa4418e50d1"
},
{
"name": " binom sup n C sub k",
"latex": "{}^n C_k",
"latexi": "\\intent{{}^n C_k}{intent='binomial($n,$k)'}",
"id": "66ed419d09924ec6e86b6fa6192a5ac5"
},
{
"name": " binom C sup n sub k",
"latex": "C^n_k",
"latexi": "\\intent{C^n_k}{intent='binomial($n,$k)'}",
"id": "89001a40638a748b95e5885b771d9a57"
},
{
"name": " binom C n k",
"latex": "C(n,k)",
"latexi": "\\intent{C(n,k)}{intent='binomial($n,$k)'}",
"id": "64545c92aa1c6e86dd7e9d8781d51443"
},
{
"name": " permutations sup n P sub k",
"latex": "{}^n P_k",
"latexi": "\\intent{{}^n P_k}{intent='permutation($n,$k)'}",
"id": "479195ddf56ff4c6f095b8999439eae0"
},
{
"name": " permutations P sup n sub k",
"latex": "P^n_k",
"latexi": "\\intent{P^n_k}{intent='P($n,$k)'}",
"id": "700e9e1c59044c764b0d3b6fcaff446d"
},
{
"name": " permutations P n k",
"latex": "P(n,k)",
"latexi": "\\intent{P(n,k)}{intent='permutation-symbol($n,$k)'}",
"id": "293789944389185c3b756bef34978108"
},
{
"name": "subset",
"latex": "x \\subset y",
"latexi": "x \\intent{\\subset}{intent='subset'} y",
"id": "a3c7ec1076255080060573e304ad19fa"
},
{
"name": " parallel ",
"latex": "x \\parallel y",
"latexi": "x \\intent{\\parallel}{intent='parallel'} y",
"id": "28cc9ebf3685b177e68ed192a529baad"
},
{
"name": "Ackerman or A",
"latex": "A(m,n)",
"latexi": "\\intent{\\intent{A}{arg='A' intent='Ackerman'}(m,n)}{intent='$A($n,$m)}",
"id": "e1c0d92825fe91e6496ba18632787fc7"
},
{
"name": "low (g\u2218h)\u2032(x) (corrected special chars)",
"latex": "(g\u2218h)\u2032(x)",
"latexi": "\\intent{\\intent{(g\\intent{*}{arg='op1' intent='function-composition'}h)}{arg='op3' intent='$op2($composed)'}\\intent{1stder}{arg='op2' intent='first-derivative'}(x)}{intent='$op3($x)'}",
"id": "fb69a6813c7d5db626fe030aa4a285d0"
},
{
"name": "high (g\u2218h)\u2032(x) (corrected special chars)",
"latex": "(g\u2218h)\u2032(x)",
"latexi": "\\intent{(g*h)1stder(x)}{intent='first-derivative(function-composition:infix(g,h))(x)}",
"id": "dcfe1db97432ea0244c32bf4052e12f7"
},
{
"name": "apply (g\u2218h)\u2032(x) (corrected special chars)",
"latex": "(g\u2218h)\u2032(x)",
"latexi": "\\intent{\\intent{\\intent{(g\\intent{*}{arg='op1' intent='function-composition'}h)}{arg='composed' intent='apply:infix($op1,$g,$h)'}}{arg='op3' intent='apply($op2,$composed)}\\intent{1stder}{arg='op2' intent='first-derivative'}(x)}{intent='apply($op3,$x)'}",
"id": "99c071dbf49e1ca438434dc4b82aac35"
},
{
"name": "leaf (g\u2218h)\u2032(x) (corrected special chars)\"",
"latex": "(g\u2218h)\u2032(x)",
"latexi": "\\intent{\\intent{(g\\intent{*}{intent='composed-with'}h)}{arg='composed'}}{intent='first-derivative($composed)'}1stder(x)",
"id": "c3e77c30ccf21d4eaec512ba6db42579"
},
{
"name": "hof convex conjugate",
"latex": "f^*(p)",
"latexi": "\\intent{f^*(p)}{intent='convex-conjugate(f)(p)'}",
"id": "fb3f57e2f442a3674fda7159a3b92229"
},
{
"name": "intent on prefix (fixed char with r)",
"latex": "🐇 X",
"latexi": "\\intent{r}{intent='my-function'} X",
"id": "a44c0d69dd03eec9ca3b2ad816893e9d"
},
{
"name": "intent on mrow of prefix mo (fixed char with r)",
"latex": "🐇 X",
"latexi": "\\intent{r X}{intent='my-function($X)'}",
"id": "000ef44ac98c1bf35301c50ef7580af7"
},
{
"name": "vectimes hints",
"latex": "x \\times y",
"latexi": "\\intent{x}{arg='x'} \\intent{\\times}{arg='prod' intent='cross-product'} \\intent{y}{arg='y'}",
"id": "0fc48295fd811e6b1488687b21c650f2"
},
{
"name": "x foo/boxplus y",
"latex": "x \\boxplus y",
"latexi": "\\intent{x \\boxplus y}{intent='foo:infix($x,$y)'}",
"id": "847441a4fb59f830796a988837647e4c"
},
{
"name": "vert x abs (corrected to l-r-Vert)",
"latex": "\\lvert x\\rvert",
"latexi": "\\intent{\\lVert x\\rVert}{intent='absolute-value($x)'}",
"id": "6cb782e8d1dc1ff1670af488b5f565f1"
},
{
"name": "l2 norm x (corrected to l-r-Vert)",
"latex": "\\lvert x\\rvert_2",
"latexi": "\\intent{\\lVert x\\rVert_2}{intent='l2-norm($x)'}",
"id": "7e6435549105d86d5843fd7daa24ac07"
},
{
"name": "vert M determinant (corrected to l-r-Vert)",
"latex": "\\lvert M\\rvert",
"latexi": "\\intent{\\lVert M\\rVert}{intent='determinant($M)'}",
"id": "46be8bdf7945165451836ec6f9ae82ab"
},
{
"name": "vert abcd determinant",
"latex": "\\begin{vmatrix}a&b\\\\c&d\\end{vmatrix}",
"latexi": "\\intent{\\intent{\\begin{vmatrix}a&b\\\\c&d\\end{vmatrix}}{arg='M' intent=':matrix'}}{intent='determinant($M)'}",
"id": "06dfe7acbde9b5efd540d5b311ece76f"
},
{
"name": "Vert x magnitude",
"latex": "\\lVert x\\rVert",
"latexi": "\\intent{\\lVert x\\rVert}{intent='magnitude($x)'}",
"id": "92513434f7bc7fe4c9ae0c82c88c96e1"
},
{
"name": "open-open inverted bracket (fixed mathopen-close)",
"latex": "\\mathopen] x,y\\mathclose[\\rVert",
"latexi": "\\intent{\\mathopen{]} x,y\\mathclose{[}\\rVert}{intent='open-interval($x,$y)'}",
"id": "b14792603f091e1cf28e3dd132815f4a"
},
{
"name": "open-open",
"latex": "(x,y)",
"latexi": "\\intent{(x,y)}{intent='open-interval($x,$y)'}",
"id": "27bfe4359a3cb1b137874cb6f177f82d"
},
{
"name": "open-closed",
"latex": "(x,y]",
"latexi": "\\intent{(x,y]}{intent='open-closed-interval($x,$y}",
"id": "c0f15cfea235dae42494b5a6136b03e3"
},
{
"name": "closed-open",
"latex": "[x,y)",
"latexi": "\\intent{[x,y)}{intent='closed-open-interval($x,$y)'}",
"id": "89c82842a6c245fbe4771146a19b0583"
},
{
"name": "closed-closed",
"latex": "[x,y]",
"latexi": "\\intent{[x,y]}{intent='closed-interval($x,$y)'}",
"id": "f857e87ac030876a5f7afe6d29adc52c"
},
{
"name": "cycle thin space",
"latex": "(a\\,b\\,c\\,d)",
"latexi": "\\intent{(a\\,b\\,c\\,d)}{intent='vector($x,$y,$c,$d)'}",
"id": "d0a5d6a1ff64a1c04fe4646297736087"
},
{
"name": "bmatrix",
"latex": "\\begin{bmatrix} a&b\\\\ x&y \\end{bmatrix}",
"latexi": "\\intent\\intent{{\\begin{bmatrix} a&b\\\\ x&y \\end{bmatrix}}}{arg='m' intent=':matrix}{intent='$m'}",
"id": "40b8ecf2d091af0e003b076d2eed9a39"
},
{
"name": "pmatrix",
"latex": "\\begin{pmatrix} a&b\\\\ x&y \\end{pmatrix}",
"latexi": "\\intent{\\intent{\\begin{pmatrix} a&b\\\\ x&y \\end{pmatrix}}{arg='m' intent=':matrix'}}{intent='$m'}",
"id": "b0326ed98970ae5b4d13976dda3bd0b5"
},
{
"name": "braced system of equations (fixed: left right terminated with parenth)",
"latex": "\\left\\{\\begin{aligned} x+y &= 2 \\\\ x-y &=0 \\end{aligned}\\right.",
"latexi": "\\intent{\\intent{\\left ( \\begin{aligned} x+y &= 2 \\\\ x-y &=0 \\end{aligned} \\right )}{arg='m' intent=':equations'}}{intent='$m'}",
"id": "7aa03d6dec1bce2ead484a65161df1cd"
},
{
"name": "align 1",
"latex": "\\begin{align}...",
"latexi": "\u00b7\\intent{\\begin{align}...}{intent=':equations'}",
"skipped": true,
"id": "8b12da51c6b5482c95bb54ccdc5605fc"
},
{
"name": " alignment with wrapped line",
"latex": "\\begin{aligned}... wrapped",
"latexi": "\\begin{aligned}... wrapped .....",
"skipped": true,
"id": "3a54aa6dad9db715c87af045bfd5fcde"
},
{
"name": "aligned derivation",
"latex": "\\begin{align}...",
"latexi": "\\begin{align}...",
"skipped": true,
"id": "6f65c4b23ee07e2568a04a53b30c795f"
},
{
"name": "dot x",
"latex": "\\dot{x}",
"latexi": "\\intent{\\dot{x}}{intent='derivative($x,1)'}",
"id": "c25f1dbedb5de810c420d5fd07dcfd86"
},
{
"name": "ddot x",
"latex": "\\ddot{x}",
"latexi": "\\intent{\\ddot{x}}{intent='derivative($x,2)'}",
"id": "450e30edd13ef3fa12569bf48dfa30be"
},
{
"name": "dx by dt",
"latex": "\\frac{dx}{dt}",
"latexi": "\\intent{\\frac{dx}{dt}}{intent='derivative($x,1,$t)'}",
"id": "54afe7628ceac40ee391f52e48b2bac8"
},
{
"name": "d by dt f of t",
"latex": "\\frac{d}{dt}f(t)",
"latexi": "\\intent{\\frac{d}{dt}f(t)}{intent='derivative($ft,1,$t)'}",
"id": "165432696535dbe9f054fd44b9bd6309"
},
{
"name": "dx2 by dt2",
"latex": "\\frac{d^2x}{dt^2}",
"latexi": "\\intent{\\frac{d^2x}{dt^2}}{intent='derivative($x,2,$t)'}",
"id": "c0bd9c7ca999bd5978e605557ce21b51"
},
{
"name": "partial df by dx dy",
"latex": "\\frac{\\partial^2 f}{\\partial x \\partial y}",
"latexi": "\\intent{\\frac{\\partial^2 f}{\\partial x \\partial y}}{intent='partial-second-derivative($f,$x,$y)'}",
"id": "0aad0e564c4ec2de1122900012952f11"
},
{
"name": "int f(x) dx",
"latex": "\\int f(x) dx",
"latexi": "...",
"skipped": true,
"id": "b8f7ff33d564efef25b990dd2a6ee6b7"
},
{
"name": "defint 0 to 1 x squared",
"latex": "\\int_0^1 x^2 dx",
"latexi": "...",
"skipped": true,
"id": "301d3c2e7eac784da0300a8b36c1b2a9"
},
{
"name": "evaluate 2x at 1 and 0 bracket",
"latex": "[2x]_0^1",
"latexi": "...",
"skipped": true,
"id": "c9e745d476ab9bfc8e2d4f044179afb7"
},
{
"name": "evaluate 2x at 1 and 0 bracket expression in base ",
"latex": "[2x]_0^1",
"latexi": "...",
"skipped": true,
"id": "43692ab32dcbb00415649ba18d231c32"
},
{
"name": "evaluate 2x at 1 and 0 vertical bar",
"latex": "2x|_0^1",
"latexi": "...",
"skipped": true,
"id": "0c63769fb597b4cbd7924e9cba937ca3"
},
{
"name": "evaluate 2x at 1 and 0 vertical bar expression in base",
"latex": "2x|_0^1",
"latexi": "...",
"skipped": true,
"id": "074437988ce3e238298e9b105d6ecfbe"
},
{
"name": "oint 1 over z dz",
"latex": "\\oint \\frac{1}{z} dz",
"latexi": "...",
"skipped": true,
"id": "8dbb651bc0d2382993192f6310305db9"
},
{
"name": " NFC v dot and w dot (fixed just use normal v and w)",
"latex": "\\dot{v}**2+\\dot{w}**2",
"latexi": "\\intent{\\intent{\\dot{v}**\\intent{2}{arg='n'}}{arg='v' intent='first-deriv(v)'}+\\intent{\\dot{w}**\\intent{2}{arg='n'}}{intent='power($w, $n)'}}{intent='power($v, $n)'}",
"id": "8a1ff742386c9d95be2bfe85af9c98b3"
},
{
"name": "x with string",
"latex": "x",
"latexi": "\\intent{x}{intent='the_variable_x'}",
"id": "c91d1449db85d1186fcce402dbfae26b"
},
{
"name": "a plus b factorial unary plus intent",
"latex": "a+b!",
"latexi": "\\intent{a\\intent{+}{arg='p' intent='plus'}b\\intent{!}{arg='f' intent='factorial'}}{intent='$p(_($a, $f($b)))'}",
"id": "6b99f97897a5b53ddce315859d526f45"
},
{
"name": "Properties on argref",
"latex": "a+b",
"latexi": "\\intent{a\\intent{+}{arg='p' intent='plus'}\\intent{b}{arg='b' intent='b:negative-int-int'}}{intent='foo:int:silent(bar:positive-int-int, $a:foo-bar-foo-bar, $b:number)}",
"id": "5b3972811b305dc6b5d742bd7e5e0288"
},
{
"name": "free r-algebra on x",
"latex": "R\\langle X\\rangle",
"latexi": "\\intent{R\\langle X\\rangle}{intent='_(free, $r, _algebra_on, $x)'}",
"id": "dc9d1a5f6cdc19647066e7237b22c2d2"
},
{
"name": "x plus 2 times the absolute-value of y minus z (fixed rVert and lVert)",
"latex": "x+2\\lvert y-z\\rvert",
"latexi": "\\intent{x+2\\lVert y-z\\rVert}{intent='plus:infix($x,times:infix(2,absolute-value(minus:infix($y,$z))))'}",
"id": "8f3e17276b76efbac0ac1e647b220eb1"
},
{
"name": "NCR x28 and x24",
"latex": "\\log x",
"latexi": "\\intent{\\log x}{intent='log(x)'}",
"id": "b8b11e21469bd78e360b91de46fc7c4c"
},
{
"name": "nested html b",
"latex": "x+\\text{a \\textbf{bold} word",
"latexi": "...",
"skipped": true,
"id": "099561ee187976f9a2786b9f2f343664"
},
{
"name": "H20",
"latex": "\\ce{H20}",
"latexi": "\\intent{\\ce{\\intent{H}{intent=':chemical-element'}2\\intent{0}{intent=':chemical-element'}}}{intent=':chemical-formula'}",
"id": "eafded0189cc86f7e73ddbb61fb80645",
"usemhchem": true
},
{
"name": "2 H2O \u2192 2 H2 + O (fixed arrows)",
"latex": "\\ce{2 H2O -> 2 H2 + O2}",
"latexi": "\\intent{\\ce{\\intent{2 \\intent{H}{intent=':chemical-element'}2\\intent{O}{intent=':chemical-element'}}{intent=':chemical-formula'} -> \\intent{2 \\intent{H}{intent=':chemical-element'}2}{ intent=':chemical-formula'} + \\intent{\\intent{O}{intent=':chemical-element'}2}{ intent=':chemical-formula'}}}{intent=':chemical-equation'}",
"id": "aa6dda9e5698b378c6c6ae6e945f7d2d",
"usemhchem": true
},
{
"name": "0-ary divides",
"latex": " - ",
"latexi": "\\intent{ - }{intent='divides'}",
"id": "6d0253b60611a4d376e6ac673a58c157"
},
{
"name": "1-ary divides",
"latex": " - ",
"latexi": "\\intent{ - }{intent='divides(w,x,y)'}",
"id": "e3e958b5e0acaf9e6bf2269b03696d99"
},
{
"name": "3-ary divides",
"latex": " - ",
"latexi": "\\intent{ - }{intent='divides(w,x,y)'}",
"id": "772c48cd62a4c9959232305fd0340551"
},
{
"name": "1-ary ray",
"latex": " - ",
"latexi": "\\intent{ - }{intent='ray($X)'}",
"id": "c3d4d52ea59ec3b3cbece1627193d227"
},
{
"name": "content mathml sin x",
"latex": "\\sin x",
"latexi": "\\intent{\\sin x}{intent='sin(x)'}",
"id": "7414316c7cc37d6bc58aeb42eb638ca9"
},
{
"name": "bad intent paren",
"latex": " \\frac{x}{y} ",
"latexi": "\\intent{\\frac{x}{y}}{intent='hmm)('}",
"id": "75ac73906d50d6469149b617243b7228",
"shouldfail": true
},
{
"name": "bad intent argref",
"latex": " 1.234 + x",
"latexi": "\\intent{ 1.234 + x }{intent='sum($a,$b)'}",
"id": "6a2d39eea4ff1322559cc1afb8171bb1",
"shouldfail": true
},
{
"name": "bad intent arg names",
"latex": "1.234 + x",
"latexi": "\\intent{ 1.234 + \\intent{x}{arg=':x:'} }{ intent='sum($1.234,$:x:)}",
"id": "2cd5988f19d5c8b2a81e6430f07706c5",
"shouldfail": true
},
{
"name": "multiple identifiers",
"latex": "x",
"latexi": "\\intent{x}{intent='one two'}",
"id": "1e0c633b76e9a128d2b6f36f9daa4a97"
},
{
"name": "bad number",
"latex": "12",
"latexi": "\\intent{12}{intent='1.2e1'}",
"id": "b07028f8b3ae58a97256a8fd2f155955",
"shouldfail": true
},
{
"name": "bad intent subexpression",
"latex": " - ",
"skipped": true,
"id": "61548e17b2ce0e75fb1a9561a78fb1ea"
},
{
"name": "Free text just say this",
"latex": "x",
"latexi": "\\intent{x}{intent='just say this'}",
"id": "a5c7258818eeb3d4b1a0894eaae79731"
},
{
"name": "Free text with argref",
"latex": "x",
"latexi": "\\intent{x}{intent='just say this about $x'}",
"id": "5061d310d6113d9e83d296469b8b8518",
"shouldfail": true
},
{
"name": "intent \ud83d\udc07",
"latex": "\ud83d\udc07 X",
"latexi": "\\intent{\ud83d\udc07 X}{intent='🐇}",
"id": "2756c5ae3e9e284d3369e4818c818553",
"skipped": true
}
]

File Metadata

Mime Type
application/json
Expires
Aug 16 2026, 04:36 (12 w, 1 d ago)
Storage Engine
local-disk
Storage Format
Raw Data
Storage Handle
fc/23/684ea05befb3ea4420f48b276194
Default Alt Text
intent_mathml_testing_latex_annotated.json (17 KB)

Event Timeline