File: op-dict-4.html

package info (click to toggle)
firefox-esr 115.14.0esr-1~deb11u1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 3,659,200 kB
  • sloc: cpp: 6,676,648; javascript: 5,690,850; ansic: 3,328,545; python: 1,120,605; asm: 397,163; xml: 180,531; java: 178,838; sh: 68,930; makefile: 20,999; perl: 12,595; objc: 12,561; yacc: 4,583; cs: 3,846; pascal: 2,840; lex: 1,720; ruby: 1,079; exp: 762; php: 436; lisp: 258; awk: 247; sql: 66; sed: 54; csh: 10
file content (19 lines) | stat: -rw-r--r-- 317 bytes parent folder | download | duplicates (17) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
 
<!DOCTYPE html>
<html>
<head>
  <title>op-dict stretchy</title>
  <link rel="match" href="op-dict-4-ref.html">
</head>
<body>
  <math>
    <mrow>
      <mo stretchy="true">(</mo>
      <mfrac>
        <mi>a</mi>
        <mi>b</mi>
      </mfrac>
      <mo stretchy="true">)</mo>
    </mrow>
  </math>
</body>
</html>