Skip to content

Instantly share code, notes, and snippets.

@cprodescu

cprodescu/gist:fe4380ea869ac219f26c

Created July 3, 2014 16:53
Show Gist options
  • Save cprodescu/fe4380ea869ac219f26c to your computer and use it in GitHub Desktop.
Save cprodescu/fe4380ea869ac219f26c to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.json
{
"total":32,
"hits":[
{
"id":"./content/http..mathhub.info/smglom/mv/argseq.omdoc/argseq.html",
"score":0.6570467,
"metadata":{
},
"snippets":[
" <div class=\"tema-highlight\">math1</div> mathml 1 <div class=\"tema-highlight\">math1</div> constant dotsaseq Show <div class=\"tema-highlight\">Notations</div> Languages Arguments Rendering stex/tex 1 <div class=\"tema-highlight\">math2</div>",
" <div class=\"tema-highlight\">Notations</div> Languages Arguments Rendering stex/tex 3 <div class=\"tema-highlight\">math8</div> mathml 4 <div class=\"tema-highlight\">math9</div> mathml 4 <div class=\"tema-highlight\">math9</div>",
"argseq constant aseqdots Show <div class=\"tema-highlight\">Notations</div> Languages Arguments Rendering stex/tex 1 <div class=\"tema-highlight\">math1</div> mathml 1",
" mathml 1 <div class=\"tema-highlight\">math2</div> mathml 1 <div class=\"tema-highlight\">math2</div> constant dotsaseqdots Show <div class=\"tema-highlight\">Notations</div> Languages Arguments Rendering stex",
"/tex 1 <div class=\"tema-highlight\">math3</div> mathml 1 <div class=\"tema-highlight\">math3</div> mathml 1 <div class=\"tema-highlight\">math3</div> constant aseqfromto Show <div class=\"tema-highlight\">Notations</div> Languages Arguments"
],
"maths":{
"1":{
"xml":"<math xmlns=\"http://www.w3.org/1998/Math/MathML\" xmlns:jobad=\"http://omdoc.org/presentation\" id=\"-1338620370\"><semantics><mrow jobad:mmtref=\"\"><mi style=\"color:red;\" jobad:mmtref=\"1\">a</mi><mo jobad:href=\"http://mathhub.info/smglom/mv/argseq.omdoc?argseq?aseqdots\" jobad:mmtref=\"0\">,</mo><mo jobad:href=\"http://mathhub.info/smglom/mv/argseq.omdoc?argseq?aseqdots\" jobad:mmtref=\"0\">…</mo></mrow><annotation-xml encoding=\"MathML-Content\"><apply><csymbol>http://mathhub.info/smglom/mv/argseq.omdoc?argseq?aseqdots</csymbol><ci>a</ci></apply></annotation-xml></semantics></math>",
"xpath":"/*[1]/*[1]"
},
"2":{
"xml":"<math xmlns=\"http://www.w3.org/1998/Math/MathML\" xmlns:jobad=\"http://omdoc.org/presentation\" id=\"-330961054\"><semantics><mrow jobad:mmtref=\"\"><mo jobad:href=\"http://mathhub.info/smglom/mv/argseq.omdoc?argseq?dotsaseq\" jobad:mmtref=\"0\">…</mo><mo jobad:href=\"http://mathhub.info/smglom/mv/argseq.omdoc?argseq?dotsaseq\" jobad:mmtref=\"0\">,</mo><mi style=\"color:red;\" jobad:mmtref=\"1\">a</mi></mrow><annotation-xml encoding=\"MathML-Content\"><apply><csymbol>http://mathhub.info/smglom/mv/argseq.omdoc?argseq?dotsaseq</csymbol><ci>a</ci></apply></annotation-xml></semantics></math>",
"xpath":"/*[1]/*[1]"
},
"3":{
"xml":"<math xmlns=\"http://www.w3.org/1998/Math/MathML\" xmlns:jobad=\"http://omdoc.org/presentation\" id=\"1026275182\"><semantics><mrow jobad:mmtref=\"\"><mo jobad:href=\"http://mathhub.info/smglom/mv/argseq.omdoc?argseq?dotsaseqdots\" jobad:mmtref=\"0\">…</mo><mo jobad:href=\"http://mathhub.info/smglom/mv/argseq.omdoc?argseq?dotsaseqdots\" jobad:mmtref=\"0\">,</mo><mi style=\"color:red;\" jobad:mmtref=\"1\">a</mi><mo jobad:href=\"http://mathhub.info/smglom/mv/argseq.omdoc?argseq?dotsaseqdots\" jobad:mmtref=\"0\">,</mo><mo jobad:href=\"http://mathhub.info/smglom/mv/argseq.omdoc?argseq?dotsaseqdots\" jobad:mmtref=\"0\">…</mo></mrow><annotation-xml encoding=\"MathML-Content\"><apply><csymbol>http://mathhub.info/smglom/mv/argseq.omdoc?argseq?dotsaseqdots</csymbol><ci>a</ci></apply></annotation-xml></semantics></math>",
"xpath":"/*[1]/*[1]"
},
"4":{
"xml":"<math xmlns=\"http://www.w3.org/1998/Math/MathML\" xmlns:jobad=\"http://omdoc.org/presentation\" id=\"-666014716\"><semantics><mrow jobad:mmtref=\"\"><mi style=\"color:red;\" jobad:mmtref=\"1\">a</mi><mo jobad:href=\"http://mathhub.info/smglom/mv/argseq.omdoc?argseq?aseqfromto\" jobad:mmtref=\"0\">,</mo><mo jobad:href=\"http://mathhub.info/smglom/mv/argseq.omdoc?argseq?aseqfromto\" jobad:mmtref=\"0\">…</mo><mo jobad:href=\"http://mathhub.info/smglom/mv/argseq.omdoc?argseq?aseqfromto\" jobad:mmtref=\"0\">,</mo><mi style=\"color:red;\" jobad:mmtref=\"2\">b</mi></mrow><annotation-xml encoding=\"MathML-Content\"><apply><csymbol>http://mathhub.info/smglom/mv/argseq.omdoc?argseq?aseqfromto</csymbol><ci>a</ci><ci>b</ci></apply></annotation-xml></semantics></math>",
"xpath":"/*[1]/*[1]"
},
"5":{
"xml":"<math xmlns=\"http://www.w3.org/1998/Math/MathML\" xmlns:jobad=\"http://omdoc.org/presentation\" id=\"2147152297\"><semantics><mrow jobad:mmtref=\"\"><mi style=\"color:red;\" jobad:mmtref=\"1\">a</mi><mo jobad:href=\"http://mathhub.info/smglom/mv/argseq.omdoc?argseq?naseqe\" jobad:mmtref=\"0\">,</mo><mo jobad:href=\"http://mathhub.info/smglom/mv/argseq.omdoc?argseq?naseqe\" jobad:mmtref=\"0\">…</mo><mo jobad:href=\"http://mathhub.info/smglom/mv/argseq.omdoc?argseq?naseqe\" jobad:mmtref=\"0\">,</mo><mi style=\"color:red;\" jobad:mmtref=\"2\">b</mi></mrow><annotation-xml encoding=\"MathML-Content\"><apply><csymbol>http://mathhub.info/smglom/mv/argseq.omdoc?argseq?naseqe</csymbol><ci>a</ci><ci>b</ci></apply></annotation-xml></semantics></math>",
"xpath":"/*[1]/*[1]"
},
"6":{
"xml":"<math xmlns=\"http://www.w3.org/1998/Math/MathML\" xmlns:jobad=\"http://omdoc.org/presentation\" id=\"2043860192\"><semantics><mrow jobad:mmtref=\"\"><mo jobad:href=\"http://mathhub.info/smglom/mv/argseq.omdoc?argseq?naseqli\" jobad:mmtref=\"0\">\\naseqli</mo><mspace width=\".2em\"/><mo jobad:href=\"http://mathhub.info/smglom/mv/argseq.omdoc?argseq?naseqli\" jobad:mmtref=\"0\">{</mo><mi style=\"color:red;\" jobad:mmtref=\"1\">a</mi><mo jobad:href=\"http://mathhub.info/smglom/mv/argseq.omdoc?argseq?naseqli\" jobad:mmtref=\"0\">}</mo><mo jobad:href=\"http://mathhub.info/smglom/mv/argseq.omdoc?argseq?naseqli\" jobad:mmtref=\"0\">{</mo><mi style=\"color:red;\" jobad:mmtref=\"2\">b</mi><mo jobad:href=\"http://mathhub.info/smglom/mv/argseq.omdoc?argseq?naseqli\" jobad:mmtref=\"0\">}</mo><mo jobad:href=\"http://mathhub.info/smglom/mv/argseq.omdoc?argseq?naseqli\" jobad:mmtref=\"0\">{</mo><mi style=\"color:red;\" jobad:mmtref=\"3\">c</mi><mo jobad:href=\"http://mathhub.info/smglom/mv/argseq.omdoc?argseq?naseqli\" jobad:mmtref=\"0\">}</mo></mrow><annotation-xml encoding=\"MathML-Content\"><apply><csymbol>http://mathhub.info/smglom/mv/argseq.omdoc?argseq?naseqli</csymbol><ci>a</ci><ci>b</ci><ci>c</ci></apply></annotation-xml></semantics></math>",
"xpath":"/*[1]/*[4]"
},
"7":{
"xml":"<math xmlns=\"http://www.w3.org/1998/Math/MathML\" xmlns:jobad=\"http://omdoc.org/presentation\" id=\"1266598283\"><semantics><mrow jobad:mmtref=\"\"><mi style=\"color:red;\" jobad:mmtref=\"1\">a</mi><mspace width=\".2em\"/><mi style=\"color:red;\" jobad:mmtref=\"2\">b</mi><mo jobad:href=\"http://mathhub.info/smglom/mv/argseq.omdoc?argseq?naseqli\" jobad:mmtref=\"0\">,</mo><mo jobad:href=\"http://mathhub.info/smglom/mv/argseq.omdoc?argseq?naseqli\" jobad:mmtref=\"0\">…</mo><mo jobad:href=\"http://mathhub.info/smglom/mv/argseq.omdoc?argseq?naseqli\" jobad:mmtref=\"0\">,</mo><mi style=\"color:red;\" jobad:mmtref=\"1\">a</mi><mspace width=\".2em\"/><mi style=\"color:red;\" jobad:mmtref=\"3\">c</mi></mrow><annotation-xml encoding=\"MathML-Content\"><apply><csymbol>http://mathhub.info/smglom/mv/argseq.omdoc?argseq?naseqli</csymbol><ci>a</ci><ci>b</ci><ci>c</ci><ci>d</ci></apply></annotation-xml></semantics></math>",
"xpath":"/*[1]/*[5]"
},
"8":{
"xml":"<math xmlns=\"http://www.w3.org/1998/Math/MathML\" xmlns:jobad=\"http://omdoc.org/presentation\" id=\"1897590151\"><semantics><mrow jobad:mmtref=\"\"><mo jobad:href=\"http://mathhub.info/smglom/mv/argseq.omdoc?argseq?nasequi\" jobad:mmtref=\"0\">\\nasequi</mo><mspace width=\".2em\"/><mo jobad:href=\"http://mathhub.info/smglom/mv/argseq.omdoc?argseq?nasequi\" jobad:mmtref=\"0\">{</mo><mi style=\"color:red;\" jobad:mmtref=\"1\">a</mi><mo jobad:href=\"http://mathhub.info/smglom/mv/argseq.omdoc?argseq?nasequi\" jobad:mmtref=\"0\">}</mo><mo jobad:href=\"http://mathhub.info/smglom/mv/argseq.omdoc?argseq?nasequi\" jobad:mmtref=\"0\">{</mo><mi style=\"color:red;\" jobad:mmtref=\"2\">b</mi><mo jobad:href=\"http://mathhub.info/smglom/mv/argseq.omdoc?argseq?nasequi\" jobad:mmtref=\"0\">}</mo><mo jobad:href=\"http://mathhub.info/smglom/mv/argseq.omdoc?argseq?nasequi\" jobad:mmtref=\"0\">{</mo><mi style=\"color:red;\" jobad:mmtref=\"3\">c</mi><mo jobad:href=\"http://mathhub.info/smglom/mv/argseq.omdoc?argseq?nasequi\" jobad:mmtref=\"0\">}</mo></mrow><annotation-xml encoding=\"MathML-Content\"><apply><csymbol>http://mathhub.info/smglom/mv/argseq.omdoc?argseq?nasequi</csymbol><ci>a</ci><ci>b</ci><ci>c</ci></apply></annotation-xml></semantics></math>",
"xpath":"/*[1]/*[1]"
},
"9":{
"xml":"<math xmlns=\"http://www.w3.org/1998/Math/MathML\" xmlns:jobad=\"http://omdoc.org/presentation\" id=\"-1201725314\"><semantics><mrow jobad:mmtref=\"\"><mi style=\"color:red;\" jobad:mmtref=\"1\">a</mi><mspace width=\".2em\"/><mi style=\"color:red;\" jobad:mmtref=\"2\">b</mi><mo jobad:href=\"http://mathhub.info/smglom/mv/argseq.omdoc?argseq?nasequi\" jobad:mmtref=\"0\">,</mo><mo jobad:href=\"http://mathhub.info/smglom/mv/argseq.omdoc?argseq?nasequi\" jobad:mmtref=\"0\">…</mo><mo jobad:href=\"http://mathhub.info/smglom/mv/argseq.omdoc?argseq?nasequi\" jobad:mmtref=\"0\">,</mo><mi style=\"color:red;\" jobad:mmtref=\"1\">a</mi><mspace width=\".2em\"/><mi style=\"color:red;\" jobad:mmtref=\"3\">c</mi></mrow><annotation-xml encoding=\"MathML-Content\"><apply><csymbol>http://mathhub.info/smglom/mv/argseq.omdoc?argseq?nasequi</csymbol><ci>a</ci><ci>b</ci><ci>c</ci><ci>d</ci></apply></annotation-xml></semantics></math>",
"xpath":"/*[1]"
}
}
}
]
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment